Searching for "An Overview of Transaction Logic." – sorted by Relevance.
-
An Overview of Transaction Logic
- An Overview of Transaction Logic Anthony J. Bonner Computer Systems Research Institute
- Cited by 83 (23 self) – Add To MetaCart
-
An Overview of Transaction Logic
- An Overview of Transaction Logic Anthony J. Bonner Department of Computer Science University
- Add To MetaCart
-
Actions as Prolog Programs
- by presenting a re-structured overview of the Transaction Logic formalism and proposing some modifications
- Cited by 2 (1 self) – Add To MetaCart
-
Implementation and Performance of Transaction Logic in Prolog
- Transaction Logic Programming 4 2.1 Overview of Transaction Logic Program
- Cited by 6 (0 self) – Add To MetaCart
-
Results on Reasoning about Updates in Transaction Logic
- at the Transaction Logic Web page: www.cs.toronto.edu/~bonner/transaction-logic.html 2 Overview of Transaction Logic
- Cited by 7 (2 self) – Add To MetaCart
-
Database Programming in Transaction Logic
- solution to the aforementioned limitations, both of Prolog and of action logics. 2 Overview of Transaction
- Cited by 24 (13 self) – Add To MetaCart
-
Applications of Transaction Logic to Knowledge Representation
- logics. 2 Overview of Transaction Logic T R is an extension of first-order logic, both syntactically
- Cited by 2 (0 self) – Add To MetaCart

