Minimal change list for Lucas strings and some graph theoretic consequences.

Jean-Luc Baril Vincent Vajnovszki

Published in: Theor. Comput. Sci. (2005)

Keyphrases

graph theoretic
minimal change
belief revision
belief change
reasoning about actions
update operations
ctl model update
propositional knowledge base
graph theory
model theoretic
action theories
default reasoning
situation calculus
propositional logic
nonmonotonic reasoning