Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change.

Patrick Doherty, Witold Lukaszewicz

Browse the full ISMIS paper archive.