
Proceedings
The electronic proceedings for ISAIM 2008 are now available online
(see below) and also as a ZIP file
(18MB, last updated at 2:00 AM EST). To make use of the ZIP file containing the proceedings, you should do the following:
 Download the ZIP file of the proceedings.
 Unzip the downloaded file.
 Open the file PROCEEDINGS/index.html in a web browser.
 Select the "Proceedings" link in the left hand navigation bar, and you should see a page containing links to all the papers in the proceedings.
Note that papers accepted at ISAIM 2008 are not published in formal
proceedings and not subject to copyright restrictions. All authors
retain the copyright to their papers.
List of Papers
Below, we provide the online proceedings for ISAIM 2008. The proceedings include links to papers accepted to the main technical program, papers by the Keynote Speakers, and papers by the invited speakers of the Special Sessions.
Papers accepted to the main technical program
 Estimating the Number of Local Maxima for kSAT Instances
Andreas Albrecht,
Peter Lane,
Kathleen Steinhoefel
 Hard SAT and CSP instances with Expander Graphs
Carlos Ansotegui,
Ramon Bejar,
Cesar Fernandez,
Carles Mateu
 More Flexible Term Schematisations via Extended Primal Grammars
Vincent Aravantinos,
Ricardo Caferra,
Nicolas Peltier
 Formalising InteractionSituated Semantic Alignment: The Communication Product
Manuel Atencia,
Marco Schorlemmer
 Scalable Action Respecting Embedding
Michael Biggs,
Ali Ghodsi,
Dana Wilkinson,
Michael Bowling
 A Lazy Approach to Online Learning with Constraints
Kveton Branislav,
Jia Yuan Yu,
Georgios Theocharous,
Shie Mannor
 ContinuousState POMDPs with Hybrid Dynamics
Emma Brunskill,
Leslie Kaelbling,
Tomas LozanoPerez,
Nicholas Roy
 A Connection between CantorBendixson Derivatives and the WellFounded Semantics of Logic
Programs
Douglas Cenzer,
Jeffrey Remmel
 An Interpretation of Consistent Belief Functions in Terms of Simplicial Complexes
Fabio Cuzzolin
 Boolean and Matroidal Independence in Uncertainty Theory
Fabio Cuzzolin
 Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification, and
Preprocessing
Bistra Dilkina,
Carla Gomes,
Ashish Sabharwal
 Paired Sampling in DensitySensitive Active Learning
Pinar Donmez,
Jaime Carbonell
 Reinforcement Learning with Limited Reinforcement: Using Bayes Risk for Active Learning in
POMDPs
Finale Doshi,
Joelle Pineau,
Nicholas Roy
 BestFirst Search with Maximum Edge Cost Functions
P. Alex Dow,
Richard Korf
 Sampling for Approximate Inference in Continuous Time Bayesian Networks
Yu Fan,
Christian Shelton
 A Fast Way to Produce Optimal FixedDepth Decision Trees
Alireza Farhangfar,
Russell Greiner,
Martin Zinkevich
 Practical Methods for Exploiting Bounds on Change in the Margin
Andrew Guillory,
Jeff Bilmes
 Planning Aims for a Network of Horizontal and Overhead Sensors
Erik Halvorson,
Ronald Parr
 Rare Class Discovery Based on Active Learning
Jingrui He,
Jaime Carbonell
 Minimal Residual Approaches for Policy Evaluation in Large Sparse Markov Chains
Yao Hengshuai,
Liu Zhiqiang
 Classifier Utility Visualization by DistancePreserving Projection of High Dimensional
Performance D
Nathalie Japkowicz,
Pritika Sanghi,
Peter Tischer
 Solving Structured ContinuousTime Markov Decision Processes
Kin Fai Kan,
Christian Shelton
 A Bayesian Approach to Cluster Validation
Hoyt Koepke,
Bertrand Clarke
 Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
Lukas Kroc,
Bart Selman,
Ashish Sabharwal
 Combinatorial problems for Horn clauses
Marina Langlois,
Dhruv Mubayi,
Robert Sloan,
Gyorgy Turan
 Efficient ValueFunction Approximation via Online Linear Regression
Lihong Li,
Michael Littman
 Approximate Solutions of Interactive POMDPs Using Point Based Value Iteration
Dennis Perez,
Prashant Doshi
 Orderbased Discriminative Structure Learning for Bayesian Network Classifiers
Franz Pernkopf,
Jeff Bilmes
 A Successive Approximation Algorithm for Coordination Problems
Marek Petrik,
Shlomo Zilbertstein
 Approximation Techniques for SpaceEfficient Compilation in Abductive Inference
Gregory Provan
 Extending the Bellman equation for MDPs to continuous actions and cont. time in the discounted
case
Emmanuel Rachelson,
Frédérick Garcia,
Patrick Fabiani
 Predictive LinearGaussian Models of Dynamical Systems with VectorValued Actions and
Observations
Matthew Rudary,
Satinder Singh
 On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
Emad Saad
 Lifting Techniques for Weighted Constraint Satisfaction Problems
T. K. Satish Kumar
 Probabilistic Sequential Diagnosis by Compilation
Sajjad Siddiqi,
Jinbo Huang
 Approximation Strategies for Routing in Stochastic Dynamic Networks
Tomas Singliar,
Milos Hauskrecht
 Using Abstraction for Generalized Planning
Siddharth Srivastava,
Neil Immerman,
Shlomo Zilbertstein
 Building Incomplete but Accurate Models
Erik Talvitie,
Britton Wolfe,
Satinder Singh
 Verifying RUP Proofs of Propositional Unsatisfiability
Allen Van Gelder
Papers of the Keynote Speakers
Papers of the Special Session on Logic in Artificial Intelligence

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truthvalues
H.A. Blair, D.W. Jakel, R.J. Irwin, A.J. Rivera

Default Logic Generalized and Simplified
Alex Bochman

Exploiting Conjunctive Queries in Description Logic Programs
Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni

Explicit Logics of Knowledge and Conservativity
Melvin Fitting

A NonPreferential Semantics of NonMonotonic Modal Logic
Michael Kaminski

From Hilbert's Program to a Logic Toolbox
Johann A. Makowsky

Integrating Answer Programming and Constraint Logic Programming
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang

Stable Models and Difference Logic
Ilkka Niemela

A Mathematician Looks at Answer Set Programming
Jeffrey B. Remmel

Complexity of First Order IDLogic
John S. Schlipf, Marc Denecker

SAT as a Programming Environment for Linear Algebra and Cryptanalysis
Marian Srebrny, Mateusz Srebrny, Lidia Stepien

Hyperequivalence of Programs and Operators
Miroslaw Truszczynski, Stefan Woltran
Papers of the Special Session on Computation and Social Choice
Papers of the Special Session on Effective Exploration in Active
Learning and Reinforcement Learning
