An action language for multi-agent domains
From MaRDI portal
Publication:2060726
DOI10.1016/j.artint.2021.103601zbMath1481.68044OpenAlexW3202694371MaRDI QIDQ2060726
Gregory Gelfond, Tran Cao Son, Enrico Pontelli, Chitta R. Baral
Publication date: 13 December 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2021.103601
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Agent technology and artificial intelligence (68T42)
Related Items (3)
Epistemic planning: perspectives on the special issue ⋮ Two ways to scare a Gruffalo ⋮ State transition in multi-agent epistemic domains using answer set programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Approximation of action theories and its application to conformant planning
- Logics of communication and change
- Representing action: indeterminacy and ramifications
- A resource logic for multi-agent plan merging
- Logics for epistemic programs
- In defense of PDDL axioms
- STRIPS: A new approach to the application of theorem proving to problem solving
- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
- Epistemic planning for single- and multi-agent systems
- Finitary S5-Theories
- Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study
- DEL Planning and Some Tractable Cases
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
- Logic programming for finding models in the logics of knowledge and its applications: A case study
- Dynamic Epistemic Logic and Knowledge Puzzles
- Dynamic logic for belief revision
- Representing action and change by logic programs
- A Unified View of Belief Revision and Update
- GOLOG: A logic programming language for dynamic domains
- Logic Programming for Multiagent Planning with Negotiation
- The Complexity of Decentralized Control of Markov Decision Processes
- Formalizing sensing actions -- a transition function based approach
This page was built for publication: An action language for multi-agent domains
