transaction Logic: An (Early) Exposé - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Anthony J. Bonner, Michael Kifer. transaction Logic: An (Early) Exposé. In Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri, editors, Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing, pages 1-24, Springer, 1992.

The following publications are possibly variants of this publication:

An Overview of Transaction LogicAnthony J. Bonner, Michael Kifer. TCS, 133(2):205-265, 1994.

Tabling for transaction logicPaul Fodor, Michael Kifer. ppdp 2010: 199-208 [doi]

Concurrency and Communication in Transaction LogicAnthony J. Bonner, Michael Kifer. iclp 1996: 142-156

Transaction Logic: An Introduction (Abstract)Michael Kifer. SLP 1997: 47-48

Reasoning with Actions in Transaction LogicMartín Rezk, Michael Kifer. rr 2011: 201-216 [doi]

Applications of Transaction Logic to Knowledge RepresentationAnthony J. Bonner, Michael Kifer. ictl 1994: 67-81

Transaction Logic with Defaults and Argumentation TheoriesPaul Fodor, Michael Kifer. ICLP 2011: 162-174 [doi]

Results on Reasoning about Updates in Transaction LogicAnthony J. Bonner, Michael Kifer. Dagstuhl 1998: 166-196 [doi]

Transaction Logic ProgrammingAnthony J. Bonner, Michael Kifer. iclp 1993: 257-279

runs on WebDSL