Hybrid ASP

DOI10.4230/LIPICS.ICLP.2011.40MaRDI QIDQ2909138zbMATH OpenFDO

Authors Alex Brik, Jeffrey Remmel

Publication date 29 August 2012

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

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)

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

Cited in

(3)

• Hybrid answer set programming
• scientific article; zbMATH DE number 7455702 (Why is no real title available?)
• 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)