Michael Kifer
Major contributor to
transaction logic
and
Flora
.
Homepage
Notes that link to this note
Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge)
Coherent Knowledge
Transaction Logic