Abstract | ||
---|---|---|
We present applications of the recently proposed Transaction Logic---an extensionof classical logic that accounts in a clean and declarative fashion forthe phenomenon of state changes in knowledge bases, including logic programsand databases. Transaction Logic has a natural model theory and a sound-andcompleteproof theory, but unlike many other logics, it allows users to programtransactions. Its semantics also leads naturally to features whose amalgamationin a single logic has proved... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/BFb0013981 | ICTL |
Keywords | Field | DocType |
transaction logic,knowledge representation,knowledge base,model theory,classical logic | Transaction logic,Computational logic,Autoepistemic logic,Description logic,Multimodal logic,Theoretical computer science,Logic programming,Nested transaction,Dynamic logic (modal logic),Mathematics | Conference |
ISBN | Citations | PageRank |
3-540-58241-X | 12 | 0.93 |
References | Authors | |
16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anthony J. Bonner | 1 | 733 | 422.63 |
Michael Kifer | 2 | 3980 | 950.22 |