Transaction Logic with Defaults and Argumentation Theories

Paul Fodor & Michael Kifer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many advanced applications, including modeling robot movements, actions specification, and planning in artificial intelligence. In a parallel development, much work has been devoted to various theories of defeasible reasoning. In this paper, we unify these two streams of research and develop Transaction Logic with Defaults and Argumentation Theories, an extension...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.