HEX programs with action atoms

DOI10.4230/LIPICS.ICLP.2010.24MaRDI QIDQ2883070zbMATH OpenOpenAlexFDO

Authors Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni

Publication date 11 May 2012

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

zbMATH Keywords

action languagesanswer set programminglogic programming interoperability

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Answer set programming with external sources
• Simulating production rules using ACTHEX
• Inlining external sources in answer set programs
• Answer set programming with external source access
• Conflict-driven ASP solving with external sources

Cited in

(4)

• Simulating production rules using ACTHEX
• A model building framework for answer set programming with external computations
• scientific article; zbMATH DE number 7453147 (Why is no real title available?)
• Switching and Learning in Feedback Systems

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: HEX programs with action atoms

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