Hybrid ASP

DOI10.4230/LIPICS.ICLP.2011.40zbMATH Open1245.68047MaRDI QIDQ2909138FDOQ2909138

Authors: Alex Brik, Jeffrey Remmel 

Publication date: 29 August 2012

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

Recommendations

• Hybrid answer set programming
• Extensions of answer set programming
• Action language Hybrid AL
• Extensions of answer set programming
• A dynamic-programming based ASP-solver

zbMATH Keywords

simulationanswer set programminghybrid systemsmodeling

Mathematics Subject Classification ID

Logic programming (68N17) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cited In (3)

• Hybrid answer set programming
• Title not available (Why is that?)
• Extensions of answer set programming

This page was built for publication: Hybrid ASP

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