Title | ||
---|---|---|
The ramification problem in temporal databases: an approach with conflicting constraints |
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 where there are conflicting effects of an action, a particularly complex problem. Also we present a tool which implements the proposed solution. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/s10844-010-0143-2 | J. Intell. Inf. Syst. |
Keywords | Field | DocType |
Intelligence databases,Temporal databases,Active and dynamic systems,Knowledge representation and reasoning | Data mining,Knowledge representation and reasoning,Situation calculus,Ramification problem,Computer science,Temporal database,Artificial intelligence | Journal |
Volume | Issue | ISSN |
38 | 1 | 0925-9902 |
Citations | PageRank | References |
1 | 0.37 | 23 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nikos Papadakis | 1 | 41 | 8.48 |
Dimitris Plexousakis | 2 | 2586 | 326.38 |
Myron Papadakis | 3 | 9 | 1.54 |
Harris Manifavas | 4 | 1 | 0.37 |