Sciweavers

IJIS
2010
110views more  IJIS 2010»
13 years 8 months ago
The ramification problem in temporal databases: Concurrent execution
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 ...
Nikos Papadakis, Dimitris Plexousakis, Grigoris An...
AI
1998
Springer
13 years 11 months ago
Reasoning About Actions: Steady Versus Stabilizing State Constraints
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...
Michael Thielscher
LOGCOM
2006
116views more  LOGCOM 2006»
13 years 11 months ago
A Syntax-based Approach to Reasoning about Action and Belief Update
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
DKE
2006
93views more  DKE 2006»
13 years 11 months ago
The ramification problem in temporal databases: Changing beliefs about the past
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 ...
Nikos Papadakis, Grigoris Antoniou, Dimitris Plexo...