scientific article; zbMATH DE number 7453144

MaRDI QIDQ5020586zbMATH OpenFDO

Authors Francesco Fabiano

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08259, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.54

zbMATH Keywords

action languagesepistemic reasoningheuristics information changeknowledge representationmulti-agentplanning

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Epistemic planning for single- and multi-agent systems
• A simple account of multi-agent epistemic planning
• Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
• On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
• scientific article; zbMATH DE number 2088150
• Efficient multi-agent epistemic planning: teaching planners about nested belief
• scientific article; zbMATH DE number 1931658
• A general multi-agent epistemic planner based on higher-order belief change
• Modelling multi-agent epistemic planning in ASP

Cites work

• A non-monotonic goal specification language for planning with preferences
• A resource logic for multi-agent plan merging
• A single-agent approach to multiagent planning
• An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
• ConGolog, a concurrent programming language based on the situation calculus
• Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
• Dynamic epistemic logic
• Epistemic planning for single- and multi-agent systems
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3986613 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 2243368 (Why is no real title available?)
• Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity
• On sets and graphs. Perspectives on logic and combinatorics
• Reasoning about information change
• Reasoning about knowledge and probability
• The LAMA planner: guiding cost-based anytime planning with landmarks

Cited in

(4)

• Efficient multi-agent epistemic planning: teaching planners about nested belief
• Design of a Solver for Multi-Agent Epistemic Planning
• Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
• Learnability with PAC semantics for multi-agent beliefs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020586)