Communicating answer set programs

DOI10.4230/LIPICS.ICLP.2010.34MaRDI QIDQ2883071zbMATHOpenAlexFDO

Authors Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_9cec.html

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Expressiveness of communication in answer set programming
• Communicating ASP and the polynomial hierarchy
• Cooperating Answer Set Programming
• Answer Set Programming: A Primer
• Knowledge Representation, Reasoning and Declarative Problem Solving

Cited in

(5)

• Aggregated fuzzy answer set programming
• Dealing with explicit preferences and uncertainty in answer set programming
• Cooperating Answer Set Programming
• Expressiveness of communication in answer set programming
• Communicating ASP and the polynomial hierarchy

Describes a project that uses

Uses Software

• DLVHEX

This page was built for publication: Communicating answer set programs

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