Searching for "Transaction Logic Programming." – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
