The IJCAI-05 Technical Programme will be held in the Edinburgh International Conference Centre.

Programme Chair: Leslie Pack Kaelbling

IJCAI-05 Proceedings Available Online [2005-08-01]

Tuesday 9:00 - 10:00

Babies and Bayes Nets: Causal Inference in Computers and Children
Invited Speaker: Alison Gopnik  [Pentland]
Session chair: Judea Pearl

Tuesday 10:30 - 12:30

Game Search  [Pentland]
Session chair: Toby Walsh

• Distinguished paper: Solving Checkers; J. Schaeffer, Y. Björnsson, N. Burch, A. Kishimoto, M. Müller, R. Lake, P. Lu, and S. Sutphen
• Game-Tree Search with Combinatorially Large Belief States; Austin Parker, Dana Nau, and V. S. Subrahmanian
• Efficient belief-state AND-OR search, with application to Kriegspiel; Stuart Russell and Jason Wolfe
• Why Minimax Works: An Alternative Explanation; Mitja Lustrek, Matjaz Gams, and Ivan Bratko

Relational Learning  [Sidlaw]
Session chair: Pedro Domingos

• Generative Modeling with Failure in PRISM; Taisuke Sato, Yoshitaka Kameya, and Neng-Fa Zhou
• View Learning for Statistical Relational Learning: With an Application to Mammography; Jesse Davis, Elizabeth Burnside, Inês Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, and Jude Shavlik
• A Simple-Transition Model for Relational Sequences; Alan Fern
• Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers; Aram Galstyan and Paul R. Cohen

Reasoning About Action 1  [Fintry]
Session chair: Shlomo Zilberstein

• Updating Action Domain Descriptions; Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko
• Semantics for a useful fragment of the situation calculus; Gerhard Lakemeyer and Hector J. Levesque
• Planning with Loops; Hector J. Levesque
• Representing Flexible Temporal Behaviors in the Situation Calculus; Alberto Finzi and Fiora Pirri

Satisfiability  [Tinto]
Session chair: Bart Selman

• DPLL with a Trace: From SAT to Knowledge Compilation; Jinbo Huang and Adnan Darwiche
• Three Truth Values for the SAT and MAX-SAT Problems; Frédéric Lardeux, Frédéric Saubion, and Jin-Kao Hao
• A Simple Model to Generate Hard Satisfiable Instances; Ke Xu, Frédéric Boussemart, Fred Hemery, and Christophe Lecoutre
• Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search; Joseph Culberson, Yong Gao, and Calin Anton

Discourse Modeling and Temporal Reasoning  [Moorfoot]
Session chair: Hwee Tou Ng

• Temporal Context Representation and Reasoning; Dan Moldovan, Christine Clark, and Sanda Harabagiu
• TimeML-Compliant Text Analysis for Temporal Reasoning; Branimir Boguraev and Rie Kubota Ando
• Viewing Referring Expression Generation as Search; Bernd Bohnet and Robert Dale
• Automatic Evaluation of Text Coherence: Models and Representations; Mirella Lapata and Regina Barzilay

Planning Under Uncertainty  [Kilsyth]
Session chair: Carlos Guestrin

• Probabilistic Reasoning for Plan Robustness; Steve R. Schaffer, Bradley J. Clement, and Steve A. Chien
• Planning with Continuous Resources in Stochastic Domains; Mausam, Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, and Eric A. Hansen
• Proactive Algorithms for Scheduling with Probabilistic Durations; J. Christopher Beck and Nic Wilson
• Conditional Planning in the Discrete Belief Space; Jussi Rintanen

Vision  [Harris]
Session chair: Enrique Sucar

• Combining Structural Descriptions and Image-based Representations for Image, Object, and Scene Recognition; Nicolas Do Huu, Williams Paquier, and Raja Chatila
• 2D Shape Classification and Retrieval; Graham McNeill and Sethu Vijayakumar
• Inferring Image Templates from Classification Decisions; Arnab Dhua and Florin Cutzu
• Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action Recognition; Bassam Khadhouri and Yiannis Demiris

User Interface and Modeling  [Carrick]
Session chair: Ingrid Zukerman

• Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding; Christine Alvarado and Randall Davis
• Clinical-Reasoning Skill Acquisition through Intelligent Group Tutoring; Siriwan Suebnukarn and Peter Haddawy
• A Live-User Evaluation of Collaborative Web Search; Barry Smyth, Evelyn Balfe, Oisin Boydell, Keith Bradley, Peter Briggs, Maurice Coyle, and Jill Freyne
• You Are Wrong! - Automatic Detection of Interaction Errors from Brain Waves; Pierre W. Ferrez and José del R. Millán

Reports from Co-Located Events 1  [Ochil]
Session chair: Alan Bundy

• International Conference on Artificial Intelligence in Education; Gord McCalla
• European Workshop on Natural Language Generation; Ehud Reiter
• International Conference on Uncertainty in AI; Faheim Bacchus
• International Workshop on Description Logics; Carsten Lutz
• Symposium on Abstraction, Reformulation and Approximation; Berthe Choueiry
• Workshop on Automated Reasoning; Jacques Fleuriot

Tuesday 14:00 - 15:00

Visual Tracking of Objects in Motion
Invited Speaker: Andrew Blake  [Pentland]
Session chair: David Hogg

Tuesday 15:30 - 17:30

Information Extraction  [Pentland]
Session chair: Andrew McCallum

• Distinguished paper: A Probabilistic Model of Redundancy in Information Extraction; Doug Downey, Oren Etzioni, and Stephen Soderland
• Shallow Semantics for Relation Extraction; Sanda Harabagiu, Cosmin Adrian Bejan, and Paul Morarescu
• Semantic annotation of unstructured and ungrammatical text; Matthew Michelson and Craig A. Knoblock
• Semantic Argument Classification Exploiting Argument Interdependence; Zheng Ping Jiang, Jia Li, and Hwee Tou Ng

Learning and Knowledge  [Sidlaw]
Session chair: Lorenza Saitta

• Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery; Martin Atzmueller, Frank Puppe, and Hans-Peter Buscher
• Training without data: Knowledge Insertion into RBF Neural Networks; Ken McGarry and Stefan Wermter
• A flexible and robust similarity measure based on contextual probability; Hui Wang and Werner Dubitzky
• Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology; Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, and Isabel Rojas

Reasoning About Action 2  [Fintry]
Session chair: Michael Thielscher

• Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions; Yongmei Liu and Hector J. Levesque
• Goal Change; Steven Shapiro, Yves Lespérance, and Hector J. Levesque
• From knowledge-based programs to graded belief-based programs, part II: off-line reasoning; Noël Laverny and Jérôme Lang
• Iterated Belief Change: A Transition System Approach; Aaron Hunter and James P. Delgrande

Local Search  [Tinto]
Session chair: Bart Selman

• Efficient Stochastic Local Search for MPE Solving; Frank Hutter, Holger H. Hoos, and Thomas Stützle
• The COMPSET Algorithm for Subset Selection; Yaniv Hamo and Shaul Markovitch
• Applying Local Search to Disjunctive Temporal Problems; Michael D. Moffitt and Martha E. Pollack

Quantified CSP  [Moorfoot]
Session chair: Adnan Darwiche

• The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions; Georg Gottlob, Gianluigi Greco, and Francesco Scarcello
• QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems; Ian P. Gent, Peter Nightingale, and Kostas Stergiou
• Extracting Certificates from Quantified Boolean Formulas; Marco Benedetti
• A Model for Generating Random Quantified Boolean Formulas; Hubie Chen and Yannet Interian

Markov Decision Processes  [Kilsyth]
Session chair: Jeff Rosenschein

• Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors; Dmitri Dolgov and Edmund Durfee
• Bounded Policy Iteration for Decentralized POMDPs; Daniel S. Bernstein, Eric A. Hansen, and Shlomo Zilberstein
• Solving POMDPs with Continuous or Large Discrete Observation Spaces; Jesse Hoey and Pascal Poupart
• Algebraic Markov Decision Processes; Patrice Perny, Olivier Spanjaard, and Paul Weng

Robot Perception and Learning  [Harris]
Session chair: Raja Chatila

