Surface Deduction: A Uniform Mechanism for Logic Programming.

Philip T. Cox Tomasz Pietrzykowski

Published in: SLP (1985)

Keyphrases

logic programming
logic programs
automated deduction
nonmonotonic reasoning
deductive databases
logic programming language
answer set programming
knowledge representation

computational logic
programming language
answer sets
knowledge base
knowledge representation and reasoning
probabilistic reasoning
default logic
constraint logic programming

database
stable models
classical logic
fuzzy linguistic
reasoning about actions
propositional variables
default reasoning

theorem proving
inductive logic programming
data mining
theorem prover
declarative semantics
general purpose
database systems