Login / Signup
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.
Michael Codish
Moreno Falaschi
Kim Marriott
William H. Winsborough
Published in:
WSA (1992)
Keyphrases
</>
logic programs
logic programming
answer set programming
background knowledge
inductive logic programming
answer sets
fixpoint
computational properties
prolog programs
partial deduction
integrity constraints
stable models
term rewriting systems