2291 search results - page 52 / 459 » Representational Reasoning and Verification |
ATAL
2007
Springer
14 years 25 days ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
IJCAI
1993
13 years 10 months ago
1993
Though arrangement knowledge is well suited for qualitative representations of spatial situations, if we only use this kind of knowledge, we cannot do interesting inferences about...
JAIR
2007
13 years 8 months ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
CCS
2006
ACM
14 years 17 days ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...