Sciweavers

241 search results - page 13 / 49
» Four Paths to AI
Sort
View
DIGRA
2003
Springer
14 years 21 days ago
The appeal of cute monkeys
If we agree with Sega and Nintendo advertising and look at the selling numbers of the game Super Monkey Ball, it seems that its characters, MeeMee, GonGon, Baby and AiAi would hav...
Susana Pajares Tosca
AI
2007
Springer
13 years 7 months ago
Conservation principles and action schemes in the synthesis of geometric concepts
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
Luis Alberto Pineda
AI
2005
Springer
13 years 7 months ago
SCC-recursiveness: a general schema for argumentation semantics
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...
Pietro Baroni, Massimiliano Giacomin, Giovanni Gui...
AI
2011
Springer
13 years 2 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher
SOSP
2003
ACM
14 years 4 months ago
User-level internet path diagnosis
Diagnosing faults in the Internet is arduous and time-consuming, in part because the network is composed of diverse components spread across many administrative domains. We consid...
Ratul Mahajan, Neil T. Spring, David Wetherall, Th...