75 search results - page 11 / 15 » Partial and Informative Common Subsumers in Description Logi... |
WWW
2003
ACM
14 years 8 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
AGP
1994
IEEE
13 years 11 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
KR
2004
Springer
14 years 24 days ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
FUZZIEEE
2007
IEEE
14 years 1 months ago
2007
IEEE
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. This has...