The notion of an intelligent agent as an entity which appears to be the subject of mental
attitudes like beliefs, desires and intentions (hence, the BDI acronym) is well known and …

Mainstream visual psychology presents a 'sense then infer'account of vision that is
analogous to the 'sense then infer'processing that characterises the agent intention …

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions,
languages, methodologies and toolkits for modeling, verifying, validating and prototyping …

In the last years, dozens of environments for modeling, testing and finally implementing multi‐
agent systems have been developed. Unfortunately, no standard criteria for understanding …

The realization of new distributed and heterogeneous software applications is a challenge
that software engineers have to face. Logic programming and multi-agent systems can play …

The increasing amount of train traffic highlights the necessity of automated tools for decision
support, mainly when the availability of tracks is known on a day-by-day basis and no long …

The paper presents CaseLP, a logic-based prototyping environment for specifying and
verifying complex distributed applications. CaseLP provides a set of languages for modeling …

This paper describes CaseLP, a prototyping environment for Multi-Agent Systems (MAS),
and its adoption for the development of a distributed industrial application. CaseLP employs …

Agent-based software applications need to incorporate agents having heterogeneous
architectures in order for each agent to optimally perform its task. HEMASL is a simple meta …

Real-world applications are usually characterized by heterogeneous distributed entities that
interact following complex coordination protocols and that dynamically and autonomously …