Login / Signup
Specification of Diagram Editors Providing Layout Adjustment with Minimal Change.
Mark Minas
Gerhard Viehstaedt
Published in:
VL (1993)
Keyphrases
</>
reasoning about actions
minimal change
action theories
belief update
ctl model update
propositional knowledge base
logic programs
load balancing
temporal logic