Sciweavers

7988 search results - page 184 / 1598
» A Useful Undecidable Theory
Sort
View
KR
2010
Springer
14 years 3 months ago
I Don't Want to Think About it Now: Decision Theory with Costly Computation
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
Joseph Y. Halpern
ECAIW
1994
Springer
14 years 2 months ago
Agent Theories, Architectures, and Languages: A Survey
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
Michael Wooldridge, Nicholas R. Jennings
FROCOS
2007
Springer
14 years 2 months ago
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
Roberto Sebastiani
LREC
2010
238views Education» more  LREC 2010»
14 years 2 days ago
Context Fusion: The Role of Discourse Structure and Centering Theory
Questions are not asked in isolation. Their context, viz. the preceding interactions, might be of help to understand them and retrieve the correct answer. Previous research in Int...
Raffaella Bernardi, Manuel Kirschner, Zorana Ratko...
CORR
2010
Springer
149views Education» more  CORR 2010»
13 years 10 months ago
A probabilistic and RIPless theory of compressed sensing
This paper introduces a simple and very general theory of compressive sensing. In this theory, the sensing mechanism simply selects sensing vectors independently at random from a ...
Emmanuel J. Candès, Yaniv Plan