Login / Signup
An Algebraic Model of Parallel Execution of Logic Programs
Lennart Beckman
Rune Gustavsson
Annika Wærn
Published in:
LICS (1986)
Keyphrases
</>
logic programs
logic programming
probabilistic model
high level
conceptual model
inductive logic programming
stable models
database
graphical models
pattern matching
answer sets
parallel execution