Where logic and agents meet
From MaRDI portal
Publication:657584
DOI10.1007/s10472-010-9223-9zbMath1230.68188OpenAlexW2104309040WikidataQ98283572 ScholiaQ98283572MaRDI QIDQ657584
Publication date: 10 January 2012
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-010-9223-9
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Agent deliberation in an executable temporal framework
- Rapid prototyping of large multi-agent systems through logic programming
- Go! -- A multi-paradigm programming language for implementing multi-threaded agents
- Programming rational agents in a modal action logic
- On the semantics of deliberation in IndiGolog -- from theory to implementation
- Multi-agent systems specification and certification: a situation and state calculus approach
- Multi-agent dynamic logics with informational test
- Representing von Neumann-Morgenstern games in the situation calculus
- Algebras for agent norm-regulation
- Agents via mixed-mode computation in linear logic
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)
- Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
- Speculative computation through consequence-finding in multi-agent environments
- Mental states as multi-context systems
- Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16--17, 2010. Proceedings
- Argumentation in multi-agent systems. Fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised selected and invited papers
- Reasoning about temporal properties of rational play
- A formal analysis of interest-based negotiation
- Remote Agent: to boldly go where no AI system has gone before
- Foundations of rational agency
- Multilanguage hierarchical logics, or: How we can do without modal logics
- A logic for reasoning about time and reliability
- A semantics for speech acts
- Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents
- A reasoning model based on the production of acceptable arguments
- Cooperation and competition in ALIAS: A logic framework for agents that negotiate
- Secure agents
- IMPACTing SHOP: Putting an AI planner into a multi-agent environment
- From logic programming towards multi-agent systems
- Specifying and verifying interaction protocols in a temporal action logic
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- A verification framework for agent programming with declarative goals
- Model checking multi-agent systems with logic based Petri nets
- Model checking abilities of agents: a closer look
- Intention is choice with commitment
- On the (un-)decidability of model-checking resource-bounded agents
- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL
- Model Checking Logics of Strategic Ability: Complexity*
- Verifying Agents’ Conformance with Multiparty Protocols
- Alternating-time temporal logic
- On the Expressiveness and Complexity of ATL
- Specification and Verification of Multi-agent Systems
- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
- Multi-Agent Programming
- Dynamic Epistemic Logic and Knowledge Puzzles
- The First Contest on Multi-agent Systems Based on Computational Logic
- Executing Logical Agent Specifications
- Property-based Slicing for Agent Verification
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- “Sometimes” and “not never” revisited
- Decision procedures for BDI logics
- GOLOG: A logic programming language for dynamic domains
- Nonmonotonic Tools for Argumentation
- Heterogeneous temporal probabilistic agents
- Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
- The Second Contest on Multi-Agent Systems Based on Computational Logic
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Verification from Declarative Specifications Using Logic Programming
- Multi-Agent Programming
- Agents and Computational Autonomy