3793 search results - page 167 / 759 » Expressive Description Logics |
171
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
166
click to vote
DSVIS
2001
Springer
15 years 9 months ago
2001
Springer
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
135
Voted
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
140
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
125
Voted
BIOTECHNO
2008
IEEE
15 years 11 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...