1750 search results - page 12 / 350 » Abduction in Classification Tasks |
ACL
2011
14 years 2 months ago
2011
113
click to vote
KRDB
1996
15 years 19 days 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...
KR
1998
Springer
15 years 3 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...
IJCAI
2001
15 years 21 days 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 ...
AAAI
1990
15 years 14 days 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...