Algorithms for Computing X-Minimal Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
An incremental algorithm for generating all minimal models
Artificial Intelligence
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
An upper bound on computing all X-minimal models
AI Communications
On odd and even cycles in normal logic programs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
An incremental algorithm for generating all minimal models
Artificial Intelligence
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.00 |