Logic programming and substitutions.

Gudmund Skovbjerg Frandsen

Published in: FCT (1985)

Keyphrases

logic programming
logic programs
nonmonotonic reasoning
deductive databases
logic programming language
computational logic
answer set programming

knowledge representation
answer sets
programming language
knowledge representation and reasoning
knowledge base
default logic

knowledge representation language
classical logic
declarative semantics
procedural semantics
reasoning about actions
stable models

probabilistic reasoning
inductive logic programming
constraint logic programming
fixpoint
probabilistic logic
general purpose