scientific article

DOI10.4230/LIPIcs.ICLP.2011.40zbMath1245.68047MaRDI QIDQ2909138

Alex Brik, Jeffery B. Remmel

Publication date: 29 August 2012

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modelingsimulationhybrid systemsanswer set programming

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)

Related Items

Hybrid answer set programming, Unnamed Item