605 search results - page 102 / 121 » Dealing with logical omniscience |
192
click to vote
DEBS
2008
ACM
15 years 7 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
164
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
157
click to vote
AAAI
2006
15 years 7 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
127
click to vote
WSC
2004
15 years 7 months ago
2004
Developing a sequential simulation program is not an easy task. Developing a distributed simulation program is harder than a sequential one because it is necessary to deal with ma...
149
click to vote
PSSS
2003
15 years 7 months ago
2003
Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...