Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Preprocessing of intractable problems
Information and Computation
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Parametric connectives in Disjunctive Logic Programming
AI Communications
Hi-index | 0.00 |