2611 search results - page 494 / 523 » A Logic for Concepts and Similarity |
97
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
118
Voted
DLOG
2006
15 years 2 months ago
2006
Highly optimized reasoning support for Description Logics (DLs) has been developed during the past years. This paper presents our efforts to develop a reasoner suitable for mobile ...
98
Voted
FLAIRS
2006
15 years 2 months ago
2006
An accurate and up-to-date diagnostic model is critical for economic aircraft engine operation. However, for many commercial airline fleets, monitoring and diagnosing engine fault...
103
Voted
FOIS
2006
15 years 2 months ago
2006
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin wi...
108
click to vote
AI
2008
Springer
15 years 26 days ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...