Simulation of advanced transaction models using GOLOG

DOI10.1007/3-540-46093-4_19MaRDI QIDQ5714266zbMATH OpenFDO

Authors Iluju Kiringa

Publication date 28 December 2005

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2397/23970318.htm

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• An overview of transaction logic
• Applications of transaction logic to knowledge representation
• Transaction logic with external actions
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Flexible transaction dependencies in database systems

Cited in

(4)

• An overview of transaction logic
• Distinguishing between communicating transactions
• Transaction logic with external actions
• Non-Markovian control in the Situation Calculus

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Simulation of advanced transaction models using GOLOG

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