A Data-Driven Model for Parallel Interpretation of Logic Programs.

Published in: FGCS (1984)

Keyphrases

logic programs
data driven
high level
logic programming
metamodel
answer sets
fixpoint
model checking
answer set programming
boolean networks