• Maintaining Coherent Perceptual Information Using Anchoring; Amy Loutfi, Silvia Coradeschi, and Alessandro Saffiotti
• Relational Object Maps for Mobile Robots; Benson Limketkai, Lin Liao, and Dieter Fox
• Learning Forward Models for Robots; Anthony Dearden and Yiannis Demiris
• Learning Partially Observable Deterministic Action Models; Eyal Amir

Bayesian and Theoretical Learning  [Carrick]
Session chair: Dan Roth

• Exploiting Informative Priors for Bayesian Classification and Regression Trees; Nicos Angelopoulos and James Cussens
• Generalization Error of Linear Neural Networks in an Empirical Bayes Approach; Shinichi Nakajima and Sumio Watanabe
• Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification; Vu Ha and Tariq Samad
• Phase Transitions within Grammatical Inference; Nicolas Pernot, Antoine Cornuéjols, and Michèle Sebag

Tuesday 17:30 - 19:00

Poster Session

 

Wednesday 9:00 - 10:00

Understanding Molecular Regulatory Mechanisms
Invited Speaker: Nir Friedman  [Pentland]
Session chair: Craig Boutilier

Wednesday 10:30 - 12:30

Logic and Probability  [Pentland]
Session chair: David Poole

• Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic; Salem Benferhat and Henri Prade
• Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic; Riccardo Rosati and Georg Gottlob
• Lifted First-Order Probabilistic Inference; Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth
• BLOG: Probabilistic Models with Unknown Objects; Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, and Andrey Kolobov

Reinforcement learning  [Sidlaw]
Session chair: Ronen Brafman

• Reinforcement Learning in POMDPs Without Resets; Eyal Even-Dar, Sham M. Kakade, and Yishay Mansour
• Concurrent Hierarchical Reinforcement Learning; Bhaskara Marthi, Stuart Russell, David Latham, and Carlos Guestrin
• Learning against opponents with bounded memory; Rob Powers and Yoav Shoham
• Two-Sided Bandits and the Dating Market; Sanmay Das and Emir Kamenica

Search  [Fintry]
Session chair: Makoto Yokoo

• Limited Discrepancy Beam Search; David Furcy and Sven Koenig
• Decentralized Search in Networks Using Homophily and Degree Disparity; Özgür Simsek and David Jensen
• AND/OR Branch-and-Bound for Graphical Models; Radu Marinescu and Rina Dechter

Description Logic  [Tinto]
Session chair: Peter Patel-Schneider

• Pushing the EL Envelope; Franz Baader, Sebastian Brandt, and Carsten Lutz
• On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics; David Toman and Grant Weddell
• Ordering Heuristics for Description Logic Reasoning; Dmitry Tsarkov and Ian Horrocks
• A Formal Investigation of Mapping Language for Terminological Knowledge; Luciano Serafini, Heiner Stuckenschmidt, and Holger Wache

Learning for Parsing  [Moorfoot]
Session chair: Mirela Lapata

• Learning and Inference over Constrained Output; Vasin Punyakanok, Dan Roth, Wen-tau Yih, and Dav Zimak
• A Two-Stage Method for Active Learning of Statistical Grammars; Markus Becker and Miles Osborne
• Redundancy-free Island Parsing of Word Graphs; Bernd Kiefer
• Theory of Alignment Generators and Applications to Statistical Machine Translation; Raghavendra Udupa U. and Hemanta K. Maji

Structure in CSPs  [Kilsyth]
Session chair: Pedro Meseguer

• A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition; David Cohen, Peter Jeavons, and Marc Gyssens
• Breaking symmetries in all different problems; Jean-François Puget
• Structural Symmetry Breaking; Meinolf Sellmann and Pascal Van Hentenryck

Swarm Robotics  [Harris]
Session chair: Raja Chatila

• Collective AI: context awareness via communication; S. Kornienko, O. Kornienko, and P. Levi
• Building Patterned Structures with Robot Swarms; Justin Werfel, Yaneer Bar-Yam, and Radhika Nagpal
• Efficient Distributed "Hormone" Graph Gradients; Esben Hallundbæk Østergaard

Knowledge Engineering and Applications  [Carrick]
Session chair: Alankar Karol

• Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach; Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, and Dominique Schneider
• Supervaluation Semantics for an Inland Water Feature Ontology; Paulo Santos, Brandon Bennett, and Georgios Sakellariou
• Cohesion, coupling and the meta-theory of actions; Andreas Herzig and Ivan Varzinczak
• Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains; Laura S. Mastella, Mara Abel, Luís C. Lamb, and Luiz F. De Ros

Reports from Co-Located Events and ECCAI Award  [Ochil]
Session chair: Shlomo Zilberstein

• ECCAI Dissertation Award Talk: Symmetry Breaking Ordering Constraints; Zeynep Kiziltan
• Answer Set Programming: Advances in Theory and Implementation Workshop; Vladimir Lifschitz
• AI in Medicine Europe; Jim Hunter and Silvia Miksch
• International Workshop on Adaptive Multimedia Retrieval; Joemon Jose, Marcin Detyniecki and Andreas Nuernberger
• Trading Agent Competition; Michael Wellman

Wednesday 14:00 - 15:00

The Quest for Efficient Probabilistic Inference
Invited Speaker: Adnan Darwiche  [Pentland]
Session chair: Hector Geffner

Wednesday 15:30 - 17:30

Constraint Programming  [Pentland]
Session chair: Eugene Freuder

• Propagating Logical Combinations of Constraints; Fahiem Bacchus and Toby Walsh
• The Range and Roots Constraints: Specifying Counting and Occurrence Problems; Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, and Toby Walsh
• The Rules of Constraint Modelling; Alan M. Frisch, Chris Jefferson, Bernadette Martínez-Hernández and Ian Miguel
• Bin-Completion Algorithms for Multicontainer Packing and Covering Problems; Alex S. Fukunaga and Richard E. Korf

Spatio-Temporal Learning  [Sidlaw]
Session chair: Peter Stone

• Location-Based Activity Recognition using Relational Markov Networks; Lin Liao, Dieter Fox, and Henry Kautz
• A Hybrid Discriminative/Generative Approach for Modeling Human Activities; Jonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, and Blake Hannaford
• A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal Patterns; Michèle Sebag, Nicolas Tarrisson, Olivier Teytaud, Julien Lefevre, and Sylvain Baillet
• Mining Spatial Object Associations for Scientific Data; Hui Yang, Srinivasan Parthasarathy, and Sameep Mehta

Ontologies  [Fintry]
Session chair: Deborah McGuiness

• A Tableaux Decision Procedure for SHOIQ; Ian Horrocks and Ulrike Sattler
• Aspects of Distributed and Modular Ontology Reasoning; Luciano Serafini, Alex Borgida, and Andrei Tamilin
• Computational ontologies of parthood, componenthood, and containment; Thomas Bittner and Maureen Donnelly
• Reasoning with Inconsistent Ontologies; Zhisheng Huang, Frank van Harmelen, and Annette ten Teije

Graphical Models  [Tinto]
Session chair: Stuart Russell

• Identifiability of Path-Specific Effects; Chen Avin, Ilya Shpitser, and Judea Pearl
• Sensitivity Analysis in Markov Networks; Hei Chan and Adnan Darwiche
• Probabilistic Reasoning with Hierarchically Structured Variables; Rita Sharma and David Poole
• AND/OR Cutset Conditioning; Robert Mateescu and Rina Dechter

Natural Language 1  [Moorfoot]
Session chair: Ray Mooney

• Learning Strategies for Open-Domain Natural Language Question Answering; Eugene Grois and David C. Wilkins
• The Necessity of Syntactic Parsing for Semantic Role Labeling; Vasin Punyakanok, Dan Roth, and Wen-tau Yih
• Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information; Eiko Yamamoto, Kyoko Kanzaki, and Hitoshi Isahara
• Learning to Understand Web Site Update Requests; William W. Cohen, Einat Minkov, and Anthony Tomasic

Real-Time and Robot Planning  [Kilsyth]
Session chair: Ronen Brafman

