Proof Theory for Exception Handling in a Tasking Environment.

Kamal Lodaya R. K. Shyamasundar

Published in: Acta Informatica (1990)

Keyphrases

exception handling
proof theory
conflict resolution
object oriented
default reasoning
workflow management
domain independent
automated reasoning
artificial intelligence
mobile robot
dynamic environments
service oriented