2649 search results - page 62 / 530 » Temporal Theories of Reasoning |
DLOG
2003
15 years 1 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
LPAR
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
114
click to vote
COLING
2000
15 years 1 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
199
click to vote
ICLP
2009
Springer
16 years 15 days ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
TIME
1997
IEEE
15 years 4 months ago
1997
IEEE
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...