Abstract | ||
---|---|---|
In this paper, we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper, we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case in which two or more actions execute concurrently, a particularly complex problem. © 2010 Wiley Periodicals, Inc. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1002/int.v25:4 | Int. J. Intell. Syst. |
Keywords | Field | DocType |
temporal database | Situation calculus,Ramification problem,Computer science,Temporal database,Artificial intelligence | Journal |
Volume | Issue | ISSN |
25 | 4 | 0884-8173 |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nikolaos Papadakis | 1 | 65 | 8.91 |
Dimitris Plexousakis | 2 | 2586 | 326.38 |
Grigoris Antoniou | 3 | 2401 | 190.28 |