Tuesday 9:00 - 10:00

Invited Speaker: Alison Gopnik -- Pentland

Chair: Judea Pearl.

Tuesday 10:30 - 12:30

Game Search -- Pentland

Chair: Toby Walsh.

• 515 Distinguished Paper Solving Checkers, Jonathan Schaeffer, jonathan@cs.ualberta.ca Neil Burch, burch@cs.ualberta.ca Paul Lu, paullu@cs.ualberta.ca Robert Lake, lake@cs.ualberta.ca Akihiro Kishimoto, kishi@cs.ualberta.ca Martin Mueller, mmueller@cs.ualberta.ca Steve Sutphen, steve@cs.ualberta.ca Yngvi Bjornsson, yngvi@ru.is
• 878 Game-Tree Search with Combinatorially Large Belief States, Austin Parker, austinjp@cs.umd.edu Dana Nau, nau@cs.umd.edu VS Subrahmanian, vs@cs.umd.edu
• 929 Finding checkmates in Kriegspiel, Stuart Russell, russell@cs.berkeley.edu Jason Wolfe, jawolfe@berkeley.edu
• 1223 Why Minimax Works: An Alternative Explanation, Mitja Lustrek, mitja.lustrek@ijs.si Ivan Bratko, bratko@fri.uni-lj.si Matjaz Gams, matjaz.gams@ijs.si

Satisfiability -- Tinto

Chair: Bart Selman.

• 876 DPLL with a Trace: From SAT to Knowledge Compilation, Jinbo Huang, jinbo@cs.ucla.edu Adnan Darwiche, darwiche@cs.ucla.edu
• 798 Three Truth Values for the SAT and MAX-SAT Problems, Frédéric Lardeux, lardeux@info.univ-angers.fr Frédéric Saubion, saubion@info.univ-angers.fr Jin-Kao Hao, hao@info.univ-angers.fr
• 989 A Simple Model to Generate Hard Satisfiable Instances, ke Xu, kexu@nlsde.buaa.edu.cn frederic Boussemart, boussemart@cril.univ-artois.fr fred Hemery, hemery@cril.univ-artois.fr christophe Lecoutre, lecoutre@cril.univ-artois.fr
• 1308 Phase Transition of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search, Joe Culberson, joe@cs.ualberta.ca Yong Gao, ygao@cs.ualberta.ca Calin Anton, asy@cs.ualberta.ca

Discourse Modeling and Temporal Reasoning -- Moorfoot

Chair: Hwee Tou Ng.

• 1538 Temporal Context Representation and Reasoning, Dan Moldovan, moldovan@languagecomputer.com Christine Clark, christine@languagecomputer.com Sanda Harabagiu, sanda@languagecomputer.com
• 1202 TimeML-Compliant Text Analysis for Temporal Reasoning, Branimir Boguraev, bran@us.ibm.com Rie Ando, rie1@us.ibm.com
• 969 Viewing Referring Expression Generation as Search, Bernd Bohnet, bernd.bohnet@informatik.uni-stuttgart.de Robert Dale, rdale@ics.mq.edu.au
• 505 Automatic Evaluation of Text Coherence: Models and Representations, Mirella Lapata, mlap@inf.ed.ac.uk Regina Barzilay, regina@csail.mit.edu

Relational Learning -- Sidlaw

Chair: Pedro Domingos.

• 529 Generative modeling with failure in PRISM, Taisuke Sato, sato@mi.cs.titech.ac.jp Yoshitaka Kameya, kameya@mi.cs.titech.ac.jp Neng-Fa Zhou, nzhou@acm.org
• 664 View Learning for Statistical Relational Learning, Jesse Davis, jdavis@cs.wisc.edu Elizabeth Burnside, es.burnside@hosp.wisc.edu Ines Dutra, dutra@biostat.wisc.edu David Page, page@biostat.wisc.edu Raghu Ramakrishnan, raghu@cs.wisc.edu Vitor Santos Costa, vitor@biostat.wisc.edu Jude Shavlik, shavlik@cs.wisc.edu
• 509 A Simple-Transition Model for Relational Sequences, Alan Fern, afern@cs.orst.edu
• 1637 Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers, Aram Galstyan, galstyan@isi.edu Paul Cohen, cohen@isi.edu

Reasoning About Action 1 -- Fintry

Chair: Shlomo Zilberstein.

• 1167 Updating Action Domain Descriptions, Thomas Eiter, eiter@kr.tuwien.ac.at Esra Erdem, esra@kr.tuwien.ac.at Michael Fink, michael@kr.tuwien.ac.at Jan Senko, jan@kr.tuwien.ac.at
• 973 Semantics for a useful fragment of the situation calculus, Gerhard Lakemeyer, gerhard@informatik.rwth-aachen.de Hector Levesque, hector@cs.toronto.edu
• 305 Planning with Loops, Hector Levesque, hector@cs.toronto.edu
• 1562 Representing Flexible Temporal Behaviors in the Situation Calculus, Alberto Finzi, finzi@dis.uniroma1.it fiora pirri, pirri@dis.uniroma1.it

Vision -- Harris

Chair: Enrique Sucar.

• 1477 Combining structural description and image-based representation for image, object, and scene recognition, Nicolas Do Huu, ndohuu@laas.fr Williams Paquier, wpaquier@laas.fr Raja Chatila, raja@laas.fr
• 1579 Efficient 2D Shape Classification, Graham McNeill, g.j.mcneill-2@sms.ed.ac.uk Sethu Vijayakumar, sethu.vijayakumar@ed.ac.uk
• 1451 Inferring Image Templates from Classification Decisions, Arnab Dhua, adhua@cs.indiana.edu Florin Cutzu, florin@cs.indiana.edu
• 1325 Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action Recognition, Bassam Khadhouri, bassam.khadhouri@imperial.ac.uk Yiannis Demiris, y.demiris@imperial.ac.uk

User Interface and Modeling -- Carrick

Chair: Ingrid Zukerman.

• 1517 Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding, Christine Alvarado, calvarado@sandiego.edu Randall Davis, davis@csail.mit.edu
• 531 Clinical-Reasoning Skill Acquisition through Intelligent Group Tutoring, Siriwan Suebnukarn, siriwan.suebnukarn@ait.ac.th Peter Haddawy, haddawy@ait.ac.th
• 680 A Live-User Evaluation of Collaborative Web Search, Barry Smyth, barry.smyth@ucd.ie Evelyn Balfe, evelyn.balfe@ucd.ie Peter Briggs, peter.briggs@ucd.ie Maurice Coyle, maurice.coyle@ucd.ie Jill Freyne, jill.freyne@ucd.ie Oisin Boydell, oisin.boydell@ucd.ie Keith Bradley, keith.bradley@ucd.ie
• 778 You Are Wrong!---Automatic Detection of Interaction Errors from Brain Waves, Jose del R. Millan, jose.millan@idiap.ch Pierre Ferrez, pierre.ferrez@idiap.ch

