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

• Authors:

• Patrick Doherty;Witold Lukaszewicz

• Affiliations:

• -;-

• Venue:
• ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
• Year:
• 1994