On Refinement in Rewriting Logic.

Dorel Lucanu Nicolae Surpatanu

Published in: Sci. Ann. Cuza Univ. (1996)

Keyphrases

logic programming
modal logic
multi valued
rewriting systems
artificial intelligence
special case
conjunctive queries
classical logic
defeasible logic
predicate logic
step wise
sound and complete axiomatization
learning algorithm
nonmonotonic logics
refinement process
termination analysis