9145 search results - page 11 / 1829 » Description Logic Systems |
103
Voted
CADE
1998
Springer
15 years 4 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
109
Voted
DLOG
2010
14 years 10 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
CADE
2002
Springer
16 years 21 days ago
2002
Springer
102
click to vote
CADE
2008
Springer
15 years 2 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
143
Voted
RR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...