Searching for "An Overview of Transaction Logic." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
