1256 search results - page 76 / 252 » Learning to Reason |
ECAI
1998
Springer
14 years 2 days ago
1998
Springer
: This paper describes a representation of the meanings of verbs based on the dynamics of interactions between two agents or objects. The representation treats interactions as havi...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
CHI
1999
ACM
1999
ACM
Emotional Interfaces for Interactive Aardvarks: Designing Affect into Social Interfaces for Children
14 years 4 days ago
Character-based social interfaces present a unique opportunity to integrate emotion into technology interactions. The present paper reports on the use of three emotional interacti...
ILP
2004
Springer
14 years 1 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
ECML
1993
Springer
13 years 12 months ago
1993
Springer
It is empirically known that most incremental learning systems are order dependent, i.e. provide results that depend on the particular order of the data presentation. This paper ai...