“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Logic and representation
Reasoning about knowledge
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
Applications of intelligent agents
Agent technology
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Model checking
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Heterogeneous Agent Systems
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents
Annals of Mathematics and Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
A Computational Logic Approach to Heterogenous Agent Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
SouthamptonTAC: An adaptive autonomous trading agent
ACM Transactions on Internet Technology (TOIT)
KQML & FLBC: Contrasting Agent Communication Languages
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Distributed Sensor Networks: A Multiagent Perspective
Distributed Sensor Networks: A Multiagent Perspective
Annals of Mathematics and Artificial Intelligence
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
Representing von Neumann–Morgenstern Games in the Situation Calculus
Annals of Mathematics and Artificial Intelligence
Algebras for Agent Norm-Regulation
Annals of Mathematics and Artificial Intelligence
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Speculative Computation Through Consequence-Finding in Multi-Agent Environments
Annals of Mathematics and Artificial Intelligence
Model Checking Rational Agents
IEEE Intelligent Systems
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Model Checking Abilities of Agents: A Closer Look
Theory of Computing Systems
Model checking multi-agent systems with logic based Petri nets
Annals of Mathematics and Artificial Intelligence
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
A computational framework for institutional agency
Artificial Intelligence and Law
Cognitive agents with non-monotonic reasoning
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Towards a reliable air traffic control
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Computable Models of the Law
Secure Interaction Models for the HealthAgents System
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
An Argumentative Approach for Modelling Coalitions Using ATL
Argumentation in Multi-Agent Systems
Agent Technologies for Sensor Networks
IEEE Intelligent Systems
Dynamic Epistemic Logic
Reasoning about temporal properties of rational play
Annals of Mathematics and Artificial Intelligence
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
What Agents Can Probably Enforce
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Agent Contest Competition: 4th Edition
Programming Multi-Agent Systems
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Mental states as multi-context systems
Annals of Mathematics and Artificial Intelligence
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
How Do Agents Comply with Norms?
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A formal analysis of interest-based negotiation
Annals of Mathematics and Artificial Intelligence
Property-based Slicing for Agent Verification
Journal of Logic and Computation
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
The second contest on multi-agent systems based on computational logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Agent contest competition: 3rd edition
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
Reactive reasoning and planning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
On the (Un-)Decidability of Model Checking Resource-Bounded Agents
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Nonmonotonic tools for argumentation
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Proceedings of the 11th international conference on Computational logic in multi-agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Model checking agent programs by using the program interpreter
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
IEEE Transactions on Knowledge and Data Engineering
Expressing properties of resource-bounded systems: the logics RTL* and RTL
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Agent factory micro edition: a framework for ambient applications
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Reconciling agent ontologies for web service applications
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Three automated stock-trading agents: a comparative study
AAMAS'04 Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems
The first contest on multi-agent systems based on computational logic
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Simulating activities: Relating motives, deliberation, and attentive coordination
Cognitive Systems Research
| Hi-index | 0.00 |
In this paper we provide a short, and very subjective, description of how mathematical techniques, primarily those from logical foundations, have been used in multi-agent systems. This is certainly not a comprehensive survey, but gives some indication of where the fields of "Logic" and "Agents" have met in recent years. The Annals of Math and AI contain a surprising number of articles in this area, among them several special issues focusing on computational logic and its use in agent systems.