A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules.
Lars HallnäsPeter Schroeder-HeisterPublished in: J. Log. Comput. (1990)
Keyphrases
- logic programming
- logic programs
- extended logic programs
- linear logic
- classical first order logic
- horn clauses
- background knowledge
- answer set semantics
- first order logic
- declarative semantics
- answer sets
- nonmonotonic reasoning
- propositional variables
- normal logic programs
- knowledge representation
- answer set programming
- programming language
- inductive logic programming
- logic programming language
- knowledge base
- deductive databases
- stable models
- computational logic
- reasoning about actions
- default logic
- inference engine
- semantics for logic programs
- disjunctive logic programming
- general purpose
- search space
- data mining