• LRTA*(k); Carlos Hernández and Pedro Meseguer
• Robust Planning with (L)RTDP; Olivier Buffet and Douglas Aberdeen
• Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions; Freek Stulp and Michael Beetz
• Real-Time Path Planning for Humanoid Robot Navigation; Jens-Steffen Gutmann, Masaki Fukuchi, and Masahiro Fujita

Complexity of Reasoning 1  [Harris]
Session chair: Thomas Eiter

• Propositional Abduction is Almost Always Hard; Gustav Nordh and Bruno Zanuttini
• Parameterized Compilability; Hubie Chen
• Scalability Study of Peer-to-Peer Consequence Finding; P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon
• The Inferential Complexity of Bayesian and Credal Networks; Cassio Polpo de Campos and Fabio Gagliardi Cozman

Qualitative and Spatial Reasoning  [Carrick]
Session chair: Brandon Bennett

• Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments; Martin Brooks, Yuhong Yan, and Daniel Lemire
• Model Compilation for Real-Time Planning and Diagnosis with Feedback; Anthony Barrett
• A Motion Closed World Assumption; Fusun Yaman, Dana Nau, and V. S. Subrahmanian
• Going Far, Logically; Fusun Yaman, Dana Nau, and V. S. Subrahmanian

 

Thursday 9:00 - 10:00

Probabilistic Models of Human Sensorimotor Control
Invited Speaker: Daniel Wolpert  [Pentland]
Session chair: Stuart Russell

Thursday 10:30 - 12:30

Belief Revision  [Pentland]
Session chair: Fangzhen Lin

• Iterated Belief Revision, Revised; Yi Jin and Michael Thielscher
• Solving Logic Program Conflict through Strong and Weak Forgettings; Yan Zhang, Norman Foo, and Kewen Wang
• Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration; Salem Benferhat, Sylvain Lagrue, and Odile Papini
• Quota and Gmin Merging Operators; Patricia Everaere, Sébastien Konieczny, and Pierre Marquis

Feature Selection and Cost Sensitivity  [Sidlaw]
Session chair: Pedro Domingos

• Feature Selection Based on the Shapley Value; Shay Cohen, Eytan Ruppin, and Gideon Dror
• InterActive Feature Selection; Hema Raghavan, Omid Madani, and Rosie Jones
• ROCCER: an Algorithm for Rule Learning Based on ROC Analysis; Ronaldo C. Prati and Peter A. Flach
• Repairing Concavities in ROC Curves; Peter A. Flach and Shaomin Wu

Answer Set Programming  [Fintry]
Session chair: Gerd Brewka

• On Solution Correspondences in Answer-Set Programming; Thomas Eiter, Hans Tompits, and Stefan Woltran
• A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming; Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits
• Possibilistic Stable Models; Pascal Nicolas, Laurent Garcia, and Igor Stéphan
• Declarative and Computational Properties of Logic Programs with Aggregates; Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Simona Perri

Constraint Optimization  [Tinto]
Session chair: Norman Sadeh

• The Backbone of the Travelling Salesperson; Philip Kilby, John Slaney, and Toby Walsh
• A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones; Weixiong Zhang and Moshe Looks
• Bounded Search and Symbolic Inference for Constraint Optimization; Martin Sachenbacher and Brian C. Williams
• A Scalable Method for Multiagent Constraint Optimization; Adrian Petcu and Boi Faltings

Natural Language 2  [Moorfoot]
Session chair: Ingrid Zukerman

• Analogy Generation with HowNet; Tony Veale
• Word Sense Disambiguation with Distribution Estimation; Yee Seng Chan and Hwee Tou Ng
• A Machine Learning Approach to Identification and Resolution of One-Anaphora; Hwee Tou Ng, Yu Zhou, Robert Dale, and Mary Gardiner
• Measuring Semantic Similarity by Latent Relational Analysis; Peter D. Turney

Temporal Probabilistic Inference  [Kilsyth]
Session chair: Carlos Guestrin

• An MCMC Approach to Solving Hybrid Factored MDPs; Branislav Kveton and Milos Hauskrecht
• Continuous Time Particle Filtering; Brenda Ng, Avi Pfeffer, and Richard Dearden
• Self Adaptive Particle Filter; Alvaro Soto
• Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines; Daniel W. Wilson and Matthai Philipose

