2920 search results - page 169 / 584 » Finite information logic |
170
click to vote
KES
1999
Springer
15 years 10 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
178
click to vote
CLEF
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. LogAnswer is a logic-oriented question answering system developed by the AI research group at the University of Koblenz-Landau and by the IICS at the University of Hagen....
147
click to vote
AAAI
1997
15 years 8 months ago
1997
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...
138
click to vote
BSL
2010
15 years 4 months ago
2010
This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses ...
179
click to vote
AI
2004
Springer
15 years 12 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...