3358 search results - page 24 / 672 » Dynamic Description Logics |
163
click to vote
RWEB
2009
Springer
16 years 15 days ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
152
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
186
click to vote
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
151
click to vote
ICTAI
2008
IEEE
16 years 11 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
196
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...