398 citations
- Dalle Molle Institute for Artificial Intelligence ResearchCH4 papers
- The University of MelbourneAU3 papers
- Australian National UniversityAU2 papers
- Chinese University of Hong KongHK2 papers
- UNSW SydneyAU2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- Graz University of TechnologyAT1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
- Laboratoire d’Informatique Fondamentale de MarseilleFR1 paper
- Leiden UniversityNL1 paper
9 papers · 1 filter
Tests of Machine Intelligence
Shane Legg, Marcus Hutter
Although the definition and measurement of intelligence is clearly of fundamental importance to the field of artificial intelligence, no general survey of definitions and tests of…
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Pietro Abate, Rajeev Goré, Florian Widmann
We present a tableau-based algorithm for deciding satisfiability for propositional dynamic logic (PDL) which builds a finite rooted tree with ancestor loops and passes extra inform…
Graph rigidity, Cyclic Belief Propagation and Point Pattern Matching
Julian J. McAuley, Tiberio S. Caetano, Marconi S. Barbosa
A recent paper \cite{CaeCaeSchBar06} proposed a provably optimal, polynomial time method for performing near-isometric point pattern matching by means of exact probabilistic infere…
Incremental Satisfiability and Implication for UTVPI Constraints
Andreas Schutt, Peter J. Stuckey
Unit two-variable-per-inequality (UTVPI) constraints form one of the largest class of integer constraints which are polynomial time solvable (unless P=NP). There is considerable in…
On Universal Prediction and Bayesian Confirmation
Marcus Hutter
The Bayesian framework is a well-studied and successful framework for inductive reasoning, which includes hypothesis testing and confirmation, parameter estimation, sequence predic…
A Collection of Definitions of Intelligence
Shane Legg, Marcus Hutter
This paper is a survey of a large number of informal definitions of ``intelligence'' that the authors have collected over the years. Naturally, compiling a complete list would be i…