10568 search results - page 27 / 2114 » Computer Intelligence and Formalization |
ICAART
2009
INSTICC
14 years 7 months ago
2009
INSTICC
AAAI
2007
14 years 12 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
AAAI
2007
14 years 12 months ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...
161
click to vote
TARK
2009
Springer
15 years 4 months ago
2009
Springer
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...