Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
DOI10.1007/978-3-642-30743-0_35zbMATH Open1357.68247OpenAlexW1752627971MaRDI QIDQ2900545FDOQ2900545
Authors: Enrico Pontelli, Gregory Gelfond, Tran Cao Son, Chitta Baral 
Publication date: 23 July 2012
Published in: Correct Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_35
Recommendations
- An action language for multi-agent domains
- Reasoning and planning with cooperative actions for multiagents using answer set programming
- Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
- Planning for multiagent using ASP-Prolog
- Answer set programming and its applications in planning and multi-agent systems
Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
- Logics of communication and change
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logics for epistemic programs
- Title not available (Why is that?)
- Logic programs with stable model semantics as a constraint programming paradigm
- Title not available (Why is that?)
- Logic programming for finding models in the logics of knowledge and its applications: a case study
- On representing actions in multi-agent domains
Cited In (10)
- IASCAR: incremental answer set counting by anytime refinement
- Reasoning about actions with loops via Hoare logic
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- 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
- Reasoning about multi-agent domains using action language \(\mathcal{C}\): a preliminary study
- Title not available (Why is that?)
- Planning for multiagent using ASP-Prolog
- State transition in multi-agent epistemic domains using answer set programming
- Logic Programming
This page was built for publication: Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900545)
