1750 search results - page 12 / 350 » Abduction in Classification Tasks |
116
Voted
ACL
2011
14 years 8 months ago
2011
169
click to vote
KRDB
1996
15 years 6 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
137
Voted
KR
1998
Springer
15 years 9 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
136
Voted
IJCAI
2001
15 years 6 months ago
2001
We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ...
146
Voted
AAAI
1990
15 years 6 months ago
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...