4211 search results - page 78 / 843 » A formal approach to MASQ |
COMMA
2008
14 years 11 months ago
2008
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision whic...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
WETICE
2005
IEEE
15 years 3 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...