13 search results - page 1 / 3 » Abduction in Labelled Deductive Systems - A Conceptual Abstr... |
ECSQARU
1991
Springer
13 years 9 months ago
1991
Springer
AMI
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
DLOG
2010
13 years 3 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
SIGIR
1996
ACM
13 years 9 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
WADT
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...