2308 search results - page 43 / 462 » Representing Symbolic Reasoning |
123
click to vote
CG
2005
Springer
15 years 5 months ago
2005
Springer
We describe a trainable, hand-drawn symbol recognizer based on a multi-layer recognition scheme. Symbols are internally represented as binary templates. An ensemble of four differ...
153
click to vote
ICCBR
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...
139
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
There is currently a growing interest in techniques for hiding parts of the signature of an ontology Kh that is being reused by another ontology Kv. Towards this goal, Cuenca Grau...
121
click to vote
SARA
2000
Springer
15 years 9 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
144
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...