3032 search results - page 161 / 607 » Description Logic Rules |
TIME
2005
IEEE
14 years 4 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
ECOWS
2007
Springer
14 years 5 months ago
2007
Springer
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
VLDB
1990
ACM
14 years 2 months ago
1990
ACM
In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain c...
CIE
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
IDA
2005
Springer
14 years 4 months ago
2005
Springer
—A simple yet effective unsupervised classification rule to discriminate between normal and abnormal data is based on accepting test objects whose nearest neighbors’ distances ...