Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Heterogeneous Agent Systems
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Formal Architecture for the 3APL Agent Programming Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A Heuristic Approach to P2P Negotiation
Computational Logic in Multi-Agent Systems
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A dialogue games framework for the operational semantics of logic agent-oriented languages
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Conditional learning of rules and plans by knowledge exchange in logical agents
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
| Hi-index | 0.00 |
In this paper we cope with providing an approach to declarative semantics of logic-based agent-oriented languages, taking then as a case-study the language DALI which has been previously defined by the authors. This “evolutionary semantics” does not resort to a concept of state: rather, it models reception of events as program transformation steps, that produce a “program evolution” and a corresponding “semantic evolution”. Communication among agents and multi-agent systems is also taken into account. The aim is that of modeling agent's evolution according to either external (environmental) or internal changes in a logical way, thus allowing in principle the adoption of formal verification methods. We also intend to create a common ground for relating and comparing different approaches/languages.