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
Chitta Baral, Tran Cao Son, Gregory Gelfond, Enrico Pontelli
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
Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Logic programs with stable model semantics as a constraint programming paradigm
- 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 (5)
- 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
- 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)