Sciweavers

1588 search results - page 46 / 318
» The Intelligence Within
Sort
View
CP
1999
Springer
14 years 3 months ago
The Goldilocks Problem
A lot of work in constraint satisfaction has been focused on finding solutions to difficult problems. Many real life problems however, while not extremely complicated, have a huge...
Tudor Hulubei, Eugene C. Freuder
EPIA
1999
Springer
14 years 3 months ago
Critical Agents Supporting Interactive Theorem Proving
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
Christoph Benzmüller, Volker Sorge
ISMIS
1997
Springer
14 years 3 months ago
Interval Approaches for Uncertain Reasoning
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...
Yiyu Yao, S. K. Michael Wong
ICANN
2009
Springer
14 years 5 months ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...
PRIMA
2009
Springer
14 years 5 months ago
An Adaptive Human-Aware Software Agent Supporting Attention-Demanding Tasks
This paper presents a human-aware software agent to support a human performing a task that demands substantial amounts of attention. The agent obtains human awareness in an adaptiv...
Tibor Bosse, Zulfiqar A. Memon, Jan Treur, Muhamma...