Extending SATPLAN to multiple agents

DOI10.1007/978-0-85729-130-1_10MaRDI QIDQ3076944zbMATH OpenOpenAlexFDO

Authors Yannis Dimopoulos, Muhammad Adnan Hashmi, Pavlos Moraïtis

Publication date 25 February 2011

Published in Research and Development in Intelligent Systems XXVII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-0-85729-130-1_10

zbMATH Keywords

multi-agent planning\(\mu\)-SATPLANcoordination algorithmindividual goalsSATPLAN

Mathematics Subject Classification ID

Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1929179
• Mechanizing Mathematical Reasoning
• Efficient and distributable method for solving the multiagent plan coordination problem
• A single-agent approach to multiagent planning
• Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach

Cited in

(12)

• On the complexity of planning for agent teams and its implications for single agent planning
• Planning in multi-agent environment using strips representation and non-cooperative equilibrium strategy
• Plan coordination by revision in collective agent based systems.
• The multiagent planning problem
• scientific article; zbMATH DE number 1929179 (Why is no real title available?)
• A single-agent approach to multiagent planning
• The MADLA planner: multi-agent planning by combination of distributed and local heuristic search
• scientific article; zbMATH DE number 2222691 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 2043391 (Why is no real title available?)
• Plan-Coordination Mechanisms and the Price of Autonomy
• Efficient and distributable method for solving the multiagent plan coordination problem

This page was built for publication: Extending SATPLAN to multiple agents

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