Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
From MaRDI portal
Publication:2900545
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)