3244 search results - page 136 / 649 » Extensions to Description Logics |
192
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
155
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
191
click to vote
APIN
2000
15 years 6 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
197
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
176
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...