Anthony J. Bonner, Michael Kiffer  Home/Search
Context Related
| sunysb.edu/pub/TechReport...iclp93.ps.Z toronto.edu/pub/bonner/pape...iclp93.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sunysb.edu (more) From: toronto.edu:8020/people/...papers Homepages: A.Bonner |
Rate this article:      (best)Comment on this article |
Abstract: An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the phenomenon of state changes in logic programs and databases. Transaction Logic has a natural model theory and a sound and complete proof theory, but unlike many other logics, it allows users to program transactions. The semantics leads naturally to features whose amalgamation in a single logic has proved elusive in the past. These features include both hypothetical... (Update)
Context of citations to this paper: More
...e set of updetes conreining both en insertion end e deletion of the seine feet to be executed. By contrest in DLP [47] D [54] Tq [20] end DL [5] updetes ere executed es soon es they ere evelueted. This epproech leeds to complex sementics end to computetions performed in...
...fluents and events, while EVOLP focusses its features on the declarative evolution of a general knowledge base. Transaction Logic (TL) [3] is also a LP language for updates. TL is concerned with finding, given a goal, the appropriate transactions (or updates) to an...
Cited by: More
A New HTN Planning Framework for Agents in Dynamic Environments - Hayashi, Cho, Ohsuga (Correct)
Extending Datalog with Declarative Updates - Liu (2002) (Correct)
Semantic Correctness of Transactions and Workflows - Lu (2002) (Correct)
Similar documents (at the sentence level): More
31.2%: Transaction Logic Programming (or, A Logic of Procedural and.. - Bonner, Kifer (1995) (Correct)
31.2%: A Logic For Programming Database Transactions - Bonner, Kifer (1998) (Correct)
30.5%: An Overview of Transaction Logic - Bonner, Kifer (1994) (Correct)
Active bibliography (related documents): More All
0.4: The State of Change: A Survey - Bonner, Kifer (1998) (Correct)
0.2: Mutable Object State for Object-Oriented Logic Programming: A.. - Alexiev (1993) (Correct)
0.2: Transaction Datalog: a Compositional Language for Transaction.. - Bonner (1997) (Correct)
Similar documents based on text: More All
0.1: Results on Reasoning about Updates in Transaction Logic - Bonner, Kifer (1998) (Correct)
0.1: Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996) (Correct)
Related documents from co-citation: More All
27: Theoretical Computer Science (context) - Bonner, Complexity - 1990
19: Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen et al. - 1990
15: A logic-based language for database updates (context) - Manchanda, Warren - 1988
BibTeX entry: (Update)
A.J. Bonner and M. Kifer. Transaction logic programming. In Intl. Conference on Logic Programming, pages 257--282, Budapest, Hungary, June 1993. MIT Press. http://citeseer.ist.psu.edu/bonner93transaction.html More
@inproceedings{ bonner93transaction,
author = "Anthony J. Bonner and Michael Kifer",
title = "Transaction Logic Programming",
booktitle = "International Conference on Logic Programming",
pages = "257-279",
year = "1993",
url = "citeseer.ist.psu.edu/bonner93transaction.html" }
Citations (may not include all citations):444 Towards a general theory of action and time (context) - Allen - 1984
413 Logical foundations of object-oriented and framebased langua.. - Kifer, Lausen et al. - 1995
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
95 Procedural knowledge (context) - Georgeff, Lansky - 1986
74 A propositional modal logic of time intervals - Halpern, Shoham - 1986
71 Database updates in event calculus (context) - Kowalski - 1992
59 A logic-based language for database updates (context) - Manchanda, Warren - 1988
41 Procedural and declarative database update languages (context) - Abiteboul, Vianu - 1988
41 Glue-Nail: A deductive database system - Phipps, Derr et al. - 1991
35 Process Logic: Expressiveness (context) - Harel, Kozen et al. - 1982
30 Database updates in logic programming (context) - Naqvi, Krishnamurthy - 1988
29 On formalizing database updates: Preliminary report - Reiter - 1992
25 Permissions and obligations (context) - McCarty - 1983
21 New data models and languages---The challenge (context) - Beeri - 1992
18 Stanford Artificial Intelligence Project (context) - McCarthy, actions et al. - 1963
16 Declarative specification and evaluation of database updates (context) - Chen - 1991
13 Object-oriented cocktail (context) - Bancilhon, logic-programming - 1986
11 A model based approach to updating databases with incomplete.. (context) - Winslett - 1988
11 Reasoning about indefinite actions - McCarty, van der Meyden - 1992
8 Technical Report KRR-TR (context) - Grahne, Mendelzon et al. - 1991
6 Non-deterministic queries and updates in deductive databases (context) - de Maindreville, Simon - 1988
4 A general logic of state change (context) - Bonner, Kifer - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.sunysb.edu.html): More
Structured Operational Semantics for Concurrency and Hierarchy - Uselton (1993) (Correct)
Analysis and Transformations of Parallel Programs for.. - Li, Hermannsson, Wittie (Correct)
What is in a Statechart: On the Semantics of Steps - Uselton (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC