3793 search results - page 458 / 759 » Expressive Description Logics |
160
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
174
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
164
click to vote
EXACT
2008
15 years 9 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
186
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
204
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...