Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
Expressing Extension-Based Semantics Based on Stratified Minimal Models
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Predicate introduction under stable and well-founded semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Fundamenta Informaticae - Logic, Language, Information and Computation
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Hi-index | 0.00 |