3573 search results - page 158 / 715 » Reasoning about Codata |
132
Voted
PODS
2006
ACM
16 years 3 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
194
Voted
AI
2008
Springer
15 years 3 months ago
2008
Springer
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web. Ontologies play a central role...
122
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
110
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
122
Voted
DLOG
2008
15 years 5 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...