7075 search results - page 378 / 1415 » Models and heterogeneous reasoning |
218
click to vote
KES
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
191
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
346
click to vote
LPNMR
2011
Springer
14 years 9 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
178
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present a method for representing and reasoning with uncertainty in RDF(S) and OWL ontologies based on Bayesian networks. Categories and Subject Descriptors: I.2.4 Artificial I...
140
Voted
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for ...