2611 search results - page 110 / 523 » A Logic for Concepts and Similarity |
93
Voted
CLEF
2007
Springer
15 years 8 months ago
2007
Springer
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
130
click to vote
JUCS
2006
15 years 1 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
148
Voted
ACS
2002
15 years 1 months ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
147
Voted
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
Methods for computing the least common subsumer (lcs) are usually restricted to rather inexpressive Description Logics (DLs) whereas existing knowledge bases are written in very e...
101
click to vote
MKM
2004
Springer
15 years 7 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...