Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains

DOI10.1007/978-3-642-30743-0_35zbMath1357.68247OpenAlexW1752627971MaRDI QIDQ2900545

Gregory Gelfond, Enrico Pontelli, Chitta R. Baral, Tran Cao Son

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

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

Related Items (2)

State transition in multi-agent epistemic domains using answer set programming ⋮ Reasoning about actions with loops via Hoare logic

Cites Work

• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Logic programs with stable model semantics as a constraint programming paradigm
• Logics for epistemic programs
• Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
• On Representing Actions in Multi-agent Domains
• Logic programming for finding models in the logics of knowledge and its applications: A case study
• Knowledge Representation, Reasoning and Declarative Problem Solving

This page was built for publication: Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains