Sciweavers

2611 search results - page 115 / 523
» A Logic for Concepts and Similarity
Sort
View
AUSAI
1999
Springer
15 years 6 months ago
Computing Least Common Subsumers in Expressive Description Logics
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
Thomas Mantay
VAMOS
2010
Springer
15 years 3 months ago
A Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
Patrizia Asirelli, Maurice H. ter Beek, Stefania G...
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 8 months ago
Temporal Probabilistic Logic Programs: State and Revision
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...
Zoran Majkic
CAISE
2006
Springer
15 years 5 months ago
The Meaning of an Image in Content-Based Image Retrieval
One of the major problems in CBIR is the so-called `semantic gap': the difference between low-level features, extracted from images, and the high-level `information need'...
Walter ten Brinke, David McG. Squire, John Bigelow
LPAR
2007
Springer
15 years 7 months ago
Preferential Description Logics
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...