Planning Under Uncertainty -- Kilsyth

Chair: Carlos Guestrin.

• 875 Probabilistic Reasoning for Plan Robustness, Steven Schaffer, steve.schaffer@jpl.nasa.gov Bradley Clement, brad.clement@jpl.nasa.gov Steve Chien, steve.chien@jpl.nasa.gov
• 1501 Planning with Continuous Resources in Stochastic Domains, Mausam Mausam, mausam@cs.washington.edu Emmanuel Benazera, ebenazer@email.arc.nasa.gov Ronen Brafman, brafman@email.arc.nasa.gov Eric Hansen, hansen@cse.msstate.edu Nicolas Meuleau, nmeuleau@email.arc.nasa.gov
• 748 Proactive Algorithms for Scheduling with Probabilistic Durations, Chris Beck, jcb@mie.utoronto.ca Nic Wilson, n.wilson@4c.ucc.ie
• 1084 Conditional Planning in the Discrete Belief Space, Jussi Rintanen, rintanen@informatik.uni-freiburg.de

Reports from Co-Located Events 1 -- Ochil

Chair: Alan Bundy.

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

Tuesday 14:00 - 15:00

Invited Speaker: Andrew Blake -- Pentland

Chair: David Hogg.

Tuesday 15:30 - 17:30

Local Search -- Tinto

Chair: Bart Selman.

• 1568 Efficient Stochastic Local Search for MPE Solving, Frank Hutter, hutter@cs.ubc.ca Holger Hoos, hoos@cs.ubc.ca Thomas Stuetzle, stuetzle@informatik.tu-darmstadt.de
• 1574 The Compset Algorithm: A General Approach for Subset Selection, Shaul Markovitch, shaulm@cs.technion.ac.il Yaniv Hamo, hamo@cs.technion.ac.il
• 557 Applying Local Search to Disjunctive Temporal Problems, Michael Moffitt, mmoffitt@umich.edu Martha Pollack, pollackm@umich.edu

Quantified CSP -- Moorfoot

Chair: Adnan Darwiche.

• 1231 The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions, Georg Gottlob, gottlob@dbai.tuwien.ac.at Gianluigi Greco, ggreco@mat.unical.it Francesco Scarcello, scarcello@deis.unical.it
• 754 QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems, Ian Gent, ipg@dcs.st-and.ac.uk Peter Nightingale, pn@dcs.st-and.ac.uk Kostas Stergiou, konsterg@aegean.gr
• 985 Extracting Certificates from Quantified Boolean Formulas, Marco Benedetti, benedetti@itc.it
• 633 A Model for Generating Random Quantified Boolean Formulas, Hubie Chen, hubie.chen@upf.edu Yannet Interian, interian@cam.cornell.edu

Information Extraction -- Pentland

Chair: Andrew McCallum

• 1390 Distinguished Paper A Probabilistic Model of Redundancy in Information Extraction, Douglas Downey, ddowney@cs.washington.edu Oren Etzioni, etzioni@cs.washington.edu Stephen Soderland, soderlan@cs.washington.edu
• 1589 Shallow Semantics for Relation Extraction, Paul Morarescu, paulm@student.utdallas.edu Cosmin Bejan, ady@hlt.utdallas.edu Sanda Harabagiu, sanda@hlt.utdallas.edu
• 1287 Semantic annotation of ustructured and ungrammatical text, Matthew Michelson, michelso@isi.edu Craig Knoblock, knoblock@isi.edu
• 911 Semantic Argument Classification Exploiting Argument Interdependence, Zheng Ping Jiang, zhengping.jiang@gmail.com Jia Li, lijia1@comp.nus.edu.sg Hwee Tou Ng, nght@comp.nus.edu.sg

Learning and Knowledge -- Sidlaw

Chair: Lorenza Saitta.

• 1217 Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery, Martin Atzmueller, atzmueller@informatik.uni-wuerzburg.de Frank Puppe, puppe@informatik.uni-wuerzburg.de Hans-Peter Buscher, buscher.dhp@t-online.de
• 458 Training without data:Knowledge Insertion into RBF Neural Networks, Kenneth McGarry, ken.mcgarry@sunderland.ac.uk Stefan Wermter, stefan.wermter@sunderland.ac.uk
• 757 A flexible and robust similarity measure for analogy-based AI methods and analytical tasks, Hui Wang, h.wang@ulster.ac.uk Werner Dubitzky, w.dubitzky@ulster.ac.uk
• 1423 Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology, Massimiliano Ciaramita, ciaramita@loa-cnr.it Aldo Gangemi, gangemi@loa-cnr.it Esther Ratsch, eboja@web.de Jasmin Saric, jasmin.saric@eml-r.villa-bosch.de Isabel Rojas, isabel.rojas@eml-r.villa-bosch.de

Bayesian and Theoretical Learning -- Carrick

Chair: Dan Roth.

• 1013 Exploiting Informative Priors for Bayesian Classification and Regression Trees, James Cussens, jc@cs.york.ac.uk Nicos Angelopoulos, nicos@cs.york.ac.uk
• 770 Generalization Error of Linear Neural Networks in an Empirical Bayes Approach, Shinichi Nakajima, nakajima.s@cs.pi.titech.ac.jp Sumio Watanabe, swatanab@pi.titech.ac.jp
• 1486 Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification, vu ha, vu.ha@honeywell.com tariq samad, tariq.samad@honeywell.com
• 1464 Phase Transitions within Grammatical Inference, Antoine CORNUEJOLS, antoine@lri.fr Nicolas PERNOT, nicolaspernot@free.fr Michele Sebag, sebag@lri.fr

Reasoning About Action 2 -- Fintry

Chair: Michael Thielscher.

• 706 Tractable Reasoning with Incomplete Knowledge in Dynamic Systems, Yongmei Liu, yliu@cs.toronto.edu Hector Levesque, hector@cs.toronto.edu
• 1114 Goal Change, Steven Shapiro, shapiro@informatik.uni-leipzig.de Yves Lesperance, lesperan@cs.yorku.ca Hector Levesque, hector@ai.toronto.edu
• 997 Off-line reasoning about belief-based programs, Jerome Lang, lang@irit.fr Noel Laverny, laverny@irit.fr
• 590 Iterated Belief Change: A Transition System Approach, Aaron Hunter, amhunter@cs.sfu.ca James Delgrande, jim@cs.sfu.ca

Markov Decision Processes -- Kilsyth

Chair: Jeff Rosenschein.

