Sciweavers

1925 search results - page 194 / 385
» Theory research at Google
Sort
View
ARGMAS
2008
Springer
15 years 8 months ago
Argumentation and Artifact for Dialogue Support
Intelligent and autonomous software agents may engage in dialogue and argument with one another, and much recent research has considered protocols, architectures and frameworks for...
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter ...
CANDC
2005
ACM
15 years 8 months ago
Understanding design as a social creative process
The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
Andy Warr, Eamonn O'Neill
CSR
2008
Springer
15 years 8 months ago
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Razborov and Rudich identified an imposing barrier that stands in the way of progress toward the goal of proving superpolynomial lower bounds on circuit size. Their work on "n...
Eric Allender
AAAI
2010
15 years 8 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
AAAI
2010
15 years 8 months ago
Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination
As autonomous agents proliferate in the real world, both in software and robotic settings, they will increasingly need to band together for cooperative activities with previously ...
Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey ...