2381 search results - page 13 / 477 » On Ordering Descriptions in a Description Logic |
103
click to vote
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
139
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
CADE
2001
Springer
16 years 6 hour ago
2001
Springer
DLOG
2007
15 years 2 months ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...