• 1679 Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors, Dmitri Dolgov, ddolgov@umich.edu Edmund Durfee, durfee@umich.edu
• 379 Bounded Policy Iteration for Decentralized POMDPs, Daniel Bernstein, bern@cs.umass.edu Eric Hansen, hansen@cse.msstate.edu Shlomo Zilberstein, shlomo@cs.umass.edu
• 1376 Solving POMDPs with Continuous or Large Discrete Observation Spaces, Jesse Hoey, jhoey@cs.toronto.edu Pascal Poupart, ppoupart@cs.uwaterloo.ca
• 1677 Algebraic Markov Decision Processes, patrice perny, patrice.perny@lip6.fr olivier spanjaard, olivier.spanjaard@lip6.fr Paul Weng, paul.weng@lip6.fr

Robot Perception and Learning -- Harris

Chair: Raja Chatila.

• 1212 Maintaining Coherent Perceptual Information Using Anchoring, Amy Loutfi, amy.loutfi@tech.oru.se Silvia Coradeschi, silvia.coradeschi@tech.oru.se Alessandro Saffiotti, alessandro.saffiotti@tech.oru.se
• 1656 Relational Object Maps for Mobile Robots, Benson Limketkai, bensonl@cs.washington.edu Dieter Fox, fox@cs.washington.edu Lin Liao, liaolin@cs.washington.edu
• 1329 Learning Forward Models for Robots, Anthony Dearden, anthony.dearden@imperial.ac.uk Yiannis Demiris, y.demiris@imperial.ac.uk
• 1505 Learning Partially Observable Deterministic Action Models, Eyal Amir, eyal@cs.uiuc.edu

Wednesday 9:00 - 10:00

Invited Speaker: Nir Friedman -- Pentland

Chair: Craig Boutilier.

Wednesday 10:30 - 12:30

Search -- Fintry

Chair: Makoto Yokoo.

• 596 Limited Discrepancy Beam Search, David Furcy, dfurcy@cc.gatech.edu Sven Koenig, skoenig@usc.edu
• 1509 Decentralized Search in Networks Using Homophily and Degree Disparity, Ozgur Simsek, ozgur@cs.umass.edu David Jensen, jensen@cs.umass.edu
• 1556 AND/OR Branch-and-Bound for Graphical Models, Radu Marinescu, radum@ics.uci.edu Rina Dechter, dechter@ics.uci.edu

Structure in CSPs -- Kilsyth

Chair: Pedro Meseguer.

• 521 A Unified Theory of Structural Tractability in Constraint Satisfaction and Spread Cut Decompositions, David Cohen, dave@cs.rhul.ac.uk Peter Jeavons, peter.jeavons@comlab.ox.ac.uk Marc Gyssens, marc.gyssens@luc.ac.be
• 1244 Breaking symmetries in all different problems, Jean-Francois Puget, puget@ilog.fr
• 1121 Structural Symmetry Breaking, Meinolf Sellmann, sello@cs.brown.edu

Learning for Parsing -- Moorfoot

Chair: Mirela Lapata.

• 1434 Learning and Inference over Constrained Output, Vasin Punyakanok, punyakan@uiuc.edu Dan Roth, danr@uiuc.edu Scott Yih, yih@uiuc.edu Dav Zimak, davzimak@uiuc.edu
• 1643 A Two-Stage Method for Active Learning of Statistical Grammars, Markus Becker, s0235256@sms.ed.ac.uk Miles Osborne, miles@inf.ed.ac.uk
• 1037 Redundancy-free Island Parsing of Word Graphs, Bernd Kiefer, kiefer@dfki.de
• 1286 Theory of Alignment Generators and Applications to Statistical Machine Translation, Raghavendra Udupa, uraghave@in.ibm.com Hemanta Maji, hemantkm@in.ibm.com

Reinforcement learning -- Sidlaw

Chair: Ronen Brafman.

• 685 Reinforcement Learning in POMDPs Without Resets, Eyal Even-Dar, evend@post.tau.ac.il Sham Kakade, skakade@linc.cis.upenn.edu Yishay Mansour, mansour@post.tau.ac.il
• 1552 Concurrent Hierarchical Reinforcement Learning, Bhaskara Marthi, bhaskara@cs.berkeley.edu David Latham, latham@cs.berkeley.edu Stuart Russell, russell@cs.berkeley.edu Carlos Guestrin, guestrin@cs.cmu.edu
• 1349 Learning against opponents with bounded memory, Rob Powers, powers@cs.stanford.edu Yoav Shoham, shoham@stanford.edu
• 334 Two-Sided Bandits and the Dating Market, Sanmay Das, sanmay@mit.edu Emir Kamenica, kamenica@fas.harvard.edu

Description Logic -- Tinto

Chair: Peter Patel-Schneider.

• 372 Pushing the EL Envelope, Franz Baader, baader@tcs.inf.tu-dresden.de Sebastian Brandt, brandt@tcs.inf.tu-dresden.de Carsten Lutz, lutz@tcs.inf.tu-dresden.de
• 1421 On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics, David Toman, david@uwaterloo.ca Grant Weddell, gweddell@uwaterloo.ca
• 1352 Ordering Heuristics for Description Logic Reasoning, Ian Horrocks, horrocks@cs.man.ac.uk Dmitry Tsarkov, tsarkov@cs.man.ac.uk
• 589 A Formal Investigation of Mapping Language for Terminological Knowledge, Luciano Serafini, serafini@itc.it Heiner Stuckenschmidt, heiner@cs.vu.nl Holger Wache, holger@cs.vu.nl

Knowledge Engineering and Applications -- Carrick

Chair: Alankar Karol.

• 1133 Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach, Gregory Batt, gregory.batt@inrialpes.fr Delphine Ropers, delphine.ropers@inrialpes.fr Hidde de Jong, hidde.de-jong@inrialpes.fr Johannes Geiselmann, hans.geiselmann@ujf-grenoble.fr Radu Mateescu, radu.mateescu@inrialpes.fr Michel Page, michel.page@umpf-grenoble.fr Dominique Schneider, dominique.schneider@ujf-grenoble.fr
• 1187 Supervaluation Semantics for an Inland Water Feature Ontology, Paulo Santos, p.santos@imperial.ac.uk Brandon Bennett, brandon@comp.leeds.ac.uk Georgios Sakellariou, georgios.sakellariou@ic.ac.uk
• 1254 On cohesion and coupling of domain descriptions, Ivan José VARZINCZAK, ivan@irit.fr Andreas Herzig, herzig@irit.fr
• 472 Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains, Laura S. Mastella, mastella@inf.ufrgs.br Mara Abel, marabel@inf.ufrgs.br Luís C. Lamb, lamb@inf.ufrgs.br Luiz F. De Ros, lfderos@inf.ufrgs.br

Logic and Probability -- Pentland

Chair: David Poole.

• 1475 Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic, Salem BENFERHAT, benferhat_salem@yahoo.fr henri prade, prade@irit.fr
• 1462 Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic, Riccardo Rosati, rosati@dis.uniroma1.it Georg Gottlob, gottlob@dbai.tuwien.ac.at
• 1548 Lifted First-Order Probabilistic Inference, Rodrigo de Salvo Braz, braz@uiuc.edu Eyal Amir, eyal@cs.uiuc.edu Dan Roth, danr@cs.uiuc.edu
• 1546 BLOG: Probabilistic Models with Unknown Objects, Stuart Russell, russell@cs.berkeley.edu Brian Milch, milch@cs.berkeley.edu Bhaskara Marthi, bhaskara@cs.berkeley.edu David Sontag, dsontag@cs.berkeley.edu

