Constructing Consensus Logic Programs

DOI10.1007/978-3-540-71410-1_4MaRDI QIDQ3591072zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Katsumi Inoue

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71410-1_4

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Agent technology and artificial intelligence (68T42)

Recommendations

• Computational Logic in Multi-Agent Systems
• Coordination in answer set programming
• Combining Answer Sets of Nonmonotonic Logic Programs
• A computational approach to consensus-finding
• Merging Logic Programs under Answer Set Semantics

Cited in

(7)

• Combining Answer Sets of Nonmonotonic Logic Programs
• A computational approach to consensus-finding
• scientific article; zbMATH DE number 1926619 (Why is no real title available?)
• Coordination in answer set programming
• An Argumentation-Based Negotiation for Distributed Extended Logic Programs
• Deducing Logic Programs
• Computational Logic in Multi-Agent Systems

This page was built for publication: Constructing Consensus Logic Programs

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