2043 search results - page 139 / 409 » Reasoning About Security Models |
140
Voted
IJCAI
1989
15 years 6 months ago
1989
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
143
click to vote
DLOG
2008
15 years 7 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...
154
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
156
Voted
ECBS
2008
IEEE
15 years 7 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
184
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...