Extensions of answer set programming

DOI10.4230/LIPICS.ICLP.2011.261zbMATH Open1245.68046OpenAlexW2096187374MaRDI QIDQ2909167FDOQ2909167

Authors: Alex Brik 

Publication date: 29 August 2012

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

Recommendations

• Extensions of answer set programming
• Hybrid ASP
• Hybrid answer set programming
• Max-ASP: Maximum Satisfiability of Answer Set Programs
• Answer Set Programming: A Primer

zbMATH Keywords

answer set programming

Mathematics Subject Classification ID

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

Cited In (12)

• Hybrid answer set programming
• Title not available (Why is that?)
• Characterizing and extending answer set semantics using possibility theory
• Achievements in answer set programming
• Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
• On Cascade Products of Answer Set Programs
• Answer set programming with graded modality
• Qualitative Constraint Enforcement in Advanced Policy Specification
• Extensions of answer set programming
• Hybrid ASP
• An Introduction to Answer Set Programming and Some of Its Extensions
• Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

This page was built for publication: Extensions of answer set programming

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