711 search results - page 48 / 143 » Knowledge Representation and Reasoning in (Controlled) Natur... |
UM
2001
Springer
14 years 1 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
AAAI
2008
13 years 10 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
TABLEAUX
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
ER
2007
Springer
14 years 3 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
COMPSAC
2009
IEEE
13 years 10 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...