A procedural semantics for well founded negation in logic programs
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Succinct model semantics: a simple model for inclusive interpretations
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
A Jacobi-Davidson method for nonlinear and nonsymmetric eigenproblems
Computers and Structures
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the complexity of theory curbing
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Degrees of exclusivity in disjunctive databases
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Combining Closed World Assumptions with Stable Negation
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
| Hi-index | 0.00 |