Sciweavers

1072 search results - page 76 / 215
» Innovation as language action
Sort
View
ICPR
2010
IEEE
14 years 1 months ago
Learning Affordances for Categorizing Objects and Their Properties
In this paper, we demonstrate that simple interactions with objects in the environment leads to a manifestation of the perceptual properties of objects. This is achieved by derivi...
Nilgun Dag, Ilkay Atil, Sinan Kalkan, Erol Sahin
ATAL
2007
Springer
14 years 1 months ago
Joint conversation specification and compliance
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
Shamimabi Paurobally, Michael Wooldridge
ATAL
2008
Springer
13 years 11 months ago
If I were you: double appraisal in affective agents
We report the implementation and evaluation of a Simulation Theory (ST) approach to the Theory of Mind in intelligent graphical agents driven by an affective agent architecture FA...
Ruth Aylett, Sandy Louchart
ICAIL
2005
ACM
14 years 2 months ago
A study of accrual of arguments, with applications to evidential reasoning
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
Henry Prakken
ICCL
1992
IEEE
14 years 1 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg