Login / Signup

Specification of Diagram Editors Providing Layout Adjustment with Minimal Change.

Mark MinasGerhard 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