Swarm Robotics -- Harris

Chair: Raja Chatila.

• 797 Collective AI: context awareness via communication, Sergey Kornienko, korniesi@informatik.uni-stuttgart.de Olga Kornienko, kornieoa@informatik.uni-stuttgart.de Paul Levi, paul.levi@informatik.uni-stuttgart.de
• 1406 Building Patterned Structures with Robot Swarms, Justin Werfel, jkwerfel@mit.edu Radhika Nagpal, rad@eecs.harvard.edu Yaneer Bar-Yam, yaneer@necsi.org
• 449 Efficient Distributed ``Hormone'' Graph Gradients., Esben Ostergaard, esben@mip.sdu.dk

Reports from Co-Located Events and ECCAI Award -- Ochil

Chair: Shlomo Zilberstein.

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

Wednesday 14:00 - 15:00

Invited Speaker: Adnan Darwiche -- Pentland

Chair: Hector Geffner.

Wednesday 15:30 - 17:30

Constraint Programming -- Pentland

Chair: Eugene Freuder.

• 543 Propagating Logical Combinations of Constraints, Toby Walsh, tw@cse.unsw.edu.au Fahiem Bacchus, fbacchus@cs.toronto.edu
• 735 Counting and Occurrence Constraints, Christian Bessiere, bessiere@lirmm.fr Emmanuel Hebrard, e.hebrard@cse.unsw.edu.au Brahim Hnich, b.hnich@4c.ucc.ie Zeynep Kiziltan, zkiziltan@deis.unibo.it Toby Walsh, tw@cse.unsw.edu.au
• 1667 The Rules of Constraint Modelling, Alan Frisch, frisch@cs.york.ac.uk Christopher Jefferson, caj@cs.york.ac.uk Bernadette Martinez-Hernandez, berna@cs.york.ac.uk Ian Miguel, ianm@dcs.st-and.ac.uk
• 891 Bin Completion Algorithms for Packing and Knapsack Problems, Alex Fukunaga, fukunaga@cs.ucla.edu Richard Korf, korf@cs.ucla.edu

Natural Language 1 -- Moorfoot

Chair: Ray Mooney.

• 1660 Learning Strategies for Open-Domain Natural Language Question Answering, Eugene Grois, e-grois@uiuc.edu David Wilkins, dcw@uiuc.edu
• 1672 The Necessity of Syntactic Parsing for Semantic Role Labeling, Wen-tau Yih, yih@cs.uiuc.edu Vasin Punyakanok, punyakan@uiuc.edu Dan Roth, danr@uiuc.edu
• 1123 Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information, Eiko Yamamoto, eiko@nict.go.jp Kyoko Kanzaki, kanzaki@nict.go.jp Hitoshi Isahara, isahara@nict.go.jp
• 1331 Learning to Understand Website Update Requests, Minkov Einat, einat@cs.cmu.edu william cohen, wcohen@cs.cmu.edu Anthony Tomasic, tomasic@cs.cmu.edu

Spatio-Temporal Learning -- Sidlaw

Chair: Peter Stone.

• 1572 Location-Based Activity Recognition using Relational Markov Networks, Lin Liao, liaolin@cs.washington.edu Dieter Fox, fox@cs.washington.edu Henry Kautz, kautz@cs.washington.edu
• 888 A Hybrid Discriminative/Generative Approach for Modeling Human Activities, Jonathan Lester, jlester@intel-research.net Tanzeem Choudhury, tanzeem.choudhury@intel.com Nicky Kern, nicky.kern@informatik.tu-darmstadt.de Gaetano Borriello, gaetano@cs.washington.edu Blake Hannaford, blake@u.washington.edu
• 1077 A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal Patterns, Michele Sebag, sebag@lri.fr Nicolas Tarrisson, ntarriss@cust.univ-bpclermont.fr Olivier Teytaud, olivier.teytaud@lri.fr Sylvain Baillet, sylvain.baillet@chups.jussieu.fr Julien Lefevre, julien.lefevre@chups.jussieu.fr
• 1422 Mining Spatial Object Associations for Scientific Data, HUI YANG, yanghu@cse.ohio-state.edu Srinivasan Parthasarathy, srini@cse.ohio-state.edu Sameep Mehta, mehtas@cse.ohio-state.edu

Ontologies -- Fintry

Chair: Deborah McGuiness.

• 759 A Tableaux Decision Procedure for SHOIQ, Ian Horrocks, horrocks@cs.man.ac.uk Ulrike Sattler, sattler@cs.man.ac.uk
• 801 Aspects of Distributed and Modular Ontology Reasoning, Luciano Serafini, serafini@itc.it Alex Borgida, borgida@cs.rutgers.edu Andrei Tamilin, andrei.tamilin@dit.unitn.it
• 829 Computational ontologies of parthood, componenthood, and containment, Thomas Bittner, thomas.bittner@ifomis.uni-saarland.de Maureen Donnelly, maureen.donnelly@ifomis.uni-saarland.de
• 337 Reasoning with Inconsistent Ontologies, Zhisheng Huang, huang@cs.vu.nl Frank van Harmelen, frank.van.harmelen@cs.vu.nl Annette ten Teije, annette@cs.vu.nl

Qualitative and Spatial Reasoning -- Carrick

Chair: Brandon Bennett.

• 890 Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments, Martin BROOKS, martin.brooks@nrc.gc.ca Yuhong YAN, yuhong.yan@nrc.gc.ca Daniel Lemire, lemire@gmail.com
• 1625 Model Compilation for Real-Time Planning and Diagnosis with Feedback, Anthony Barrett, anthony.barrett@jpl.nasa.gov
• 1227 A Motion Closed World Assumption, Fusun Yaman, fusun@cs.umd.edu Dana Nau, nau@cs.umd.edu VS Subrahmanian, vs@cs.umd.edu
• 1249 Going Far, Logically, Fusun Yaman, fusun@cs.umd.edu Dana Nau, nau@cs.umd.edu VS Subrahmanian, vs@cs.umd.edu

Graphical Models -- Tinto

Chair: Stuart Russell.

• 886 Identifiability of Path-Specific Effects, Chen Avin, avin@cs.ucla.edu Ilya Shpitser, ilyas@cs.ucla.edu Judea Pearl, judea@cs.ucla.edu
• 862 Sensitivity Analysis in Markov Networks, Hei Chan, hei@cs.ucla.edu Adnan Darwiche, darwiche@cs.ucla.edu
• 681 Probabilistic Reasoning with Hierarchically Structured Variables, Rita Sharma, rsharma@cs.ubc.ca David Poole, poole@cs.ubc.ca
• 1612 AND/OR Cutset Conditioning, Robert Mateescu, mateescu@ics.uci.edu Rina Dechter, dechter@ics.uci.edu

Real-Time and Robot Planning -- Kilsyth

Chair: Ronen Brafman.

• 764 LRTA*(k), Carlos Hernandez, chernan@iiia.csic.es Pedro Meseguer, pedro@iiia.csic.es
• 1605 Robust Planning with (L)RTDP, Olivier Buffet, olivier.buffet@nicta.com.au Douglas Aberdeen, doug.aberdeen@anu.edu.au
• 793 Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions, Freek Stulp, stulp@in.tum.de Michael Beetz, beetz@in.tum.de
• 974 Real-Time Path Planning for Humanoid Robot Navigation, Jens-Steffen Gutmann, steffen@pdp.crl.sony.co.jp Masaki Fukuchi, fukuchi@pdp.crl.sony.co.jp Masahiro Fujita, mfujita@pdp.crl.sony.co.jp

Complexity of Reasoning 1 -- Harris

Chair: Thomas Eiter.

• 524 Propositional Abduction is Almost Always Hard, Nordh Gustav, gusno@ida.liu.se Bruno Zanuttini, zanutti@info.unicaen.fr
• 644 Parameterized Compilability, Hubie Chen, hubie.chen@upf.edu
• 1144 Scalability Study of Peer-to-Peer Consequence Finding, Philippe Chatalic, chatalic@lri.fr Philippe Adjiman, adjiman@lri.fr Francois Goasdoué, fg@lri.fr Marie Christine Rousset, mcr@lri.fr Laurent Simon, simon@lri.fr
• 841 The Inferential Complexity of Bayesian and Credal Networks, Cassio de Campos, cassio@pucsp.br Fabio Cozman, fgcozman@usp.br

Thursday 9:00 - 10:00

Invited Spaker: Daniel Wolpert -- Pentland

Chair: Stuart Russell.

Thursday 10:30 - 12:30

Answer Set Programming -- Fintry

Chair: Gerd Brewka.

• 1177 On Solution Correspondences in Answer Set Programming, Thomas Eiter, eiter@kr.tuwien.ac.at Hans Tompits, tompits@kr.tuwien.ac.at Stefan Woltran, stefan@kr.tuwien.ac.at
• 1353 A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming, Thomas Eiter, eiter@kr.tuwien.ac.at Giovambattista Ianni, ianni@mat.unical.it Hans Tompits, tompits@kr.tuwien.ac.at Roman Schindlauer, roman@kr.tuwien.ac.at
• 333 Possibilistic Stable Models, Pascal NICOLAS, pascal.nicolas@univ-angers.fr Laurent GARCIA, laurent.garcia@univ-angers.fr Igor STEPHAN, igor.stephan@univ-angers.fr
• 1346 Declarative and Computational Properties of Logic Programs with Aggregates, Francesco Calimeri, calimeri@mat.unical.it Wolfgang Faber, wf@wfaber.com Nicola Leone, leone@unical.it Simona Perri, perri@mat.unical.it

Constraint Optimization -- Tinto

Chair: Norman Sadeh.

• 551 The Backbone of the Travelling Salesperson, Philip Kilby, philip.kilby@anu.edu.au John Slaney, john.slaney@nicta.com.au Toby Walsh, tw@cse.unsw.edu.au
• 1443 A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones, Weixiong Zhang, zhang@cse.wustl.edu
• 1571 Bounded Search and Symbolic Inference for Constraint Optimization, Martin Sachenbacher, sachenba@mit.edu Brian Williams, williams@mit.edu
• 445 A Scalable Method for Multiagent Constraint Optimization, Adrian Petcu, adrian.petcu@epfl.ch Boi Faltings, boi.faltings@epfl.ch

Natural Language 2 -- Moorfoot

Chair: Ingrid Zukerman.

• 620 Analogy Generation with HowNet, Tony Veale, tony.veale@ucd.ie
• 1543 Word Sense Disambiguation with Distribution Estimation, Yee Seng Chan, chanys@comp.nus.edu.sg Hwee Tou Ng, nght@comp.nus.edu.sg
• 1582 A Machine Learning Approach to Identification and Resolution of One-Anaphora, Hwee Tou Ng, nght@comp.nus.edu.sg Yu Zhou, zhouyu@comp.nus.edu.sg Robert Dale, rdale@ics.mq.edu.au Mary Gardiner, mary@puzzling.org
• 310 Measuring Semantic Similarity by Latent Relational Analysis, Peter Turney, peter.turney@nrc-cnrc.gc.ca

Game Theory -- Harris

Chair: Makoto Yokoo.

• 916 Leaf-Value Tables for Pruning Non-Zero-Sum Games, Nathan Sturtevant, nathanst@cs.ualberta.ca
• 518 A Logical Model of Nash Bargaining Solution, Dongmo Zhang, dongmo@cit.uws.edu.au
• 527 Learning Payoff Functions in Infinite Games, Yevgeniy Vorobeychik, yvorobey@umich.edu Michael Wellman, wellman@umich.edu Satinder Singh, baveja@umich.edu
• 1303 The Role of Clustering on the Emergence of Efficient Social Conventions, Josep M. Pujol, jmpujol@lsi.upc.edu Jordi Delgado, jdelgado@lsi.upc.edu Ramon Sangüesa, sanguesa@lsi.upc.edu Andreas Flache, a.flache@ppsw.rug.nl

Feature Selection and Cost Sensitivity -- Sidlaw

Chair: Pedro Domingos.

• 763 Playing the Game of Feature Selection, Shay Cohen, sh_coh@netvision.net.il Gideon Dror, gideon@mta.ac.il Eytan Ruppin, ruppin@post.tau.ac.il
• 1401 InterActive Feature Selection, Hema Raghavan, hema@cs.umass.edu Omid Madani, madani@yahoo-inc.com Rosie Jones, rosie.jones@overture.com
• 621 ROCCER: an Algorithm for Rule Learning Based on ROC Analysis, Ronaldo Prati, prati@icmc.usp.br Peter Flach, peter.flach@bristol.ac.uk
• 652 Repairing Concavities in ROC Curves, Peter Flach, peter.flach@bristol.ac.uk Shaomin Wu, shaomin.wu@reading.ac.uk

Learning Subjective Representations -- Carrick

Chair: Stuart Russell.

• 1621 Combining Memory and Landmarks with Predictive State Representations, Michael James, mrjames@umich.edu Britton Wolfe, bdwolfe@umich.edu Satinder Singh, baveja@umich.edu
• 1650 Using Predictive Representations to Improve Generalization in Reinforcement Learning, Eddie Rafols, erafols@cs.ualberta.ca Mark Ring, markring@cs.ualberta.ca Richard Sutton, sutton@cs.ualberta.ca Brian Tanner, btanner@cs.ualberta.ca
• 1640 TD Networks with History, Brian Tanner, btanner@cs.ualberta.ca Richard Sutton, sutton@cs.ualberta.ca
• 1603 Learning Subjective Representations for Planning, Dana Wilkinson, d3wilkinson@uwaterloo.ca Michael Bowling, bowling@cs.ualberta.ca Ali Ghodsi, aghodsib@cs.uwaterloo.ca

