Запросы о возможных будущих
task
ID: queriesaboutpossiblefutures
Related Papers
A Modal Temporal Logic for Reasoning about Change
We examine several behaviors for query systems that become possible with the ability to represent and reason about change in data bases: queries about possible futures, queries about alternative histories, …...