Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Handbook of Knowledge Representation
Handbook of Knowledge Representation
SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Conflict-driven answer set solving
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Design and Implementation of AT: a real-time action description language
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
| Hi-index | 0.00 |
This paper studies computational issues related to the problem of reasoning about action and change in timed domains by translating it into answer set programming paradigm. Based on this idea, we implement a new action and change reasoning solver - τε2asp with a polynomial translation without increasing its complexity for checking satisfiability and entailment in $\mathcal{TE}$ and report some experimental results.