A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
A Simplified Format for the Model Elimination Theorem-Proving Procedure
Journal of the ACM (JACM)
Two Results on Ordering for Resolution with Merging and Linear Format
Journal of the ACM (JACM)
Implementation and applications of Scott's logic for computable functions
Proceedings of ACM conference on Proving assertions about programs
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
On the implementation of a simple class of logic queries for databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
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
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Language constructs for programming by example
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A message passing framework for logical query evaluation
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
A decidable class of bounded recursions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A data-driven model for a subset of logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A view of the origins and development of Prolog
Communications of the ACM
The early years of logic programming
Communications of the ACM
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Fast algorithms for testing unsatisfiability of ground horn clauses with equations
Journal of Symbolic Computation
Efficient tests for top-down termination of logical rules
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Distributed processing of logic programs
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Sharing the load of logic-program evaluation
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relational specifications of infinite query answers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Aspects of OBERON suitable for graphics applications
ACM SIGPLAN Notices
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
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
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
CAL: A theoretical background of constraint logic programming and its applications
Journal of Symbolic Computation
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint logic programming languages
Communications of the ACM
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dataflow for logic program as substitution manipulator
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A framework for the parallel processing of Datalog queries
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
Denotational semantics of a goal-directed language
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the representation of infinite temporal data and queries (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
The impact of logic programming on databases
Communications of the ACM
Communications of the ACM
The complexity of reusing and modifying rulebases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Finite representation of infinite query answers
ACM Transactions on Database Systems (TODS)
A general framework for semantics-based bottom-up abstract interpretation of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
15th July 1972: a significant moment for logic programming
ACM SIGPLAN Notices
Negation and minimality in non-horn databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Differential logic programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Symbolic Computation - Special issue on automatic programming
A logic programming environment for teaching mathematical concepts of computer science
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
On the expressive power of query languages
ACM Transactions on Information Systems (TOIS)
Temporal and modal logic programming: an annotated bibliography
ACM SIGART Bulletin
Time-extraction for temporal logic-logic programming and local process time
Journal of Computer and System Sciences
ACM Transactions on Programming Languages and Systems (TOPLAS)
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Communications of the ACM
Type analysis of logic programs in the presence of type definitions
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Semantics for update rule programs and implementation in a relational database management system
ACM Transactions on Database Systems (TODS)
Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Abductive coordination for logic agents
Proceedings of the 1999 ACM symposium on Applied computing
Polynomial-time program transformations in deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Backward chaining evaluation in stratified disjunctive theories
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
Polynomial time query processing in temporal deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of logic programming languages with sets
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal deductive databases and infinite objects
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object-oriented database systems
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
Equations, sets, and reduction semantics for functional and logic programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Towards a semantic theory for equational programming languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Partial evaluation of logic programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Argus/V: a system for verification of Prolog programs
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Predicative programming Part I
Communications of the ACM
The fifth generation project — a trip report
Communications of the ACM
ACM Transactions on Computational Logic (TOCL)
Logic and programming languages
Communications of the ACM
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)
Path dependent analysis of logic programs
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Annotations for distributed programming in logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Skeleton-based agent development for electronic institutions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
Logic-based artificial intelligence
Discovery in multi-attribute data with user-defined constraints
ACM SIGKDD Explorations Newsletter
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Artificial Intelligence
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Horn clauses and the fixpoint query hierarchy
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Applying restriction constraints to deductive databases
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial 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
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
IEEE Transactions on Knowledge and Data Engineering
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Parametric Approach to Deductive Databases with Uncertainty
IEEE Transactions on Knowledge and Data Engineering
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Compiling Problem Specifications into SAT
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
A Multi-adjoint Logic Approach to Abductive Reasoning
Proceedings of the 17th International Conference on Logic Programming
A Rewriting Method for Well-Founded Semantics with Explicit Negation
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Indexed Categories and Bottom-Up Semantics of Logic Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Translation and Optimization of Logic Queries: The Algebraic Approach
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Qualified Answers That Reflect User Needs and Preferences
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
VLDB '94 Proceedings of the 20th 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
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Well-Founded Semantics Is the Principle of Inductive Definition
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Hybrid Probabilistic Logic Programs as Residuated Logic Programs
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Preferred Answer Sets for Ordered Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Coherent Well-founded Annotated Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Monotonic and Residuated Logic Programs
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Rewriting Logic as a Metalogical Framework
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Specialising Logic Programs with Respect to Call?Post Specifications
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Including Diagnostic Information in Configuration Models
CL '00 Proceedings of the First International Conference on Computational Logic
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
An Implementation for Abductive Logic Agents
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Extending Classical Logic with Inductive Definitions
CL '00 Proceedings of the First International Conference on Computational Logic
Precise goal-independent abstract interpretation of constraint logic programs
Theoretical Computer Science
Complexity Analysis Based on Ordered Resolution
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A Logic for SDSI's Linked Local Name Spaces: Preliminary Version
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A new framework for declarative programming
Theoretical Computer Science
How to define a language using PROLOG
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Logic enhancement: A method for extending logic programming languages
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Introduction to relational programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
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
ACM '79 Proceedings of the 1979 annual conference
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Meta-circular abstract interpretation in prolog
The essence of computation
Path Dependent Analysis of Logic Programs
Higher-Order and Symbolic Computation
Declarative specification and declarative programming
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Linearisability on datalog programs
Theoretical Computer Science
Parametrized semantics of logic programs: a unifying framework
Theoretical Computer Science
The semantics of grammar formalisms seen as computer languages
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Computing large and small stable models
Theory and Practice of Logic Programming
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Ultimate approximation and its application in nonmonotonic knowledge representation systems
Information and Computation
Providing declarative semantics for HH extended constraint logic programs
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Theory revision with queries: horn, read-once, and parity formulas
Artificial Intelligence
Compositional semantics for linguistic formalisms
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Minimum model semantics for logic programs with negation-as-failure
ACM Transactions on Computational Logic (TOCL)
ACM SIGART Bulletin
History of programming languages---II
Symmetric structure in logic programming
Journal of Computer Science and Technology
Optimization with mode-directed preferences
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Compiling problem specification into SAT
Artificial Intelligence - Special volume on reformulation
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Inferring dynamic credentials for rôle-based trust management
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
The open and autonomous interconnection semantics
ICEC '06 Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet
Negative ordered hyper-resolution as a proof procedure for disjunctive logic programming
Fundamenta Informaticae
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Theoretical Computer Science
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
Quantitative Disjunctive Logic Programming: semantics and computation
AI Communications
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
Logic and programming languages
ACM Turing award lectures
Systematic derivation of complementary specifications
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Logic programs with monotone abstract constraint atoms*
Theory and Practice of Logic Programming
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Similarity-based reasoning in qualified logic programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Model Generation for Horn Logic with Stratified Negation
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A formal framework for reflective database access control policies
Proceedings of the 15th ACM conference on Computer and communications security
Knowledge representation concepts for automated SLA management
Decision Support Systems
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Layered Models Top-Down Querying of Normal Logic Programs
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Justifications for logic programs under answer set semantics
Theory and Practice of Logic Programming
Hyperequivalence of logic programs with respect to supported models
Annals of Mathematics and Artificial Intelligence
Approximating Extended Answer Sets
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the Declarative Semantics of Multi-Adjoint Logic Programs
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Qualified Logic Programming with Bivalued Predicates
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic programs with abstract constraint atoms
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Well-Founded and Partial Stable Semantics Logical Aspects
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
Quasi-Classical Model Semantics for Logic Programs --- A Paraconsistent Approach
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Hyperequivalence of logic programs with respect to supported models
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A magic approach to optimizing incremental relational expressions
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Structured planning and debugging
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Last steps towards an ultimate Prolog
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Logic programs with uncertainties: a tool for implementing rule-based systems
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
Judgmental reasoning for expert systems
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
On the algebraic structure of declarative programming languages
Theoretical Computer Science
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Optimality in goal-dependent analysis of sharing
Theory and Practice of Logic Programming
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Circumscription and definability
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Derivation procedures for extended stable models
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Compiling problem specifications into SAT
Artificial Intelligence - Special volume on reformulation
Prolog for applications programming
IBM Systems Journal
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
A fixed point semantics for logic programs extended with cuts
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Solving SAT in linear time with a neural-like membrane system
IWANN'03 Proceedings of the Artificial and natural neural networks 7th international conference on Computational methods in neural modeling - Volume 1
Towards web services composition based on the mining and reasoning of their causal relationships
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Logic programming for knowledge representation
ICLP'07 Proceedings of the 23rd international conference on Logic programming
On finitely recursive programs
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Logic programs with abstract constraint atoms: the role of computations
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Iterative specialisation of horn clauses
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
On the adequateness of the connection method
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Loop-separable programs and their first-order definability
Artificial Intelligence
A logical characterisation of ordered disjunction
AI Communications - Answer Set Programming
Thirteen definitions of a stable model
Fields of logic and computation
What have we learnt from deductive object-oriented database research?
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Logic programming, knowledge representation, and nonmonotonic reasoning
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
Logic programming and uncertainty
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
International Journal of Artificial Intelligence and Soft Computing
Modeling web services based on the bayesian network
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
A well-founded semantics with disjunction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Mode-directed fixed point computation
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Ambiguity propagating defeasible logic and the well-founded semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The SOUL tool suite for querying programs in symbiosis with Eclipse
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Model checking abstract state machines with answer set programming
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
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
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Determinacy inference for logic programs
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Dynamic logic programming: various semantics are equal on acyclic programs
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
An ordered logic program solver
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
An SLD-resolution calculus for basic serial multimodal logics
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
BAD, a declarative logic-based language for brain modeling
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Data-centric property formulation for passive testing of communication protocols
ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
Dyna: extending datalog for modern AI
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Dynamic composition of parameterised logic modules
Computer Languages
Computer Languages
Implementing polymorphic typing in a logic programming language
Computer Languages
A declarative coordination language
Computer Languages
A controlling scheme for Prolog through count terms
Computer Languages
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Correct Reasoning
Oscillating behavior of logic programs
Correct Reasoning
Disjunctive programs with set constraints
Correct Reasoning
Model Checking Abstract State Machines with Answer Set Programming
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming
Fundamenta Informaticae
Stable Models for Stubborn Sets
Fundamenta Informaticae
Qualifying Answers According to User Needs and Preferences
Fundamenta Informaticae
Combining Closed World Assumptions with Stable Negation
Fundamenta Informaticae
Logic Programming from the Perspective of Algebraic Semantics
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Proofs you can believe in: proving equivalences between Prolog semantics in Coq
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A formal data-centric approach for passive testing of communication protocols
IEEE/ACM Transactions on Networking (TON)
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
A formal distributed network monitoring approach for enhancing trust management systems
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
A rational extension of stable model semantics to the full propositional language
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Learning from interpretation transition
Machine Learning
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.15 |
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated. It is concluded that operational semantics is a part of proof theory and that fixpoint semantics is a special case of model-theoretic semantics.