The ramification problem in temporal databases: Concurrent execution

DOI10.1002/int.20408zbMath1209.68194OpenAlexW4247316096WikidataQ58198095 ScholiaQ58198095MaRDI QIDQ3563646

Nick Papadakis, Dimitris Plexousakis, Grigoris Antoniou

Publication date: 1 June 2010

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.20408

zbMATH Keywords

situation calculus

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Inductive situation calculus
• Reasoning about action. I: A possible worlds approach
• Reasoning about actions: steady versus stabilizing state constraints
• Ramification and causality
• A simple declarative language for describing narratives with actions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The ramification problem in temporal databases: Concurrent execution