351 search results - page 48 / 71 » Completing Description Logic Knowledge Bases Using Formal Co... |
108
click to vote
EXACT
2008
15 years 3 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...
114
click to vote
IJAR
2007
15 years 1 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
120
click to vote
MONET
2007
15 years 25 days ago
2007
— This paper proposes a service discovery protocol for sensor networks that is specifically tailored for use in humancentered pervasive environments. It uses the high-level conc...
123
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
141
click to vote
LPNMR
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...