Transaction Logic: Unifying Declarative and Procedural Knowledge (Extended Abstract)

Anthony J. Bonner & Michael Kifer

This paper presents AI applications of the recently proposed Transaction Logic. Transaction Logic is a novel formalism that accounts in a clean and declarative fashion for the phenomenon of updating first-order knowledge bases, most notably, databases and logic programs. Transaction Logic has a natural model theory and a sound-and-complete proof theory.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.