Searching for "Transaction Logic Programming." – sorted by Relevance.
-
Transaction Logic Programming
- Transaction Logic Programming Anthony J. Bonner y Department of Computer Science University
- Cited by 96 (18 self) – Add To MetaCart
-
Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge)
- Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) Anthony J
- Cited by 9 (1 self) – Add To MetaCart
-
A Logic For Programming Database Transactions
- 1 A LOGIC FOR PROGRAMMING DATABASE TRANSACTIONS Anthony J. Bonner and Michael Kifer Abstract: We
- Cited by 34 (16 self) – Add To MetaCart
-
On Specifying Database Updates
- transactions, logic programming approaches to updates, database views and state constraints. / This paper
- Cited by 74 (10 self) – Add To MetaCart
-
Implementation and Performance of Transaction Logic in Prolog
- of different Prologs. They also show that with some Prologs, Transaction Logic programs achieve efficiency
- Cited by 6 (0 self) – Add To MetaCart
-
Results on Reasoning about Updates in Transaction Logic
- interpretation turns the Horn subset of Transaction Logic into a powerful language for logic programming
- Cited by 7 (2 self) – Add To MetaCart
-
Concurrency and Communication in Transaction Logic
- Logic (or CT R). Like Transaction Logic, CT R is a language for programming database transactions
- Cited by 60 (12 self) – Add To MetaCart
-
Actions as Prolog Programs
- PROLOG program. 2. Background on Transaction Logic Programming TR is a formalism basically applicable
- Cited by 2 (1 self) – Add To MetaCart
-
Specifying and Reasoning About Actions in Open-Worlds Using Transaction Logic
- , and then block b is not on block c." Transaction programs: Like classical logic, Transaction Logic has a Horn
- Cited by 1 (0 self) – Add To MetaCart
-
Relating Stable Models and AI Planning Domains
- and logic programming is not new. Bonner and Kifer [1] proposed a formalism called transaction logic
- Cited by 34 (1 self) – Add To MetaCart

