DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Horn clause
Horn clause
A Horn Clause That Implies an Undecidable Set of Horn Clauses ?
7. Logic Programming in Prolog
Solving Non-Linear Horn Clauses Using a Linear Horn Clause Solver ∗
Algorithms for the Satisfiability Problem
Horn Clause Solvers for Program Verification
Horn Clauses A Definite Clause Is a Clause with Exactly One Positive Literal
History of Logic Programming
Horn Formula Minimization
Solution of P Versus NP Problem Frank Vega
A New Approach to Conceive ASP Solvers
Logic Programming
Notes for Chapter 12 Logic Programming
Lecture 2: March 20, 2015 2.1 Introduction
Computing Datalog Rewritings Beyond Horn Ontologies∗
Conjunctive Normal Form & Horn Clauses
Functional Dependencies in Horn Clause Queries
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
Polynomial-Time Computation Via Local Inference Relations
Top View
A Note on the Complexity of the Satisfiability of Modal Horn Clauses
A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm
Declarative Knowledge Processing Lecture 9: Datalog and Its Extensions
Propositional Logic Programs / Databases
A Graph-Based Interpreter for General Horn Clauses
Arxiv:Cs/9809032V1
Horn Maximum Satisfiability: Reductions, Algorithms
Clause in Propositional Logic
On the Complexity of Equational Horn Clauses
Introduction to Logic Programming & Prolog
Artificial Intelligence: Knowledge Representation and Reasoning
SLD-Resolution and Logic Programming (PROLOG)
Computing Datalog Rewritings Beyond Horn Ontologies∗