Hybrid Answer Set Programming.
Annals of Pure and Applied Logic(2014)
摘要
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.
更多查看译文
关键词
68T27,68T30,03B70,68N17
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络