Game Theory  [Harris]
Session chair: Makoto Yokoo

• Leaf-Value Tables for Pruning Non-Zero-Sum Games; Nathan Sturtevant
• A Logical Model of Nash Bargaining Solution; Dongmo Zhang
• Learning Payoff Functions in Infinite Games; Yevgeniy Vorobeychik, Michael P. Wellman, and Satinder Singh
• The Role of Clustering on the Emergence of Efficient Social Conventions; Josep M. Pujol, Jordi Delgado, Ramon Sangüesa, and Andreas Flache

Learning Subjective Representations  [Carrick]
Session chair: Stuart Russell

• Combining Memory and Landmarks with Predictive State Representations; Michael R. James, Britton Wolfe, and Satinder Singh
• Temporal-Difference Networks with History; Brian Tanner and Richard S. Sutton
• Using Predictive Representations to Improve Generalization in Reinforcement Learning; Eddie J. Rafols, Mark B. Ring, Richard S. Sutton, and Brian Tanner
• Learning Subjective Representations for Planning; Dana Wilkinson, Michael Bowling, and Ali Ghodsi

Thursday 14:00 - 15:00

The Next Generation of Automated Reasoning Methods
Invited Speaker: Bart Selman  [Pentland]
Session chair: Hector Levesque

Thursday 15:30 - 17:30

Ensemble Methods in Learning  [Pentland]
Session chair: Andrew McCallum

• Distinguished paper: Learning Coordination Classifiers; Yuhong Guo, Russell Greiner, and Dale Schuurmans
• A Novel Approach to Model Generation for Heterogeneous Data Classification; Rong Jin and Huan Liu
• Stacked Sequential Learning; William W. Cohen and Vitor R. Carvalho
• Sequential Genetic Search for Ensemble Feature Selection; Alexey Tsymbal, Mykola Pechenizkiy, and Pádraig Cunningham

Heuristic Search  [Sidlaw]
Session chair: Pedro Meseguer

• Dual Lookups in Pattern Databases; Ariel Felner, Uzi Zahavi, Jonathan Schaeffer, and Robert C. Holte
• A New Approach to Multiobjective A* Search; L. Mandow and J. L. Pérez de la Cruz
• Choosing between heuristics and strategies: an enhanced model for decision-making; Shavit Talman, Rotem Toister, and Sarit Kraus
• Improved Knowledge Acquisition for High-Performance Heuristic Search; J. P. Bekmann and Achim Hoffmann

Logical Reasoning  [Fintry]
Session chair: Thomas Eiter

• Discovering Classes of Strongly Equivalent Logic Programs; Fangzhen Lin and Yin Chen
• Strong Equivalence for Logic Programs with Preferences; Wolfgang Faber and Kathrin Konczak
• Equivalence in Abductive Logic; Katsumi Inoue and Chiaki Sakama
• Measuring conflict and agreement between two prioritized belief bases; Guilin Qi, Weiru Liu, and David A. Bell

Arc Consistency  [Tinto]
Session chair: Zeynep Kiziltan

• Reducing Checks and Revisions in Coarse-grained MAC Algorithms; D. Mehta and M. R. C. van Dongen
• Optimal and Suboptimal Singleton Arc Consistency Algorithms; Christian Bessiere and Romuald Debruyne
• A Greedy Approach to Establish Singleton Arc Consistency; Christophe Lecoutre and Stéphane Cardon
• Existential arc consistency: Getting closer to full arc consistency in weighted CSPs; Simon de Givry, Federico Heras, Matthias Zytnicki, and Javier Larrosa

Grounding Language in the World  [Moorfoot]
Session chair: Ehud Reiter

• Automatic Text-to-Scene Conversion in the Traffic Accident Domain; Richard Johansson, Anders Berglund, Magnus Danielsson, and Pierre Nugues
• A Probabilistic Framework for Recognizing Intention in Information Graphics; Stephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy Green, and Seniz Demir
• Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use; Paul R. Cohen, Clayton T. Morrison, and Erin Cannon

Multi-Agent Systems  [Kilsyth]
Session chair: Norman Sadeh

