Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming.

Jianmin Ji Fangzhen Lin

Published in: LPNMR (2013)

Keyphrases

logic programming
answer set semantics
propositional logic
logic programs
nonmonotonic reasoning
propositional variables
classical logic
answer sets
nonmonotonic logics

answer set programming
belief revision
possibilistic logic
deductive databases
first order logic
knowledge representation
normal logic programs
abductive reasoning
knowledge base

reasoning tasks
programming language
inductive logic programming
stable models
probabilistic reasoning
fixpoint
default logic
horn logic

multi valued
reasoning about actions
artificial intelligence
autoepistemic logic
horn clauses
minimal models
relational databases
declarative programming