Logic for problem-solving
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A Discipline of Programming
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Proving Programs by Sets of Computations
Proceedings of the 3rd Symposium on Mathematical Foundations of Computer Science
Natural Language Communication with Computers
The recursion-theoretic complexity of the fixed-point semantics of definite sentences
The recursion-theoretic complexity of the fixed-point semantics of definite sentences
Modelling the combination of functional and logic programming languages
Journal of Symbolic Computation
Logic programming semantics using a compact data structure
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Knowledge systems: Principles and practice
IBM Journal of Research and Development
Negation as failure for first-order queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A logic-programming/object-oriented cocktail
ACM SIGMOD Record
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bounds on the propagation of selection into logic programs
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fast algorithms for testing unsatisfiability of ground horn clauses with equations
Journal of Symbolic Computation
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
A denotational semantics for Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Moded type systems for logic programming
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Temporal logic programming is complete and expressive
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Linearization of Nonlinear Recursive Rules
IEEE Transactions on Software Engineering
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Dataflow for logic program as substitution manipulator
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Communications of the ACM
The impact of logic programming on databases
Communications of the ACM
Tie-breaking semantics and structural totality
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of reusing and modifying rulebases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
IEEE Transactions on Software Engineering - Special issue on software maintenance
Journal of Symbolic Computation - Special issue on automatic programming
Denotational abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the complexity of dataflow analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
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
Explicit control of logic programs through rule algebra
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Argus/V: a system for verification of Prolog programs
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Fixpoint semantics for logic programming a survey
Theoretical Computer Science
Annals of Mathematics and Artificial Intelligence
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions
Journal of Automated Reasoning
SLT-Resolution for the Well-Founded Semantics
Journal of Automated Reasoning
Fixed-parameter complexity of semantics for logic programs
ACM Transactions on Computational Logic (TOCL)
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A Computationally Tractable Nonmonotonic Logic
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Computation of Stable Models and Its Integration with Logical Query Processing
IEEE Transactions on Knowledge and Data Engineering
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
LDL: A Technology for the Realization of Tightly Coupled Expert Database Systems
IEEE Expert: Intelligent Systems and Their Applications
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
A Fixpoint Semantics for Reasoning about Finite Failure
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Translation and Optimization of Logic Queries: The Algebraic Approach
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Towards a Real Horn Clause Language
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Detecting Optimal Termination Conditions of Logic Programs
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A model and an implementation of a logic programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
A treatment of higher-order features in logic programming
Theory and Practice of Logic Programming
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
On the verification of finite failure
Journal of Computer and System Sciences
Negative ordered hyper-resolution as a proof procedure for disjunctive logic programming
Fundamenta Informaticae
Theoretical Computer Science
Similarity-based reasoning in qualified logic programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Qualified Logic Programming with Bivalued Predicates
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness of the negation as failure rule
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Type inference in prolog and its application
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A network of communicating logic programs and its semantics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Fitting semantics for conditional term rewriting
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Least and greatest fixed points in linear logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
International Journal of Artificial Intelligence and Soft Computing
Least and Greatest Fixed Points in Linear Logic
ACM Transactions on Computational Logic (TOCL)
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Automated verification of state sequence invariants in general game playing
Artificial Intelligence
Semantics of well-moded input-consuming logic programs
Computer Languages
Logic Programs, Norms and Action
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Fundamenta Informaticae
A Methodology For Constructing Logic Programs
Fundamenta Informaticae
Logic Programming from the Perspective of Algebraic Semantics
Fundamenta Informaticae
A formal data-centric approach for passive testing of communication protocols
IEEE/ACM Transactions on Networking (TON)
Hi-index | 0.04 |