912 search results - page 120 / 183 » Abstract Saturation-Based Inference |
DALT
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
DIS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
106
click to vote
ECCV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
FM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
CRIWG
2007
15 years 1 months ago
2007
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...