Answer set programming and planning with knowledge and world-altering actions in multiple agent domains

DOI10.1007/978-3-642-30743-0_35MaRDI QIDQ2900545zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

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

Cites work

• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming for finding models in the logics of knowledge and its applications: a case study
• Logic programs with stable model semantics as a constraint programming paradigm
• Logics for epistemic programs
• Logics of communication and change
• On representing actions in multi-agent domains
• Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL

Cited in

(16)

• Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
• Answer set programming and its applications in planning and multi-agent systems
• scientific article; zbMATH DE number 1738683 (Why is no real title available?)
• Planning for multiagent using ASP-Prolog
• An action language for multi-agent domains
• Reasoning about actions with loops via Hoare logic
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Determining action reversibility in STRIPS using answer set and epistemic logic programming
• Implementing reversible processes in multi-agent action languages using answer set planning
• 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
• Logic Programming
• Modelling multi-agent epistemic planning in ASP
• State transition in multi-agent epistemic domains using answer set programming
• IASCAR: incremental answer set counting by anytime refinement

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)