Coordination in answer set programming

DOI10.1145/1342991.1342993MaRDI QIDQ5277798zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Katsumi Inoue

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1342991.1342993

zbMATH Keywords

answer set programmingcoordinationmultiagent systems

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Coordination between logical agents
• Query-driven coordination of multiple answer sets
• Combining Answer Sets of Nonmonotonic Logic Programs
• Constructing Consensus Logic Programs
• Cooperating Answer Set Programming

Cited in

(10)

• Paracoherent answer set computation
• Query-driven coordination of multiple answer sets
• Interacting answer sets
• Constructing Consensus Logic Programs
• Combining Answer Sets of Nonmonotonic Logic Programs
• Merging Logic Programs under Answer Set Semantics
• Multiagent compromises, joint fixpoints, and stable models
• Cooperating Answer Set Programming
• Coordination between logical agents
• Synthesis of compact strategies for coordination programs

This page was built for publication: Coordination in answer set programming

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