• Multi-agent Coordination using Local Search; Boi Faltings and Quang Huy Nguyen
• Distributive and Collective Readings in Group Protocols; Silvia Rossi, Sanjeev Kumar, and Philip R. Cohen
• Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity; Sylvain Bouveret and Jérôme Lang
• More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives; Sébastien Lahaie, Florin Constantin, and David C. Parkes

Learning 1  [Harris]
Session chair: Peter Stone

• Learning with Labeled Sessions; Rong Jin and Huan Liu
• Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning; Jürgen Schmidhuber, Daan Wierstra, and Faustino Gomez
• Ranking Cases with Decision Trees: a Geometric Method that Preserves Intelligibility; Isabelle Alvarez and Stephan Bernard

Probablistic Reasoning and Applications  [Carrick]
Session chair: Rina Dechter

• Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference; Scott Sanner and David McAllester
• Optimal Nonmyopic Value of Information in Graphical Models - Efficient Algorithms and Theoretical Limits; Andreas Krause and Carlos Guestrin
• A Decision-Theoretic Approach to Task Assistance for Persons with Dementia; Jennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff Fernie, and Alex Mihailidis
• Accurate and Low-cost Location Estimation Using Kernels; Jeffrey Junfeng Pan, James T. Kwok, Qiang Yang, and Yiqiang Chen

Thursday 17:45 - 19:00

What Kind of a Graphical Model is the Brain?
Research Excellence Lecture: Geoffrey Hinton   [Pentland]
Session chair: Tony Cohn

 

Friday 9:00 - 10:00

Designing Robots: From Artificial Limbs to Powerful, Energetic, Autonomous Humanoids
Invited Speaker: Stephen Jacobsen  [Pentland]
Session chair: Dieter Fox

Friday 10:30 - 12:30

Nonmonotonic Reasoning  [Pentland]
Session chair: Gerd Brewka

• A Model-Theoretic Counterpart of Loop Formulas; Joohyung Lee
• Minimal and Absent Information in Contexts; Floris Roelofsen and Luciano Serafini
• Reasoning under inconsistency: the forgotten connective; Sébastien Konieczny, Jérôme Lang, and Pierre Marquis
• Reconstructing an Agent's Epistemic State from Observations; Richard Booth and Alexander Nittka

Learning 2  [Sidlaw]
Session chair: Jeremy Wyatt

• Semi-Supervised Regression with Co-Training; Zhi-Hua Zhou and Ming Li
• Unsupervised Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor Voting; Philippos Mordohai and Gérard Medioni
• Partial and Vague Knowledge for Similarity Measures; Timo Steffens
• State Abstraction Discovery from Irrelevant State Variables; Nicholas K. Jong and Peter Stone

Constraint Satisfaction 1  [Fintry]
Session chair: Toby Walsh

• Counting Solutions of CSPs: A Structural Approach; Gilles Pesant
• Identifying Conflicts in Overconstrained Temporal Problems; Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, and Karem A. Sakallah
• Complete MCS-Based Search: Application to Resource Constrained Project Scheduling; Philippe Laborie

Learning in Music and the Web  [Tinto]
Session chair: Susan Craw

• Learning to Play Like the Great Pianists; Asmir Tobudic and Gerhard Widmer
• Signal-to-Score Music Transcription using Graphical Models; Emir Kapanci and Avi Pfeffer
• Topic and Role Discovery in Social Networks; Andrew McCallum, Andrés Corrada-Emmanuel, and Xuerui Wang
• Learning Web Page Scores by Error Back-Propagation; Michelangelo Diligenti, Marco Gori, and Marco Maggini

Text Categorization  [Moorfoot]
Session chair: William Cohen

• Beyond TFIDF Weighting for Text Categorization in the Vector Space Model; Pascal Soucy and Guy W. Mineau
• Feature Generation for Text Categorization Using World Knowledge; Evgeniy Gabrilovich and Shaul Markovitch
• A Probabilistic Learning Method for XML Annotation of Documents; Boris Chidlovskii and Jérôme Fuselier

Decision Theory in Multi-Agent Systems  [Kilsyth]
Session chair: Jeff Rosenschein

