Login / Signup
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.
Michael I. Dekhtyar
Alexander Ja. Dikovsky
Mars K. Valiev
Published in:
Ershov Memorial Conference (1999)
Keyphrases
</>
logic programs
temporal logic
logic programming
model checking
answer sets
answer set programming
inductive logic programming
background knowledge
fixpoint
term rewriting systems
belief revision
stable models
computational properties
prolog programs