An abductive logic programming architecture for negotiating agents

DOI10.1007/3-540-45757-7_35MaRDI QIDQ4708936zbMATH OpenFDO

Authors Fariba Sadri, Francesca Toni, Paolo Torroni

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240419.htm

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Inductive Negotiation in Answer Set Programming
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Agents that reason and negotiate by arguing
• scientific article; zbMATH DE number 2090877
• A General Framework for Argumentation-Based Negotiation

Cited in

(17)

• A sequential model of bargaining in logic programming
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• A sequential model for reasoning about bargaining in logic programs
• Unified logic programming approach to the abduction of plans and intentions in information-seeking dialogues
• Inductive Negotiation in Answer Set Programming
• Architecting for reuse: A software framework for automated negotiation
• Access-as-you-need: A computational logic framework for accessing resources in artificial societies
• scientific article; zbMATH DE number 2044481 (Why is no real title available?)
• Logic Programming for Multiagent Planning with Negotiation
• An operational semantics for negotiating agents
• scientific article; zbMATH DE number 2088174 (Why is no real title available?)
• Formalizing negotiations using logic programming
• A General Framework for Argumentation-Based Negotiation
• Computational Logic in Multi-Agent Systems
• Computational Logic in Multi-Agent Systems
• Computational Logic in Multi-Agent Systems

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: An abductive logic programming architecture for negotiating agents

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