The alternating fixpoint of logic programs with negation
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)
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Three-valued formalization of logic programming: is it needed?
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive powers of the logic programming semantics (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
A Logical Framework for Reasoning on Data Access Control Policies
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Formalizing defeasible logic in CAKE
Fundamenta Informaticae
A temporal argumentative system
AI Communications
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Circumscription and definability
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Thirteen definitions of a stable model
Fields of logic and computation
Transforming prioritized defaults and specificity into parallel defaults
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Formalizing Defeasible Logic in CAKE
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
| Hi-index | 0.00 |