Sciweavers

1588 search results - page 46 / 318
» The Intelligence Within
Sort
View
CP
1999
Springer
15 years 9 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
15 years 9 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
15 years 9 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
15 years 12 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
15 years 12 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...