Anthony J. Bonner University of Toronto Department of Computer Science...  Home/Search
Context Related
| toronto.edu/pub/bonner/pape...ictl94.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: toronto.edu/~bonner/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present applications of the recently proposed Transaction Logic---an extension of classical logic that accounts in a clean and declarative fashion for the phenomenon of state changes in knowledge bases, including logic programs and databases. Transaction Logic has a natural model theory and a sound-andcomplete proof theory, but unlike many other logics, it allows users to program transactions. Its semantics also leads naturally to features whose amalgamation in a single logic has proved... (Update)
Context of citations to this paper: More
...say that hfg fag fa; bg fa; b; cgi is an execution path of OE. Execution paths allow us to model a wide range of dynamic constraints [9, 7, 11]. To model concurrent processes, we generalize the notion of path to multi path, or m path. An m path records the execution history...
Cited by: More
Implementation and Performance of Transaction Logic in Prolog - Hung (1996) (Correct)
Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996) (Correct)
Similar documents (at the sentence level): More
28.6%: Transaction Logic Programming (or, A Logic of Procedural and.. - Bonner, Kifer (1995) (Correct)
25.7%: Database Programming in Transaction Logic - Bonner, Kifer (1993) (Correct)
12.2%: An Overview of Transaction Logic - Bonner, Kifer (1994) (Correct)
Active bibliography (related documents): More All
0.3: A Logic For Programming Database Transactions - Bonner, Kifer (1998) (Correct)
0.2: The State of Change: A Survey - Bonner, Kifer (1998) (Correct)
0.1: Logics for Databases and Information Systems - Chomicki, (eds.) (1998) (Correct)
Similar documents based on text: More All
0.1: Results on Reasoning about Updates in Transaction Logic - Bonner, Kifer (1998) (Correct)
Related documents from co-citation: More All
2: Information and Computation (context) - Milner, Parrow et al. - 1992
2: Theoretical Computer Science (context) - Bonner, Complexity - 1990
BibTeX entry: (Update)
A.J. Bonner and M. Kifer. Applications of transaction logic to knowledge representation. In Proceedings of the International Conference on Temporal Logic, number 827 in Lecture Notes in Artificial Inteligence, pages 67--81, Bonn, Germany, July 1994. Springer-Verlag. http://citeseer.ist.psu.edu/95075.html More
@inproceedings{ bonner94applications,
author = "Anthony J. Bonner and Michael Kifer",
title = "Applications of Transaction Logic to Knowledge Representation",
booktitle = "{ICTL}",
pages = "67-81",
year = "1994",
url = "citeseer.ist.psu.edu/95075.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
444 Towards a general theory of action and time (context) - Allen - 1984
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1995
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
73 Theoretical Computer Science (context) - Bonner, Kifer et al. - 1994
61 Transaction logic programming - Bonner, Kifer - 1993
59 A logic-based language for database updates (context) - Manchanda, Warren - 1988
58 The Handbook of Artificial Intelligence (context) - Cohen, Feigenbaum - 1986
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
21 New data models and languages---The challenge (context) - Beeri - 1992
16 Declarative specification and evaluation of database updates (context) - Chen - 1991
13 Object-oriented cocktail (context) - Bancilhon, logic-programming - 1986
12 Knowledge-Based Experiment Design in Molecular Genetics (context) - Friedland - 1979
2 Computer Science Department (context) - Stefik, Constraints - 1980
Documents on the same site (http://www.cs.toronto.edu/~bonner/papers.html): More
Expressing Database Queries with Intuitionistic Logic - Bonner, McCarty, Vadaparty (1989) (Correct)
Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996) (Correct)
Using Interval Graphs for Solving Map Assembly Problems - Randall (1997) (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