Logic Programming for Multiagent Planning with Negotiation

No abstract is available for this paper.

• Publication year

  2009

• Venue

  International Conference on Logic Programming

• Publication date

  2009-07-24

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-02846-5_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Partial-Order Planning with Concurrent Interacting Actions

  2011cited by this paper
• A declarative framework for modeling multi-agent systems

  2007cited by this paper
• Modeling Cooperative Multi-Agent Systems

  2007cited by this paper
• A unified and general framework for argumentation-based negotiation

  2007cited by this paper
• Negotiation by abduction and relaxation

  2007cited by this paper
• Adaptive agent negotiation via argumentation

  2006cited by this paper
• A distributed framework for solving the Multiagent Plan Coordination Problem

  2005cited by this paper
• An efficient algorithm for multiagent plan coordination

  2005cited by this paper
• ASP-PROLOG: a system for reasoning about answer set programs in prolog

  2004cited by this paper
• Agent Planning, Negotiation and Control of Operation

  2004cited by this paper
• Automated Planning: Theory & Practice

  2004cited by this paper
• Argumentation-based negotiation

  2003cited by this paper
• Domain-dependent knowledge in answer set planning

  2002cited by this paper
• Answer set programming and plan generation

  2002cited by this paper
• An Abductive Logic Programming Architecture for Negotiating Agents

  2002cited by this paper
• Languages for Negotiation

  2000cited by this paper
• Extending and implementing the stable model semantics

  2000cited by this paper
• Semi-qualitative Reasoning about Distances: A Preliminary Report

  2000cited by this paper
• A Survey of Research in Distributed, Continual Planning

  1999cited by this paper
• Agents That Reason and Negotiate by Arguing

  1998cited by this paper
• Negotiation and Cooperation in Multi-Agent Environments

  1997cited by this paper
• A Framework for Argumentation-Based Negotiation

  1997cited by this paper
• Automated planning

  1996cited by this paper
• Relating Stable Models and AI Planning Domains

  1995cited by this paper
• Representing Action and Change by Logic Programs

  1993cited by this paper
• Logic Programming '88

  1988cited by this paper
• Under consideration for publication in Theory and Practice of Logic Programming 1 Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms

  year unknowncited by this paper

• An action language for multi-agent domains

  2022cites this paper
• Answer Set Planning: A Survey

  2022cites this paper
• Answer Set Planning in Single- and Multi-agent Environments

  2018cites this paper
• Answer Set Programming and Its Applications in Planning and Multi-agent Systems

  2017cites this paper
• Printed in the United Kingdom Resolving Conflicts in Knowledge for Ambient Intelligence

  2015cites this paper
• Solving distributed constraint optimization problems using logic programming* †

  2015cites this paper
• A sequential model of bargaining in logic programming

  2015cites this paper
• An Action Language for Multi-Agent Domains: Foundations

  2015cites this paper
• Resolving conflicts in knowledge for ambient intelligence

  2015cites this paper
• State Space Planning Using Transaction Logic

  2015cites this paper
• Justifying answer sets using argumentation

  2014cites this paper
• Answer Set Programming: Language, Applications and Development Tools

  2013cites this paper
• Argumentation for Answer Set Programming and other Non-monotonic Reasoning Systems

  2013cites this paper
• Computational verification of security requirements

  2013cites this paper
• BioQuery-ASP: querying biomedical databases and ontologies using answer set programming

  2012cites this paper
• A Belief Revision Approach for Argumentation-based Negotiation with Cooperative Agents

  2012cites this paper
• Argumentation-Based Answer Set Justification

  2012cites this paper
• BAAC: A Prolog System for Action Description and Agents Coordination

  2011cites this paper
• Combining answer set programming and prolog: the ASP-PROLOG system

  2011cites this paper
• Generating Explanations for Complex Biomedical Queries

  2011cites this paper
• Perspectives on Logic-Based Approaches for Reasoning about Actions and Change

  2011cites this paper
• Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*

  2011cites this paper
• Representing the Language of the Causal Calculator in Answer Set Programming

  2011cites this paper
• Organization Organizing Committee Workshop Chairs 4. Spatial Filtering for Encoding Multi-view Video in Spatially Reduced 3d Fixation Prediction Using Local Image Features

  2010cites this paper
• Query-Driven Coordination of Multiple Answer Sets

  2010cites this paper
• Quantifying solutions in answer set programming

  2010cites this paper
• Planning for Multiagent Using ASP-Prolog

  2009cites this paper
• Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming

  2009cites this paper
• Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study

  2009cites this paper
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

  2009cites this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming Justifying Answer Sets Using Argumentation

  year unknowncites this paper