Hybrid ASP

Authors Alex Brik, Jeffrey B. Remmel

Thumbnail PDF


  • Filesize: 0.49 MB
  • 11 pages

Document Identifiers

Author Details

Alex Brik
Jeffrey B. Remmel

Cite AsGet BibTex

Alex Brik and Jeffrey B. Remmel. Hybrid ASP. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 40-50, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


This paper introduces an extension of Answer Set Programming (ASP) called Hybrid ASP which will allow the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule are satisfied and the constraints of the rule are not violated, then the algorithm associated with the rule is invoked.
  • answer set programming
  • hybrid systems
  • modeling and simulation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads