Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
IDLOG: extending the expressive power of deductive database languages
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Minimum and maximum predicates in logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On negation in HiLog (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A non-deterministic deductive database language
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
The impact of logic programming on databases
Communications of the ACM
On the relationship between circumscription and well-founded semantics of logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a relational model for exclusively disjunctive information
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
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
On the expressive power of database queries with intermediate types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Pushing extrema aggregates to optimize logic queries
Information Systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Combining Description Logics with Stratified Logic Programs in Knowledge Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
TRBAC: A Temporal Authorization Model
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Journal of Symbolic Computation - Special issue: First order theorem proving
A logic-based approach to data integration
Theory and Practice of Logic Programming
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Symmetric structure in logic programming
Journal of Computer Science and Technology
The Journal of Machine Learning Research
Towards a general web rule language
International Journal of Web Engineering and Technology
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Relating the TMS to autoepistemic logic
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Logic programming in artificial intelligence
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
On the minimality of stable models
Logic programming, knowledge representation, and nonmonotonic reasoning
A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
The Complexity Of Local Stratification
Fundamenta Informaticae
Hi-index | 0.02 |