Theoretical Computer Science
Handbook of theoretical computer science (vol. B)
Artificial Intelligence
The PLACA agent programming language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
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
Forum: a multiple-conclusion specification logic
ALP Proceedings of the fourth international conference on Algebraic and logic programming
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Readings in agents
Heterogeneous active agents, I: semantics
Artificial Intelligence
Heterogeneous active agents, II: algorithms and complexity
Artificial Intelligence
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Heterogeneous active agents, III: polynomially implementable agents
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Logic-based artificial intelligence
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Proofs as computations in linear logic
Theoretical Computer Science
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
The Design of Intelligent Agents: A Layered Approach
The Design of Intelligent Agents: A Layered Approach
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
The abc of rational agent modelling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
LUPS---a language for updating logic programs
Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Specifying Communicative Multi-Agent Systems (Invited Paper)
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
A Formal Embedding of AgentSpeak(L) in 3APL
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Programming Resource-Bounded Deliberative Agents
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Introduction to Executable Modal and Temporal Logics
IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
Concurrent METATEM - A Language for Modelling Reactive Systems
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Concurrent METATEM as a Coordination Language
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Semantics of Communicating Agents Based on Deduction and Abduction
Issues in Agent Communication
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
A Layered Agent Calculus with Cocurrent, Continuous Processes
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
A Normal Form for First-Order Temporal Formulae
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications
STEP '99 Proceedings of the Software Technology and Engineering Practice
Automata representations for Concurrent METATEM
TIME '97 Proceedings of the 4th International Workshop on Temporal Representation and Reasoning (TIME '97)
Customizing AOSE methodologies by reusing AOSE features
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Reasoning about Agents in the KARO Framework
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Metatem at work: modelling reactive systems using executable temporal logic
IEA/AIE'93 Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
International Journal of Agent-Oriented Software Engineering
DCaseLP: A Prototyping Environment for Multi-language Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
EVOLP: Tranformation-Based Semantics
Computational Logic in Multi-Agent Systems
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Logic programming with social features1
Theory and Practice of Logic Programming
About agents that reason by case (preliminary report)
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Adding knowledge updates to 3APL
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
A social semantics for multi-agent systems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are $\textsf{ConGolog}$, $\textsf{AGENT-0}$, the $\textsf{IMPACT}$ agent programming language, $\textsf{DyLOG}$, Concurrent $\textsf{METATEM}$ and ${\cal E}_{hhf}$. For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.