Belief Revision -- Pentland

Chair: Fangzhen Lin.

• 779 Iterated Belief Revision, Revised, Yi Jin, yijin@inf.tu-dresden.de Michael Thielscher, mit@inf.tu-dresden.de
• 488 Solving Logic Program Conflict through Strong and Weak Forgettings, Yan Zhang, yan@cit.uws.edu.au Norman Foo, norman@cse.unsw.edu.au Kewen Wang, k.wang@griffith.edu.au
• 1478 Revision of Partially Ordered Information, salem benferhat, benferhat@cril.univ-artois.fr Sylvain Lagrue, lagrue@cril.univ-artois.fr Odile Papini, papini@univ-tln.fr
• 780 Quota and Gmin Merging Operators, patricia everaere, everaere@cril.univ-artois.fr sebastien konieczny, konieczny@cril.univ-artois.fr Pierre Marquis, marquis@cril.univ-artois.fr

Temporal Probabilistic Inference -- Kilsyth

Chair: Carlos Guestrin.

• 569 An MCMC Approach to Solving Hybrid Factored MDPs, Branislav Kveton, bkveton@cs.pitt.edu Milos Hauskrecht, milos@cs.pitt.edu
• 1490 Continuous Time Particle Filtering, Brenda Ng, bmng@eecs.harvard.edu Avi Pfeffer, avi@eecs.harvard.edu Richard Dearden, rwd@cs.bham.ac.uk
• 1360 Self Adaptive Particle Filter, Alvaro Soto, asoto@ing.puc.cl
• 1235 Credible and Inexpensive Rating of Routine Human Activity, Daniel Wilson, dwilson@cs.cmu.edu Matthai Philipose, matthai.philipose@intel.com

Thursday 14:00 - 15:00

Invited Speaker: Bart Selman -- Pentland

Chair: Hector Levesque.

Thursday 15:30 - 17:30

Heuristic Search -- Sidlaw

Chair: Pedro Meseguer.

• 359 Dual Lookups in Pattern Databases, Ariel Felner, felner@bgu.ac.il Uzi Zahavi, uzi.zahavi@clicksoftware.com Robert Holte, holte@cs.ualberta.ca Jonathan Schaeffer, jonathan@cs.ualberta.ca
• 867 A new approach to Multiobjective A* search, Lawrence Mandow, lawrence@lcc.uma.es Jose Luis Perez de la Cruz, perez@lcc.uma.es
• 932 Choosing between heuristics and strategies - an enhanced model for decision-making, Sarit Kraus, sarit@macs.biu.ac.il Shavit Talman, talmans@macs.biu.ac.il Rotem Toister, toister@macs.biu.ac.il
• 1668 Improved Knowledge Acquisition for High-Performance Heuristic Search, Joachim Bekmann, jbekmann@cse.unsw.edu.au Achim Hoffmann, achim@cse.unsw.edu.au

Arc Consistency -- Tinto

Chair: Zeynep Kiziltan.

• 820 Reducing Checks and Revisions in Coarse-grained MAC Algorithms, Deepak Mehta, dm6@student.cs.ucc.ie Marc van Dongen, dongen@cs.ucc.ie
• 495 Optimal and Suboptimal Singleton Arc Consistency Algorithms, Christian Bessiere, bessiere@lirmm.fr Romuald Debruyne, romuald.debruyne@emn.fr
• 987 An illustration of Inference by search, christophe Lecoutre, lecoutre@cril.univ-artois.fr stephane Cardon, cardon@cril.univ-artois.fr
• 827 Existential arc consistency: getting closer to full arc consistency in weighted CSPs, Javier Larrosa, larrosa@lsi.upc.edu Simon de Givry, degivry@toulouse.inra.fr Federico Heras, fheras@lsi.upc.edu Matthias Zytnicki, zytnicki@toulouse.inra.fr

Grounding Language in the World -- Moorfoot

Chair: Ehud Reiter.

• 450 Automatic Text-to-Scene Conversion in the Traffic Accident Domain, Richard Johansson, richard@cs.lth.se Anders Berglund, d98ab@efd.lth.se Magnus Danielsson, dat02mad@ludat.lth.se Pierre Nugues, pierre@cs.lth.se
• 572 A Probabilistic Framework for Recognizing Intention in Information Graphics, Stephanie Elzer, elzer@cs.millersville.edu Sandra Carberry, carberry@cis.udel.edu Ingrid Zukerman, ingrid@csse.monash.edu.au Daniel Chester, chester@cis.udel.edu Nancy Green, nlgreen@uncg.edu Seniz Demir, demir@cis.udel.edu
• 721 Maps for Verbs: The Relationship between Interaction Dynamics and Verb Use, Paul Cohen, cohen@isi.edu Clayton Morrison, clayton@isi.edu Erin Cannon, ecannon@isi.edu

Multi-Agent Systems -- Kilsyth

Chair: Norman Sadeh.

• 1100 Multi-agent Coordination using Local Search, Boi Faltings, boi.faltings@epfl.ch Nguyen Quang Huy, quanghuy.nguyen@epfl.ch
• 1539 Distributive and Collective Readings in Group Protocols, Silvia Rossi, silvia.rossi@dit.unitn.it Sanjeev Kumar, skumar@cse.ogi.edu Philip R. Cohen, pcohen@cse.ogi.edu
• 656 Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity, Sylvain Bouveret, sylvain.bouveret@cert.fr Jerome Lang, lang@irit.fr
• 1481 More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives, Sebastien Lahaie, slahaie@eecs.harvard.edu Florin Constantin, florin@eecs.harvard.edu David Parkes, parkes@eecs.harvard.edu

Learning 1 -- Harris

Chair: Peter Stone.

• 897 Learning with Labeled Sessions, Rong Jin, rongjin@cse.msu.edu Huan Liu, huan.liu@asu.edu Feng Kang, kangfeng@cse.msu.edu
• 1452 Hybrid Neuroevolution/Regression Search for Sequence Prediction, Daan Wierstra, info@wierstra.com Faustino Gomez, tino@idsia.ch Juergen Schmidhuber, juergen@idsia.ch
• 1502 Ranking and Selection of Cases with Decision Trees: a Geometric Method that Preserves Intelligibility, Isabelle Alvarez, isabelle.alvarez@lip6.fr Stephan Bernard, stephan.bernard@cemagref.fr

Ensemble Methods in Learning -- Pentland

Chair: Andrew McCallum

