7075 search results - page 305 / 1415 » Models and heterogeneous reasoning |
147
click to vote
AAAI
2004
15 years 8 months ago
2004
Pearl's probabilistic causal model has been used in many domains to reason about causality. Pearl's treatment of actions is very different from the way actions are repre...
249
click to vote
IEEESP
2011
14 years 10 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
182
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
138
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces an agent-based support model for leadership, which can be used by an ambient system to support a leader in the development of his team member(s). Using model...
152
click to vote
ICLP
1990
Springer
15 years 10 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...