Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
An upper bound on computing all X-minimal models
AI Communications
Hi-index | 0.00 |