Login / Signup
Guarded Horn Clauses and Experience with Parallel Logic Programming.
Jiro Tanaka
Kazunori Ueda
Tashihiko Miyazaki
Akikazu Takeuchi
Yuji Matsumoto
Koichi Furukawa
Published in:
FJCC (1986)
Keyphrases
</>
horn clauses
logic programming
logic programs
inductive logic programming
answer set programming
fixpoint
answer sets
function symbols
nonmonotonic reasoning
deductive databases
logic programming language
stable models
background knowledge
default logic
computational logic
reasoning tasks
probabilistic reasoning
inference rules
constraint logic programming
normal logic programs
reasoning about actions
programming language
bayesian networks
knowledge base
machine learning