• 1585 Distinguished Paper Learning Coordination Classifiers, Dale Schuurmans, dale@cs.uwaterloo.ca Yuhong Guo, yuhong@cs.ualberta.ca Russ Greiner, gahtelyf.rgreiner@sfm.cs.ualberta.ca
• 896 A Novel Approach to Model Generation for Heterogeneous Data Classification, Rong Jin, rongjin@cse.msu.edu Huan Liu, huan.liu@asu.edu
• 378 Stacked Sequential Learning, vitor carvalho, vitor@cs.cmu.edu william cohen, wcohen@cs.cmu.edu
• 1312 Sequential Genetic Search for Ensemble Feature Selection, Alexey Tsymbal, tsymbalo@tcd.ie Mykola Pechenizkiy, mpechen@cc.jyu.fi Padraig Cunningham, padraig.cunningham@cs.tcd.ie

Logical Reasoning -- Fintry

Chair: Thomas Eiter.

• 601 Discovering Classes of Strongly Equivalent Logic Programs, Fangzhen Lin, flin@cs.ust.hk Yin Chen, gzchenyin@gmail.com
• 1048 Strong Equivalence for Logic Programs with Preferences, Wolfgang Faber, wf@wfaber.com Kathrin Konczak, konczak@cs.uni-potsdam.de
• 612 Equivalence in Abductive Logic, Katsumi Inoue, ki@nii.ac.jp Chiaki Sakama, sakama@sys.wakayama-u.ac.jp
• 342 Measuring conflict and agreement between two prioritized belief bases, Guilin Qi, g.qi@qub.ac.uk Weiru Liu, w.liu@qub.ac.uk David A. Bell, da.bell@qub.ac.uk

Probablistic Reasoning and Applications -- Carrick

Chair: Rina Dechter.

• 1439 Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference, Scott Sanner, ssanner@cs.toronto.edu David Mcallester, mcallester@tti-c.org
• 1154 Optimal Nonmyopic Value of Information in Graphical Models - Efficient Algorithms and Theoretical Limits, Andreas Krause, krausea@cs.cmu.edu Carlos Guestrin, guestrin@cs.cmu.edu
• 1186 A decision theoretic approach to task assistance for persons with dementia, Jen Boger, jen.boger@utoronto.ca Pascal Poupart, ppoupart@cs.uwaterloo.ca Craig Boutilier, cebly@cs.toronto.edu Jesse Hoey, jhoey@cs.toronto.edu Geoff Fernie, fernie.geoff@torontorehab.on.ca Alex Mihailidis, alex.mihailidis@utoronto.ca
• 1059 Accurate and Low-cost Location Estimation Using Kernels, Jeffrey Junfeng Pan, panjf@cs.ust.hk James Kwok, jamesk@cs.ust.hk Qiang Yang, qyang@cs.ust.hk Yiqiang Chen, yqchen@ict.ac.cn

Friday 9:00 - 10:00

Invited Speaker: Stephen Jacobsen -- Pentland

Chair: Dieter Fox.

Friday 10:30 - 12:30

Constraint Satisfaction 1 -- Fintry

Chair: Toby Walsh.

• 571 Complete MCS-Based Search, Philippe Laborie, plaborie@ilog.fr
• 1263 Identifying Conflicts in Overconstrained Temporal Problems, Mark Liffiton, liffiton@eecs.umich.edu Michael Moffitt, mmoffitt@eecs.umich.edu Martha Pollack, pollackm@eecs.umich.edu Karem Sakallah, karem@eecs.umich.edu
• 624 Counting Solutions of CSPs: A Structural Approach, Gilles Pesant, pesant@crt.umontreal.ca

Text Categorization -- Moorfoot

Chair: William Cohen.

• 304 Beyond TFIDF Weighting for Text Categorization in the Vector Space Model, Pascal Soucy, pascal.soucy@ift.ulaval.ca Guy Mineau, guy.mineau@ift.ulaval.ca
• 971 Feature Generation for Text Categorization Using World Knowledge, Evgeniy Gabrilovich, gabr@cs.technion.ac.il Shaul Markovitch, shaulm@cs.technion.ac.il
• 501 A Probabilistic Learning Method for XML Annotation of Document, Boris Chidlovskii, chidlovskii@xrce.xerox.com Jérôme Fuselier, fuselier@xrce.xerox.com

Decision Theory in Multi-Agent Systems -- Kilsyth

Chair: Jeff Rosenschein.

• 404 Sequential-Simultaneous Information Elicitation in Multi-Agent Systems, Moshe Tennenholtz, moshet@ie.technion.ac.il Gal Bahar, galba@tx.technion.ac.il
• 398 Regret-based Utility Elicitation in Constraint-based Decision Problems, Craig Boutilier, cebly@cs.toronto.edu Relu Patrascu, relu@cs.toronto.edu Pascal Poupart, ppoupart@cs.toronto.edu Dale Schuurmans, dale@cs.ualberta.ca
• 1338 What class of preferences makes a negotiation simple?, Yann Chevaleyre, chevaley@lamsade.dauphine.fr Ulle Endriss, ue@doc.ic.ac.uk Nicolas Maudet, maudet@lamsade.dauphine.fr
• 374 On the Axiomatic Foundations of Ranking Systems, Altman Alon, ijcai@8ln.org Moshe Tennenholtz, moshet@ie.technion.ac.il

Learning 2 -- Sidlaw

Chair: Jeremy Wyatt.

• 689 Semi-Supervised Regression with Co-Training, Zhi-Hua Zhou, zhouzh@nju.edu.cn Ming Li, lim@lamda.nju.edu.cn
• 347 Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor Voting, Philippos Mordohai, mordohai@usc.edu Gerard Medioni, medioni@iris.usc.edu
• 532 Partial and Vague Knowledge for Similarity Measures, Timo Steffens, timosteffens@gmx.de
• 1655 State Abstraction Discovery from Irrelevant State Variables, Nicholas Jong, nkj@cs.utexas.edu Peter Stone, pstone@cs.utexas.edu

Learning in Music and the Web -- Tinto

Chair: Susan Craw.

• 448 Learning to Play Like the Great Pianists, Asmir Tobudic, asmir@oefai.at Gerhard Widmer, gerhard.widmer@jku.at
• 657 Signal-to-Score Music Transcription using Graphical Models, Emir Kapanci, kapanci@eecs.harvard.edu Avi Pfeffer, avi@eecs.harvard.edu
• 1623 Topic and Role Discovery in Social Networks, Andrew McCallum, mccallum@cs.umass.edu Andres Corrada-Emmanuel, corrada@cs.umass.edu Xuerui Wang, xuerui@cs.umass.edu
• 1205 Learning Web Page Scores by Error Back-Propagation, Michelangelo Diligenti, michi@dii.unisi.it Marco Gori, marco@dii.unisi.it Marco Maggini, maggini@dii.unisi.it

Nonmonotonic Reasoning -- Pentland

Chair: Gerd Brewka.

