Sciweavers

AI
2008
Springer
13 years 10 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
AI
2008
Springer
13 years 11 months ago
State-set branching: Leveraging BDDs for heuristic search
Rune M. Jensen, Manuela M. Veloso, Randal E. Bryan...
AI
2008
Springer
14 years 8 hour ago
Solving quantified constraint satisfaction problems
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
AI
2008
Springer
14 years 8 hour ago
Anytime search in dynamic graphs
Maxim Likhachev, Dave Ferguson, Geoffrey J. Gordon...
AI
2008
Springer
14 years 8 hour ago
The well-designed young mathematician
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
Aaron Sloman
AI
2008
Springer
14 years 8 hour ago
Generalised arc consistency for the AllDifferent constraint: An empirical survey
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
Ian P. Gent, Ian Miguel, Peter Nightingale
AI
2008
Springer
14 years 8 hour ago
The well-designed child
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
John McCarthy
AI
2008
Springer
14 years 8 hour ago
Fault tolerant mechanism design
We introduce the notion of fault tolerant mechanism design, which extends the standard game theoretic framework of mechanism design to allow for uncertainty about execution. Speci...
Ryan Porter, Amir Ronen, Yoav Shoham, Moshe Tennen...
AI
2008
Springer
14 years 8 hour ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar