478 search results - page 66 / 96 » Formal Modelling of Cognitive Interpretation |
103
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
137
Voted
VEE
2006
ACM
15 years 9 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
144
Voted
FLAIRS
2008
15 years 5 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
111
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
150
Voted
TAP
2010
Springer
15 years 1 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...