Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661960 | Annals of Pure and Applied Logic | 2014 | 30 Pages |
Abstract
This paper discusses an extension of Answer Set Programming (ASP) called Hybrid Answer Set Programming (H-ASP) which allows 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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Alex Brik, Jeffrey Remmel,