Applications of transaction logic to knowledge representation

DOI10.1007/BFB0013981MaRDI QIDQ4518415zbMATH OpenFDO

Authors Anthony J. Bonner, Michael Kifer

Publication date 28 November 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0013981

Mathematics Subject Classification ID

Logic in computer science (03B70) Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• An overview of transaction logic
• scientific article; zbMATH DE number 1182730
• Logic programming and knowledge representation
• Results on reasoning about updates in transaction logic
• Representing action and change by logic programs

Cited in

(14)

• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• An overview of transaction logic
• A first step towards implementing dynamic algebraic dependences
• Relational transducers for electronic commerce
• Planning with regression analysis in transaction logic
• A rule based knowledge transaction model for mobile environments
• Transaction logic with defaults and argumentation theories
• Transaction logic with external actions
• Transition Logic Revisited
• Results on reasoning about updates in transaction logic
• Exploiting abstraction relationships' semantics for transaction synchronization in KBMSs
• Combining transactions and automatic repairs
• scientific article; zbMATH DE number 2241924 (Why is no real title available?)
• Regular database update logics

This page was built for publication: Applications of transaction logic to knowledge representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518415)