Sciweavers

10568 search results - page 94 / 2114
» Computer Intelligence and Formalization
Sort
View
AAAI
1996
14 years 11 months ago
Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search
The ideas of dependency directed backtracking (DDB) and explanation based learning (EBL) have developed independently in constraint satisfaction, planning and problem solving comm...
Subbarao Kambhampati
COMPUTER
2002
46views more  COMPUTER 2002»
14 years 9 months ago
Toward Behavioral Intelligence in the Semantic Web
Joanna Bryson, David L. Martin, Sheila A. McIlrait...
ECAI
2008
Springer
14 years 11 months ago
QuestSemantics - Intelligent Search and Retrieval of Business Knowledge
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tam...
AI50
2006
15 years 1 months ago
The Physical Symbol System Hypothesis: Status and Prospects
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...
Nils J. Nilsson
FAABS
2004
Springer
15 years 3 months ago
A Formal Analysis of Potential Energy in a Multi-agent System
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
William M. Spears, Diana F. Spears, Rodney Heil