3793 search results - page 277 / 759 » Expressive Description Logics |
180
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
186
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
165
Voted
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
TCP-nets are an extension of CP-nets which allow the expression of conditional relative importance of pairs of variables. In this paper it is shown that a simple logic of condition...
174
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
157
click to vote
COGSCI
2006
15 years 6 months ago
2006
Comprehenders often need to go beyond conventional word senses to obtain an appropriate interpretation of an expression. We report an experiment examining the processing of standa...