950 search results - page 17 / 190 » Pin-pointing concept descriptions |
DLOG
2007
15 years 4 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
IJCAI
2007
15 years 3 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
ROBOCUP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
125
click to vote
ENTCS
2008
15 years 1 months ago
2008
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
89
Voted
ECAL
2001
Springer
15 years 6 months ago
2001
Springer
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...