2649 search results - page 220 / 530 » Temporal Theories of Reasoning |
203
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
188
click to vote
AAAI
1997
15 years 8 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
197
click to vote
AIA
2007
15 years 8 months ago
2007
In multidisciplinary medical services (e.g. Intensive Care Units or Pain Management Centers), Case-Based Reasoning systems require good case representations. When multiple disorde...
266
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...
198
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...