• Sequential-Simultaneous Information Elicitation in Multi-Agent Systems; Gal Bahar and Moshe Tennenholtz
• Regret-based Utility Elicitation in Constraint-based Decision Problems; Craig Boutilier, Relu Patrascu, Pascal Poupart, and Dale Schuurmans
• On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation; Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet
• On the Axiomatic Foundations of Ranking Systems; Alon Altman and Moshe Tennenholtz

Philosophical Foundations  [Harris]
Session chair: Alessandro Saffiotti

• The Altricial-Precocial Spectrum for Robots; Aaron Sloman and Jackie Chappell
• Attribution of Knowledge to Artificial Agents and their Principals; Samir Chopra and Laurence White
• PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents; David V. Pynadath and Stacy C. Marsella
• Building the Semantic Web Tower from RDF Straw; Peter F. Patel-Schneider

Friday 14:00 - 15:00

What's New in Statistical Machine Translation
Invited Speaker: Kevin Knight  [Pentland]
Session chair: Johanna Moore

Friday 15:30 - 17:30

Causality and Belief Change  [Pentland]
Session chair: Enrique Sucar

• Propositional Argumentation and Causal Reasoning; Alexander Bochman
• Compiling Bayesian Networks with Local Structure; Mark Chavira and Adnan Darwiche
• First-Order Logical Filtering; Afsaneh Shirazi and Eyal Amir
• Inverse Resolution as Belief Change; Maurice Pagnucco and David Rajaratnam

Learning and Plan Recognition  [Sidlaw]
Session chair: Claude Sammut

• Fast and Complete Symbolic Plan Recognition; Dorit Avrahami-Zilberbrand and Gal A. Kaminka
• Combining Learning Constraints and Numerical Regression; Dorian Suc and Ivan Bratko
• Stereotype Extraction with Default Clustering; Julien Velcin and Jean-Gabriel Ganascia

Constraint Satisfaction 2  [Fintry]
Session chair: Ian Miguel

• Value Ordering for Finding All Solutions; Barbara M. Smith and Paula Sturdy
• Optimal Refutations for Constraint Satisfaction Problems; Tudor Hulubei and Barry O'Sullivan
• Resolution in Max-SAT and its relation to local consistency in weighted CSPs; Javier Larrosa and Federico Heras
• Decision Diagrams for the Computation of Semiring Valuations; Nic Wilson

Planning  [Tinto]
Session chair: Michael Thielscher

• Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows; Alfonso Gerevini, Alessandro Saetti, and Ivan Serina
• Abstraction-based Action Ordering in Planning; Maria Fox, Derek Long, and Julie Porteous
• Over-Subscription Planning with Numeric Goals; J. Benton, Minh B. Do, and Subbarao Kambhampati
• Automated Composition of Web Services by Planning at the Knowledge Level; M. Pistore, A. Marconi, P. Bertoli, and P. Traverso

Learning Language Semantics  [Moorfoot]
Session chair: Mirela Lapata

• Automatic Semantic Role Labeling for Chinese Verbs; Nianwen Xue and Martha Palmer
• Meaning development versus predefined meanings in language evolution models; Paul Vogt
• Robust Ontology Acquisition from Machine-Readable Dictionaries; Eric Nichols, Francis Bond, and Daniel Flickinger

Complexity of Reasoning 2  [Kilsyth]
Session chair: Fangzhen Lin

• Generalized Amazons is PSPACE-Complete; Timothy Furtak, Masashi Kiyomi, Takeaki Uno, and Michael Buro
• The computational complexity of dominance and consistency in CP-nets; Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, and Nic Wilson
• Data Complexity of Reasoning in Very Expressive Description Logics; Ullrich Hustadt, Boris Motik, and Ulrike Sattler

Case-based reasoning  [Ochil]
Session chair: Susan Craw

• Stepwise Nearest Neighbor Discriminant Analysis; Xipeng Qiu and Lide Wu
• Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning; Eyke Hüllermeier
• Automating the Discovery of Recommendation Knowledge; David McSherry and Christopher Stretch
• Sophia: A novel approach for Textual Case-based Reasoning; David Patterson, Niall Rooney, Vladimir Dobrynin, and Mykola Galushka