• 1280 A Model-Theoretic Counterpart of Loop Formulas, Joohyung Lee, appsmurf@cs.utexas.edu
• 1045 Minimal and Absent Information in Contexts, Floris Roelofsen, froelofs@science.uva.nl Luciano Serafini, serafini@itc.it
• 776 Reasoning under inconsistency: the forgotten connective, sebastien konieczny, konieczny@cril.univ-artois.fr Jerome Lang, lang@irit.fr Pierre Marquis, marquis@cril.univ-artois.fr
• 747 Reconstructing an Agent's Epistemic State from Observations, Richard Booth, rbooth@uow.edu.au Alexander Nittka, nittka@informatik.uni-leipzig.de

Philosophical Foundations -- Harris

Chair: Alessandro Saffiotti.

• 1688 The altricial-precocial spectrum for robots, Aaron Sloman, a.sloman@cs.bham.ac.uk Jackie Chappell, j.m.chappell@bham.ac.uk
• 893 Attribution of Knowledge to Artificial Agents and their Principals, Samir Chopra, schopra@brooklyn.cuny.edu Laurence White, laurencefwhite@btopenworld.com
• 1559 PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents, David Pynadath, pynadath@isi.edu Stacy Marsella, marsella@isi.edu
• 319 Building the Semantic Web from RDF Straw, Peter Patel-Schneider, pfps@research.bell-labs.com

Friday 14:00 - 15:00

Invited Speaker: Kevin Knight -- Pentland

Chair: Johanna Moore.

Friday 15:30 - 17:30

Constraint Satisfaction 2 -- Fintry

Chair: Ian Miguel.

• 1122 Value Ordering for Finding All Solutions, Barbara Smith, b.smith@4c.ucc.ie Paula Sturdy, p.sturdy@hud.ac.uk
• 586 Optimal Refutations for Constraint Satisfaction Problems, Tudor Hulubei, tudor_hulubei@yahoo.com Barry O'Sullivan, b.osullivan@cs.ucc.ie
• 360 Resolution in Max-SAT and its relation to local consistency in weighted CSPs, Javier Larrosa, larrosa@lsi.upc.edu Federico Heras, fede_heras@hotmail.com
• 857 Decision Diagrams for the Computation of Semiring Valuations, Nic Wilson, n.wilson@4c.ucc.ie

Case-based reasoning -- Ochil

Chair: Susan Craw.

• 902 Stepwise nearest neighbor discriminant analysis, Xipeng Qiu, xpqiu@fudan.edu.cn Lide Wu, ldwu@fudan.edu.cn
• 540 Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning, Eyke Huellermeier, eyke.huellermeier@iti.cs.uni-magdeburg.de
• 807 Automating the Discovery of Recommendation Knowledge, David McSherry, dmg.mcsherry@btinternet.com Christopher Stretch, ct.stretch@ulster.ac.uk
• 1146 SOPHIA: A Novel Approach for Textual Case-Based Reasoning, David Patterson, wd.patterson@ulster.ac.uk Niall Rooney, nf.rooney@ulster.ac.uk Vladimir Dobrynin, v.dobrynin@bk.ru Mykola Galushka, mg.galushka@ulster.ac.uk

Learning Language Semantics -- Moorfoot

Chair: Mirela Lapata.

• 861 Automatic Semantic Role Labeling for Chinese Verbs, Nianwen Xue, xueniwen@linc.cis.upenn.edu Martha Palmer, mpalmer@linc.cis.upenn.edu
• 370 Meaning development versus predefined meanings in language evolution models, Paul Vogt, paulv@ling.ed.ac.uk
• 1470 Robust Ontology Acquisition from Machine-Readable Dictionaries, Eric Nichols, eric-n@is.naist.jp Francis Bond, bond@cslab.kecl.ntt.co.jp Daniel Flickinger, danf@csli.stanford.edu

Learning and Plan Recognition -- Sidlaw

Chair: Claude Sammut.

• 1268 Fast and Complete Symbolic Plan Recognition, Dorit Avrahami, avrahad1@cs.biu.ac.il Gal Kaminka, galk@cs.biu.ac.il
• 1558 Combining Learning Constraints and Numerical Regression, Dorian Suc, dorians@cse.unsw.edu.au Ivan Bratko, bratko@fri.uni-lj.si
• 964 Stereotype extraction with default clustering, Julien Velcin, julien.velcin@lip6.fr Jean-Gabriel Ganascia, jean-gabriel.ganascia@lip6.fr

Causality and Belief Change -- Pentland

Chair: Enrique Sucar.

• 306 Propositional argumentation and causal reasoning, Alexander Bochman, bochmana@hait.ac.il
• 931 Compiling Bayesian Networks with Local Structure, Mark Chavira, chavira@cs.ucla.edu Adnan Darwiche, darwiche@cs.ucla.edu
• 1665 First-Order Logical Filtering, Afsaneh Shirazi, hajiamin@uiuc.edu Eyal Amir, eyal@cs.uiuc.edu
• 765 Inverse Resolution as Belief Change, Maurice Pagnucco, morri@cse.unsw.edu.au David Rajaratnam, daver@cse.unsw.edu.au

Complexity of Reasoning 2 -- Kilsyth

Chair: Fangzhen Lin.

• 1300 Generalized Amazons is PSPACE-Complete, Timothy Furtak, furtak@cs.ualberta.ca Masashi Kiyomi, masashi@grad.nii.ac.jp Takeaki Uno, uno@nii.jp Michael Buro, mburo@cs.ualberta.ca
• 737 The computational complexity of dominance and consistency in CP-nets, Judy Goldsmith, goldsmit@cs.uky.edu Jerome Lang, lang@irit.fr Mirek Truszczynski, mirek@bud.cs.uky.edu Nic Wilson, n.wilson@4c.ucc.ie
• 326 Data Complexity of Reasoning in Very Expressive Description Logics, Ullrich Hustadt, u.hustadt@csc.liv.ac.uk Boris Motik, motik@fzi.de Ulrike Sattler, sattler@cs.man.ac.uk

Planning -- Tinto

Chair: Michael Thielscher.

• 1527 Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows, Gerevini Alfonso, gerevini@ing.unibs.it Alessandro Saetti, saetti@ing.unibs.it Ivan Serina, serina@ing.unibs.it
• 608 Abstraction-based Action Ordering in Planning, Maria Fox, maria@cis.strath.ac.uk Derek Long, derek@cis.strath.ac.uk
• 1368 Over-subscription Planning with Metric Goals, J. Benton, j.benton@asu.edu Minh Do, minh.do@parc.com Subbarao Kambhampati, rao@asu.edu
• 1428 Automated Composition of Web Services by Planning at the Knowledge Level, Marco Pistore, pistore@dit.unitn.it Annapaola Marconi, marconi@itc.it Piergiorgio Bertoli, bertoli@itc.it Paolo Traverso, traverso@itc.it