1121 search results - page 38 / 225 » Logics of Complementarity in Information Systems |
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the participation of the University of Alicante in the new CL-SR Track at CLEF conference. In this track we introduce a set of features in the topics processi...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
KES
1999
Springer
14 years 1 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...
JCDL
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...