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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2018
051019882018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper introduces TR (Transaction Logic with Partially Defined Actions)—an expressive formalism for reasoning about the… (More)
  • figure 2
  • figure 3
Is this relevant?
2010
2010
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
WC propose Concurrent Transaction Logic (C7X) as the language for specifying, analyzing, and scheduling of workflows. We show… (More)
  • figure 1
Is this relevant?
1998
1998
Transaction Logic was designed as a general logic of state change for deductive databases and logic programs. It has a model… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In previous work, we developed Transaction Logic (or T R), which deals with state changes in deductive databases. T R provides a… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
1994
Review
1994
This paper presents an overview of Transaction Logic|a new formalism recently introduced in 11, 12] and designed to deal with the… (More)
Is this relevant?
1994
1994
We present applications of the recently proposed Transaction Logic|an extension of classical logic that accounts in a clean and… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
An extension of predicate logic, called Transaction Logic, is proposed, which accounts in a clean and declarative fashion for the… (More)
Is this relevant?
1993
1993
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic… (More)
Is this relevant?
1992
1992
This paper is an informal account of Transaction Logic|a new logic recently introduced in 4]. Transaction Logic was devised to… (More)
Is this relevant?