Proving modal and temporal properties of rewriting logic programs.

Isabel Pita Narciso Martí-Oliet

Published in: APPIA-GULP-PRODE (2001)

Keyphrases

logic programs
temporal properties
magic sets
model checking
logic programming
modal logic
temporal logic
possibility theory

fixpoint
answer sets
answer set programming
stable models
formal methods
conjunctive queries
partial deduction

computational properties
datalog programs
nonmonotonic logics
stable model semantics
term rewriting systems
horn clauses
formal specification

autoepistemic logic
machine learning
prolog programs
strong equivalence
rough sets
probability distribution
artificial intelligence