Skip to search formSkip to main contentSkip to account menu

Transaction logic

Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Active databaseArtificial intelligenceDatabaseDefeasible reasoning

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Planning with Transaction Logic
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent… 
2013
2013
Extending Transaction Logic with External Actions
We provide a complete formalization of External Transaction Logic (or ET R), an extension of Transaction Logic to reason and… 
2009
2009
Verification of Web Service Orchestration Based on Concurrent Transaction Logic
Web services solve the problem of inter-organization business integration and are under a distributed,dynamic,autonomic and… 
2008
2008
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic
Several approaches to semantic Web services, including OWLS, SWSF, and WSMO, have been proposed in the literature with the aim to… 
2008
2008
A Web Service Orchestration Model Based on Concurrent Transaction Logic
Web services solve the problem of inter-organization business integration and are under a distributed, dynamic, autonomic and… 
Highly Cited
2007
Highly Cited
2007
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have… 
Review
1996
Review
1996
Implementation and Performance of Transaction Logic in Prolog
Transaction Logic is a recently proposed logic which accounts for state changes in logic programs and databases. With this… 
1994
1994
Applications of Transaction Logic to Knowledge Representation
We present applications of the recently proposed Transaction Logic — an extension of classical logic that accounts in a clean and… 
1992
1992
transaction Logic: An (Early) Exposé
This paper is an informal account of Transaction Logic—a new logic recently introduced in [4]. Transaction Logic was devised to… 
1982
1982
A Horn Clause-like Logic for Specifying Concurrency
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)