Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence

IJCAI-05 proceedings

Copyright © August 1, 2005 International Joint Conferences on Artificial Intelligence. All rights reserved. This publication, or parts thereof, may not be reproduced in any form without permission.

Please use your browser's find command to search for papers of interest.

CASE-BASED REASONING

Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning

Eyke Hüllermeier

IJCAI-05, page 3

Automating the Discovery of Recommendation Knowledge

David McSherry and Christopher Stretch

IJCAI-05, page 9

Sophia: A novel approach for Textual Case-based Reasoning

David Patterson, Niall Rooney, Vladimir Dobrynin, and Mykola Galushka

IJCAI-05, page 15

Partial and Vague Knowledge for Similarity Measures

Timo Steffens

IJCAI-05, page 21

A flexible and robust similarity measure based on contextual probability

Hui Wang and Werner Dubitzky

IJCAI-05, page 27

CONSTRAINT SATISFACTION AND SEARCH

Propagating Logical Combinations of Constraints

Fahiem Bacchus and Toby Walsh

IJCAI-05, page 35

Improved Knowledge Acquisition for High-Performance Heuristic Search

J.P. Bekmann and Achim Hoffmann

IJCAI-05, page 41

Extracting Certificates from Quantified Boolean Formulas

Marco Benedetti

IJCAI-05, page 47

Optimal and Suboptimal Singleton Arc Consistency Algorithms

Christian Bessiere and Romuald Debruyne

IJCAI-05, page 54

The Range and Roots Constraints: Specifying Counting and Occurrence Problems

Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, and Toby Walsh

IJCAI-05, page 60

A Model for Generating Random Quantified Boolean Formulas

Hubie Chen and Yannet Interian

IJCAI-05, page 66

A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition

David Cohen, Peter Jeavons, and Marc Gyssens

IJCAI-05, page 72

Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search

Joseph Culberson, Yong Gao, and Calin Anton

IJCAI-05, page 78

Existential arc consistency: Getting closer to full arc consistency in weighted CSPs

Simon de Givry, Federico Heras, Matthias Zytnicki, and Javier Larrosa

IJCAI-05, page 84

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits

IJCAI-05, page 90

On Solution Correspondences in Answer-Set Programming

Thomas Eiter, Hans Tompits, and Stefan Woltran

IJCAI-05, page 97

Dual Lookups in Pattern Databases

Ariel Felner, Uzi Zahavi, Jonathan Schaeffer, and Robert C. Holte

IJCAI-05, page 103

The Rules of Constraint Modelling

Alan M. Frisch, Chris Jefferson, Bernadette Martínez-Hernández, and Ian Miguel

IJCAI-05, page 109

Bin-Completion Algorithms for Multicontainer Packing and Covering Problems

Alex S. Fukunaga and Richard E. Korf

IJCAI-05, page 117

Limited Discrepancy Beam Search

David Furcy and Sven Koenig

IJCAI-05, page 125

Generalized Amazons is PSPACE-Complete

Timothy Furtak, Masashi Kiyomi, Takeaki Uno, and Michael Buro

IJCAI-05, page 132

QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

Ian P. Gent, Peter Nightingale, and Kostas Stergiou

IJCAI-05, page 138

The computational complexity of dominance and consistency in CP-nets

Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, and Nic Wilson

IJCAI-05, page 144

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions

Georg Gottlob, Gianluigi Greco, and Francesco Scarcello

IJCAI-05, page 150

DPLL with a Trace: From SAT to Knowledge Compilation

Jinbo Huang and Adnan Darwiche

IJCAI-05, page 156

Optimal Refutations for Constraint Satisfaction Problems

Tudor Hulubei and Barry O’Sullivan

IJCAI-05, page 163

Efficient Stochastic Local Search for MPE Solving

Frank Hutter, Holger H. Hoos, and Thomas Stützle

IJCAI-05, page 169

The Backbone of the Travelling Salesperson

Philip Kilby, John Slaney, and Toby Walsh

IJCAI-05, page 175

Complete MCS-Based Search: Application to Resource Constrained Project Scheduling

Philippe Laborie

IJCAI-05, page 181

Three Truth Values for the SAT and MAX-SAT Problems

Frédéric Lardeux, Frédéric Saubion, and Jin-Kao Hao

IJCAI-05, page 187

Resolution in Max-SAT and its relation to local consistency in weighted CSPs

Javier Larrosa and Federico Heras

IJCAI-05, page 193

A Greedy Approach to Establish Singleton Arc Consistency

Christophe Lecoutre and Stéphane Cardon

IJCAI-05, page 199

Identifying Conflicts in Overconstrained Temporal Problems

Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, and Karem A. Sakallah

IJCAI-05, page 205

Why Minimax Works: An Alternative Explanation

Mitja Lustrek, Matjaz Gams, and Ivan Bratko

IJCAI-05, page 212

A New Approach to Multiobjective A* Search

L. Mandow and J.L. Pérez de la Cruz

IJCAI-05, page 218

AND/OR Branch-and-Bound for Graphical Models

Radu Marinescu and Rina Dechter

IJCAI-05, page 224

AND/OR Cutset Conditioning

Robert Mateescu and Rina Dechter

IJCAI-05, page 230

Reducing Checks and Revisions in Coarse-grained MAC Algorithms

D. Mehta and M.R.C. van Dongen

IJCAI-05, page 236

Applying Local Search to Disjunctive Temporal Problems

Michael D. Moffitt and Martha E. Pollack

IJCAI-05, page 242

Possibilistic Stable Models

Pascal Nicolas, Laurent Garcia, and Igor Stéphan

IJCAI-05, page 248

Game-Tree Search with Combinatorially Large Belief States

Austin Parker, Dana Nau, and V.S. Subrahmanian

IJCAI-05, page 254

Counting Solutions of CSPs: A Structural Approach

Gilles Pesant

IJCAI-05, page 260

A Scalable Method for Multiagent Constraint Optimization

Adrian Petcu and Boi Faltings

IJCAI-05, page 266

Breaking symmetries in all different problems

Jean-François Puget

IJCAI-05, page 272

Efficient belief-state AND–OR search, with application to Kriegspiel

Stuart Russell and Jason Wolfe

IJCAI-05, page 278

Bounded Search and Symbolic Inference for Constraint Optimization

Martin Sachenbacher and Brian C. Williams

IJCAI-05, page 286

Solving Checkers

J. Schaeffer, Y. Björnsson, N. Burch, A. Kishimoto, M. Müller, R. Lake, P. Lu, and S. Sutphen

IJCAI-05, page 292

Structural Symmetry Breaking

Meinolf Sellmann and Pascal Van Hentenryck

IJCAI-05, page 298

Decentralized Search in Networks Using Homophily and Degree Disparity

Özgür Simsek and David Jensen

IJCAI-05, page 304

Value Ordering for Finding All Solutions

Barbara M. Smith and Paula Sturdy

IJCAI-05, page 311

Leaf-Value Tables for Pruning Non-Zero-Sum Games

Nathan Sturtevant

IJCAI-05, page 317

Choosing between heuristics and strategies: an enhanced model for decision-making

Shavit Talman, Rotem Toister, and Sarit Kraus

IJCAI-05, page 324

Decision Diagrams for the Computation of Semiring Valuations

Nic Wilson

IJCAI-05, page 331

A Simple Model to Generate Hard Satisfiable Instances

Ke Xu, Frédéric Boussemart, Fred Hemery, and Christophe Lecoutre

IJCAI-05, page 337

A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones

Weixiong Zhang and Moshe Looks

IJCAI-05, page 343

KNOWLEDGE REPRESENTATION AND REASONING

Scalability Study of Peer-to-Peer Consequence Finding

P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon

IJCAI-05, page 351

Identifiability of Path-Specific Effects

Chen Avin, Ilya Shpitser, and Judea Pearl

IJCAI-05, page 357

Pushing the EL Envelope

Franz Baader, Sebastian Brandt, and Carsten Lutz

IJCAI-05, page 364

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

IJCAI-05, page 370

Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration

Salem Benferhat, Sylvain Lagrue, and Odile Papini

IJCAI-05, page 376

Computational ontologies of parthood, componenthood, and containment

Thomas Bittner and Maureen Donnelly

IJCAI-05, page 382

Propositional Argumentation and Causal Reasoning

Alexander Bochman

IJCAI-05, page 388

Reconstructing an Agent’s Epistemic State from Observations

Richard Booth and Alexander Nittka

IJCAI-05, page 394

Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments

Martin Brooks, Yuhong Yan, and Daniel Lemire

IJCAI-05, page 400

Declarative and Computational Properties of Logic Programs with Aggregates

Francesco Calimeri, Wolfgang Faber, Nicola Leone, and Simona Perri

IJCAI-05, page 406

Parameterized Compilability

Hubie Chen

IJCAI-05, page 412

Updating Action Domain Descriptions

Thomas Eiter, Esra Erdem, Michael Fink, and Ján Senko

IJCAI-05, page 418

Quota and Gmin Merging Operators

Patricia Everaere, Sébastien Konieczny, and Pierre Marquis

IJCAI-05, page 424

Strong Equivalence for Logic Programs with Preferences

Wolfgang Faber and Kathrin Konczak

IJCAI-05, page 430

Representing Flexible Temporal Behaviors in the Situation Calculus

Alberto Finzi and Fiora Pirri

IJCAI-05, page 436

Cohesion, coupling and the meta-theory of actions

Andreas Herzig and Ivan Varzinczak

IJCAI-05, page 442

A Tableaux Decision Procedure for SHOIQ

Ian Horrocks and Ulrike Sattler

IJCAI-05, page 448

Reasoning with Inconsistent Ontologies

Zhisheng Huang, Frank van Harmelen, and Annette ten Teije

IJCAI-05, page 454

Iterated Belief Change: A Transition System Approach

Aaron Hunter and James P. Delgrande

IJCAI-05, page 460

Data Complexity of Reasoning in Very Expressive Description Logics

Ullrich Hustadt, Boris Motik, and Ulrike Sattler

IJCAI-05, page 466

Equivalence in Abductive Logic

Katsumi Inoue and Chiaki Sakama

IJCAI-05, page 472

Iterated Belief Revision, Revised

Yi Jin and Michael Thielscher

IJCAI-05, page 478

Reasoning under inconsistency: the forgotten connective

Sébastien Konieczny, Jérôme Lang, and Pierre Marquis

IJCAI-05, page 484

Semantics for a useful fragment of the situation calculus

Gerhard Lakemeyer and Hector J. Levesque

IJCAI-05, page 490

From knowledge-based programs to graded belief-based programs, part II: off-line reasoning

Noël Laverny and Jérôme Lang

IJCAI-05, page 497

A Model-Theoretic Counterpart of Loop Formulas

Joohyung Lee

IJCAI-05, page 503

Planning with Loops

Hector J. Levesque

IJCAI-05, page 509

Discovering Classes of Strongly Equivalent Logic Programs

Fangzhen Lin and Yin Chen

IJCAI-05, page 516

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions

Yongmei Liu and Hector J. Levesque

IJCAI-05, page 522

Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains

Laura S. Mastella, Mara Abel, Luís C. Lamb, and Luiz F. De Ros

IJCAI-05, page 528

Propositional Abduction is Almost Always Hard

Gustav Nordh and Bruno Zanuttini

IJCAI-05, page 534

Inverse Resolution as Belief Change

Maurice Pagnucco and David Rajaratnam

IJCAI-05, page 540

Building the Semantic Web Tower from RDF Straw

Peter F. Patel-Schneider

IJCAI-05, page 546

Measuring conflict and agreement between two prioritized belief bases

Guilin Qi, Weiru Liu, and David A. Bell

IJCAI-05, page 552

Minimal and Absent Information in Contexts

Floris Roelofsen and Luciano Serafini

IJCAI-05, page 558

Supervaluation Semantics for an Inland Water Feature Ontology

Paulo Santos, Brandon Bennett, and Georgios Sakellariou

IJCAI-05, page 564

Aspects of Distributed and Modular Ontology Reasoning

Luciano Serafini, Alex Borgida, and Andrei Tamilin

IJCAI-05, page 570

A Formal Investigation of Mapping Language for Terminological Knowledge

Luciano Serafini, Heiner Stuckenschmidt, and Holger Wache

IJCAI-05, page 576

Goal Change

Steven Shapiro, Yves Lespérance, and Hector J. Levesque

IJCAI-05, page 582

First-Order Logical Filtering

Afsaneh Shirazi and Eyal Amir

IJCAI-05, page 589

Combining Learning Constraints and Numerical Regression

Dorian Suc and Ivan Bratko

IJCAI-05, page 596

On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics

David Toman and Grant Weddell

IJCAI-05, page 603

Ordering Heuristics for Description Logic Reasoning

Dmitry Tsarkov and Ian Horrocks

IJCAI-05, page 609

Going Far, Logically

Fusun Yaman, Dana Nau, and V.S. Subrahmanian

IJCAI-05, page 615

A Motion Closed World Asumption

Fusun Yaman, Dana Nau, and V.S. Subrahmanian

IJCAI-05, page 621

Solving Logic Program Conflict through Strong and Weak Forgettings

Yan Zhang, Norman Foo, and Kewen Wang

IJCAI-05, page 627

LEARNING

Ranking Cases with Decision Trees: a Geometric Method that Preserves Intelligibility

Isabelle Alvarez and Stephan Bernard

IJCAI-05, page 635

Exploiting Informative Priors for Bayesian Classification and Regression Trees

Nicos Angelopoulos and James Cussens

IJCAI-05, page 641

Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery

Martin Atzmueller, Frank Puppe, and Hans-Peter Buscher

IJCAI-05, page 647

Fast and Complete Symbolic Plan Recognition

Dorit Avrahami-Zilberbrand and Gal A. Kaminka

IJCAI-05, page 653

Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology

Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, and Isabel Rojas

IJCAI-05, page 659

Feature Selection Based on the Shapley Value

Shay Cohen, Eytan Ruppin, and Gideon Dror

IJCAI-05, page 665

Stacked Sequential Learning

William W. Cohen and Vitor R. Carvalho

IJCAI-05, page 671

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

IJCAI-05, page 677

Learning Web Page Scores by Error Back-Propagation

Michelangelo Diligenti, Marco Gori, and Marco Maggini

IJCAI-05, page 684

Reinforcement Learning in POMDPs Without Resets

Eyal Even-Dar, Sham M. Kakade, and Yishay Mansour

IJCAI-05, page 690

A Simple-Transition Model for Relational Sequences

Alan Fern

IJCAI-05, page 696

Repairing Concavities in ROC Curves

Peter A. Flach and Shaomin Wu

IJCAI-05, page 702

Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers

Aram Galstyan and Paul R. Cohen

IJCAI-05, page 708

Learning Coordination Classifiers

Yuhong Guo, Russell Greiner, and Dale Schuurmans

IJCAI-05, page 714

Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification

Vu Ha and Tariq Samad

IJCAI-05, page 722

The COMPSET Algorithm for Subset Selection

Yaniv Hamo and Shaul Markovitch

IJCAI-05, page 728

Combining Memory and Landmarks with Predictive State Representations

Michael R. James, Britton Wolfe, and Satinder Singh

IJCAI-05, page 734

Learning with Labeled Sessions

Rong Jin and Huan Liu

IJCAI-05, page 740

A Novel Approach to Model Generation for Heterogeneous Data Classification

Rong Jin and Huan Liu

IJCAI-05, page 746

State Abstraction Discovery from Irrelevant State Variables

Nicholas K. Jong and Peter Stone

IJCAI-05, page 752

Signal-to-Score Music Transcription using Graphical Models

Emir Kapanci and Avi Pfeffer

IJCAI-05, page 758

A Hybrid Discriminative/Generative Approach for Modeling Human Activities

Jonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, and Blake Hannaford

IJCAI-05, page 766

Location-Based Activity Recognition using Relational Markov Networks

Lin Liao, Dieter Fox, and Henry Kautz

IJCAI-05, page 773

Concurrent Hierarchical Reinforcement Learning

Bhaskara Marthi, Stuart Russell, David Latham, and Carlos Guestrin

IJCAI-05, page 779

Topic and Role Discovery in Social Networks

Andrew McCallum, Andrés Corrada-Emmanuel, and Xuerui Wang

IJCAI-05, page 786

Training without data: Knowledge Insertion into RBF Neural Networks

Ken McGarry and Stefan Wermter

IJCAI-05, page 792

Unsupervised Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor Voting

Philippos Mordohai and Gérard Medioni

IJCAI-05, page 798

Generalization Error of Linear Neural Networks in an Empirical Bayes Approach

Shinichi Nakajima and Sumio Watanabe

IJCAI-05, page 804

Phase Transitions within Grammatical Inference

Nicolas Pernot, Antoine Cornuéjols, and Michèle Sebag

IJCAI-05, page 811

Learning against opponents with bounded memory

Rob Powers and Yoav Shoham

IJCAI-05, page 817

ROCCER: an Algorithm for Rule Learning Based on ROC Analysis

Ronaldo C. Prati and Peter A. Flach

IJCAI-05, page 823

Stepwise Nearest Neighbor Discriminant Analysis

Xipeng Qiu and Lide Wu

IJCAI-05, page 829

Using Predictive Representations to Improve Generalization in Reinforcement Learning

Eddie J. Rafols, Mark B. Ring, Richard S. Sutton, and Brian Tanner

IJCAI-05, page 835

InterActive Feature Selection

Hema Raghavan, Omid Madani, and Rosie Jones

IJCAI-05, page 841

Generative Modeling with Failure in PRISM

Taisuke Sato, Yoshitaka Kameya, and Neng-Fa Zhou

IJCAI-05, page 847

Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning

Jürgen Schmidhuber, Daan Wierstra, and Faustino Gomez

IJCAI-05, page 853

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

IJCAI-05, page 859

Temporal-Difference Networks with History

Brian Tanner and Richard S. Sutton

IJCAI-05, page 865

Learning to Play Like the Great Pianists

Asmir Tobudic and Gerhard Widmer

IJCAI-05, page 871

Sequential Genetic Search for Ensemble Feature Selection

Alexey Tsymbal, Mykola Pechenizkiy, and Pádraig Cunningham

IJCAI-05, page 877

Stereotype Extraction with Default Clustering

Julien Velcin and Jean-Gabriel Ganascia

IJCAI-05, page 883

Learning Subjective Representations for Planning

Dana Wilkinson, Michael Bowling, and Ali Ghodsi

IJCAI-05, page 889

Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines

Daniel H. Wilson and Matthai Philipose

IJCAI-05, page 895

Mining Spatial Object Associations for Scientific Data

Hui Yang, Srinivasan Parthasarathy, and Sameep Mehta

IJCAI-05, page 902

Semi-Supervised Regression with Co-Training

Zhi-Hua Zhou and Ming Li

IJCAI-05, page 908

MULTI-AGENT SYSTEMS

On the Axiomatic Foundations of Ranking Systems

Alon Altman and Moshe Tennenholtz

IJCAI-05, page 917

Sequential-Simultaneous Information Elicitation in Multi-Agent Systems

Gal Bahar and Moshe Tennenholtz

IJCAI-05, page 923

Regret-based Utility Elicitation in Constraint-based Decision Problems

Craig Boutilier, Relu Patrascu, Pascal Poupart, and Dale Schuurmans

IJCAI-05, page 929

Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity

Sylvain Bouveret and Jérôme Lang

IJCAI-05, page 935

On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation

Yann Chevaleyre, Ulle Endriss, and Nicolas Maudet

IJCAI-05, page 941

Two-Sided Bandits and the Dating Market

Sanmay Das and Emir Kamenica

IJCAI-05, page 947

Multi-agent Coordination using Local Search

Boi Faltings and Quang Huy Nguyen

IJCAI-05, page 953

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

IJCAI-05, page 959

The Role of Clustering on the Emergence of Efficient Social Conventions

Josep M. Pujol, Jordi Delgado, Ramon Sangüesa, and Andreas Flache

IJCAI-05, page 965

Distributive and Collective Readings in Group Protocols

Silvia Rossi, Sanjeev Kumar, and Philip R. Cohen

IJCAI-05, page 971

Learning Payoff Functions in Infinite Games

Yevgeniy Vorobeychik, Michael P. Wellman, and Satinder Singh

IJCAI-05, page 977

A Logical Model of Nash Bargaining Solution

Dongmo Zhang

IJCAI-05, page 983

NATURAL LANGUAGE

A Two-Stage Method for Active Learning of Statistical Grammars

Markus Becker and Miles Osborne

IJCAI-05, page 991

TimeML-Compliant Text Analysis for Temporal Reasoning

Branimir Boguraev and Rie Kubota Ando

IJCAI-05, page 997

Viewing Referring Expression Generation as Search

Bernd Bohnet and Robert Dale

IJCAI-05, page 1004

Word Sense Disambiguation with Distribution Estimation

Yee Seng Chan and Hwee Tou Ng

IJCAI-05, page 1010

A Probabilistic Learning Method for XML Annotation of Documents

Boris Chidlovskii and Jérôme Fuselier

IJCAI-05, page 1016

Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use

Paul R. Cohen, Clayton T. Morrison, and Erin Cannon

IJCAI-05, page 1022

Learning to Understand Web Site Update Requests

William W. Cohen, Einat Minkov, and Anthony Tomasic

IJCAI-05, page 1028

A Probabilistic Model of Redundancy in Information Extraction

Doug Downey, Oren Etzioni, and Stephen Soderland

IJCAI-05, page 1034

A Probabilistic Framework for Recognizing Intention in Information Graphics

Stephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy Green, and Seniz Demir

IJCAI-05, page 1042

Feature Generation for Text Categorization Using World Knowledge

Evgeniy Gabrilovich and Shaul Markovitch

IJCAI-05, page 1048

Learning Strategies for Open-Domain Natural Language Question Answering

Eugene Grois and David C. Wilkins

IJCAI-05, page 1054

Shallow Semantics for Relation Extraction

Sanda Harabagiu, Cosmin Adrian Bejan, and Paul Morarescu

IJCAI-05, page 1061

Semantic Argument Classification Exploiting Argument Interdependence

Zheng Ping Jiang, Jia Li, and Hwee Tou Ng

IJCAI-05, page 1067

Automatic Text-to-Scene Conversion in the Traffic Accident Domain

Richard Johansson, Anders Berglund, Magnus Danielsson, and Pierre Nugues

IJCAI-05, page 1073

Redundancy-free Island Parsing of Word Graphs

Bernd Kiefer

IJCAI-05, page 1079

Automatic Evaluation of Text Coherence: Models and Representations

Mirella Lapata and Regina Barzilay

IJCAI-05, page 1085

Semantic annotation of unstructured and ungrammatical text

Matthew Michelson and Craig A. Knoblock

IJCAI-05, page 1091

Temporal Context Representation and Reasoning

Dan Moldovan, Christine Clark, and Sanda Harabagiu

IJCAI-05, page 1099

A Machine Learning Approach to Identification and Resolution of One-Anaphora

Hwee Tou Ng, Yu Zhou, Robert Dale, and Mary Gardiner

IJCAI-05, page 1105

Robust Ontology Acquisition from Machine-Readable Dictionaries

Eric Nichols, Francis Bond, and Daniel Flickinger

IJCAI-05, page 1111

The Necessity of Syntactic Parsing for Semantic Role Labeling

Vasin Punyakanok, Dan Roth, and Wen-tau Yih

IJCAI-05, page 1117

Learning and Inference over Constrained Output

Vasin Punyakanok, Dan Roth, Wen-tau Yih, and Dav Zimak

IJCAI-05, page 1124

Beyond TFIDF Weighting for Text Categorization in the Vector Space Model

Pascal Soucy and Guy W. Mineau

IJCAI-05, page 1130

Measuring Semantic Similarity by Latent Relational Analysis

Peter D. Turney

IJCAI-05, page 1136

Theory of Alignment Generators and Applications to Statistical Machine Translation

Raghavendra Udupa U. and Hemanta K. Maji

IJCAI-05, page 1142

Analogy Generation with HowNet

Tony Veale

IJCAI-05, page 1148

Meaning development versus predefined meanings in language evolution models

Paul Vogt

IJCAI-05, page 1154

Automatic Semantic Role Labeling for Chinese Verbs

Nianwen Xue and Martha Palmer

IJCAI-05, page 1160

Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information

Eiko Yamamoto, Kyoko Kanzaki, and Hitoshi Isahara

IJCAI-05, page 1166

PHILOSOPHICAL FOUNDATIONS

Attribution of Knowledge to Artificial Agents and their Principals

Samir Chopra and Laurence White

IJCAI-05, page 1175

PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents

David V. Pynadath and Stacy C. Marsella

IJCAI-05, page 1181

The Altricial-Precocial Spectrum for Robots

Aaron Sloman and Jackie Chappell

IJCAI-05, page 1187

PLANNING

Model Compilation for Real-Time Planning and Diagnosis with Feedback

Anthony Barrett

IJCAI-05, page 1195

Proactive Algorithms for Scheduling with Probabilistic Durations

J. Christopher Beck and Nic Wilson

IJCAI-05, page 1201

Over-Subscription Planning with Numeric Goals

J. Benton, Minh B. Do, and Subbarao Kambhampati

IJCAI-05, page 1207

Robust Planning with (L)RTDP

Olivier Buffet and Douglas Aberdeen

IJCAI-05, page 1214

Abstraction-based Action Ordering in Planning

Maria Fox, Derek Long, and Julie Porteous

IJCAI-05, page 1220

Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows

Alfonso Gerevini, Alessandro Saetti, and Ivan Serina

IJCAI-05, page 1226

Real-Time Path Planning for Humanoid Robot Navigation

Jens-Steffen Gutmann, Masaki Fukuchi, and Masahiro Fujita

IJCAI-05, page 1232

LRTA*(k)

Carlos Hernández and Pedro Meseguer

IJCAI-05, page 1238

Planning with Continuous Resources in Stochastic Domains

Mausam, Emmanuel Benazera, Ronen Brafman, Nicolas Meuleau, and Eric A. Hansen

IJCAI-05, page 1244

Automated Composition of Web Services by Planning at the Knowledge Level

M. Pistore, A. Marconi, P. Bertoli, and P. Traverso

IJCAI-05, page 1252

Conditional Planning in the Discrete Belief Space

Jussi Rintanen

IJCAI-05, page 1260

Probabilistic Reasoning for Plan Robustness

Steve R. Schaffer, Bradley J. Clement, and Steve A. Chien

IJCAI-05, page 1266

Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions

Freek Stulp and Michael Beetz

IJCAI-05, page 1272

UNCERTAINTY

Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic

Salem Benferhat and Henri Prade

IJCAI-05, page 1281

Bounded Policy Iteration for Decentralized POMDPs

Daniel S. Bernstein, Eric A. Hansen, and Shlomo Zilberstein

IJCAI-05, page 1287

A Decision-Theoretic Approach to Task Assistance for Persons with Dementia

Jennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff Fernie, and Alex Mihailidis

IJCAI-05, page 1293

Sensitivity Analysis in Markov Networks

Hei Chan and Adnan Darwiche

IJCAI-05, page 1300

Compiling Bayesian Networks with Local Structure

Mark Chavira and Adnan Darwiche

IJCAI-05, page 1306

The Inferential Complexity of Bayesian and Credal Networks

Cassio Polpo de Campos and Fabio Gagliardi Cozman

IJCAI-05, page 1313

Lifted First-Order Probabilistic Inference

Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth

IJCAI-05, page 1319

Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors

Dmitri Dolgov and Edmund Durfee

IJCAI-05, page 1326

Solving POMDPs with Continuous or Large Discrete Observation Spaces

Jesse Hoey and Pascal Poupart

IJCAI-05, page 1332

Optimal Nonmyopic Value of Information in Graphical Models – Efficient Algorithms and Theoretical Limits

Andreas Krause and Carlos Guestrin

IJCAI-05, page 1339

An MCMC Approach to Solving Hybrid Factored MDPs

Branislav Kveton and Milos Hauskrecht

IJCAI-05, page 1346

BLOG: Probabilistic Models with Unknown Objects

Brian Milch, Bhaskara Marthi, Stuart Russell, David Sontag, Daniel L. Ong, and Andrey Kolobov

IJCAI-05, page 1352

Continuous Time Particle Filtering

Brenda Ng, Avi Pfeffer, and Richard Dearden

IJCAI-05, page 1360

Accurate and Low-cost Location Estimation Using Kernels

Jeffrey Junfeng Pan, James T. Kwok, Qiang Yang, and Yiqiang Chen

IJCAI-05, page 1366

Algebraic Markov Decision Processes

Patrice Perny, Olivier Spanjaard, and Paul Weng

IJCAI-05, page 1372

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic

Riccardo Rosati and Georg Gottlob

IJCAI-05, page 1378

Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference

Scott Sanner and David McAllester

IJCAI-05, page 1384

Probabilistic Reasoning with Hierarchically Structured Variables

Rita Sharma and David Poole

IJCAI-05, page 1391

Self Adaptive Particle Filter

Alvaro Soto

IJCAI-05, page 1398

USER INTERFACE AND MODELING

Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding

Christine Alvarado and Randall Davis

IJCAI-05, page 1407

You Are Wrong!—Automatic Detection of Interaction Errors from Brain Waves

Pierre W. Ferrez and José del R. Millán

IJCAI-05, page 1413

A Live-User Evaluation of Collaborative Web Search

Barry Smyth, Evelyn Balfe, Oisin Boydell, Keith Bradley, Peter Briggs, Maurice Coyle, and Jill Freyne

IJCAI-05, page 1419

Clinical-Reasoning Skill Acquisition through Intelligent Group Tutoring

Siriwan Suebnukarn and Peter Haddawy

IJCAI-05, page 1425

VISION AND ROBOTICS

Learning Partially Observable Deterministic Action Models

Eyal Amir

IJCAI-05, page 1433

Learning Forward Models for Robots

Anthony Dearden and Yiannis Demiris

IJCAI-05, page 1440

Inferring Image Templates from Classification Decisions

Arnab Dhua and Florin Cutzu

IJCAI-05, page 1446

Combining Structural Descriptions and Image-based Representations for Image, Object, and Scene Recognition

Nicolas Do Huu, Williams Paquier, and Raja Chatila

IJCAI-05, page 1452

Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action Recognition

Bassam Khadhouri and Yiannis Demiris

IJCAI-05, page 1458

Collective AI: context awareness via communication

S. Kornienko, O. Kornienko, and P. Levi

IJCAI-05, page 1464

Relational Object Maps for Mobile Robots

Benson Limketkai, Lin Liao, and Dieter Fox

IJCAI-05, page 1471

Maintaining Coherent Perceptual Information Using Anchoring

Amy Loutfi, Silvia Coradeschi, and Alessandro Saffiotti

IJCAI-05, page 1477

2D Shape Classification and Retrieval

Graham McNeill and Sethu Vijayakumar

IJCAI-05, page 1483

Efficient Distributed “Hormone” Graph Gradients

Esben Hallundbæk Østergaard

IJCAI-05, page 1489

Building Patterned Structures with Robot Swarms

Justin Werfel, Yaneer Bar-Yam, and Radhika Nagpal

IJCAI-05, page 1495

POSTER PAPERS: AI AND COGNITIVE ARCHITECTURES

Motivated Agents

Kathryn Kasmarik, William Uther, and Mary-Lou Maher

IJCAI-05, page 1505

Using AI and simulations to design and control space habitats

David Kortenkamp and Scott Bell

IJCAI-05, page 1507

A Universal Measure of Intelligence for Artificial Agents

Shane Legg and Marcus Hutter

IJCAI-05, page 1509

It’s About Time

Neil Madden and Brian Logan

IJCAI-05, page 1511

Automation Intelligence for the Smart Environment

G. Michael Youngblood, Edwin O. Heierman, Lawrence B. Holder, and Diane J. Cook

IJCAI-05, page 1513

POSTER PAPERS: CONSTRAINT SATISFACTION AND SEARCH

Allocation and Scheduling for MPSoCs via decomposition and no-good generation

Luca Benini, Davide Bertozzi, Alessio Guerri, and Michela Milano

IJCAI-05, page 1517

Minimizing a Makespan Under Uncertainty

Jérôme Fortin, Pawel Zielinski, Didier Dubois, and Hélène Fargier

IJCAI-05, page 1519

Scaling up WA* with Commitment and Diversity

David Furcy and Sven Koenig

IJCAI-05, page 1521

A Covering Problem for Hypercubes

Jörg Hoffmann and Sebastian Kupferschmid

IJCAI-05, page 1523

Predicate-Oriented Isomorphism Elimination in Model Finding

Xiangxue Jia and Jian Zhang

IJCAI-05, page 1525

Maintaining Arc Consistency using Adaptive Domain Ordering

Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, and Eugene C. Freuder

IJCAI-05, page 1527

Combination of Local Search Strategies for Rotating Workforce Scheduling Problem

Nysret Musliu

IJCAI-05, page 1529

Corrective Explanation for Interactive Constraint Satisfaction

Barry O’Sullivan, Barry O’Callaghan, and Eugene C. Freuder

IJCAI-05, page 1531

CSP Search with Responsibility Sets and Kernels

Igor Razgon and Amnon Meisels

IJCAI-05, page 1533

Hypertree-decomposition via Branch-decomposition

Marko Samer

IJCAI-05, page 1535

Improving Tree Decomposition Methods With Function Filtering

Martí Sánchez, Javier Larrosa, and Pedro Meseguer

IJCAI-05, page 1537

Streamlining Local Search for Spatially Balanced Latin Squares

Casey Smith, Carla Gomes, and Cesar Fernandez

IJCAI-05, page 1539

POSTER PAPERS: KNOWLEDGE REPRESENTATION AND REASONING

Abduction with Hypotheses Confirmation

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni

IJCAI-05, page 1545

A language for functional interpretation of model based simulation

Jonathan Bell, Neal Snooke, and Chris Price

IJCAI-05, page 1547

A Non-monotonic Logic for Specifying and Querying Preferences

Guido Boella and Leendert van der Torre

IJCAI-05, page 1549

A Multidimensional Semantic Framework for Adaptive Hypermedia Systems

Francesca Carmagnola, Federica Cena, Cristina Gena, and Ilaria Torre

IJCAI-05, page 1551

Explaining Search Results

Maurice Coyle and Barry Smyth

IJCAI-05, page 1553

A Cognitive Model of Visual Analogical Problem-Solving Transfer

Jim Davies, Ashok K. Goel, and Nancy J. Nersessian

IJCAI-05, page 1556

An Architecture for Proof Planning Systems

Louise A. Dennis

IJCAI-05, page 1558

Explaining preferences with argument positions

Sylvie Doutre, Trevor Bench-Capon, and Paul E. Dunne

IJCAI-05, page 1560

Heuristics for Hard ASP Programs

Wolfgang Faber, Nicola Leone, and Francesco Ricca

IJCAI-05, page 1562

Incremental Diagnosis of Discrete-Event Systems

Alban Grastien, Marie-Odile Cordier, and Christine Largouët

IJCAI-05, page 1564

Reflection Patterns for Interactive Knowledge Capture

Jihie Kim

IJCAI-05, page 1566

A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models

Yasuo Kudo and Tetsuya Murai

IJCAI-05, page 1568

Redesign Support Framework based on Hierarchical Multiple Models

I. López-Arévalo, A. Rodríguez-Martínez, A. Aldea, R. Bañares-Alcántara, and L. Jiménez

IJCAI-05, page 1570

Knowledge Based Approach for Mechanically Verifying Security Protocols

Xiaoqi Ma, Xiaochun Cheng, and Rachel McCrindle

IJCAI-05, page 1572

Capturing and Reusing Case-Based Context for Image Retrieval

Dympna O’Sullivan, Eoin McLoughlin, Michela Bertolotto, and David C. Wilson

IJCAI-05, page 1574

Dependency Calculus Reasoning in a General Point Relation Algebra

Marco Ragni and Alexander Scivos

IJCAI-05, page 1577

Compact Propositional Encodings of First-Order Theories

Deepak Ramachandran and Eyal Amir

IJCAI-05, page 1579

Computationally Grounded Model of BDI-Agents

Kaile Su, Abdul Sattar, Kewen Wang, and Guido Governatori

IJCAI-05, page 1581

The Ontology Revision

Yu Sun and Yuefei Sui

IJCAI-05, page 1583

A CLP-Based, Diagnosticity-Driven System for Concept Combinations

Georgios Tagalakis, Daniela Ferrari, and Mark T. Keane

IJCAI-05, page 1585

Proof General / Eclipse: A Generic Interface for Interactive Proof

Daniel Winterstein, David Aspinall, and Christoph Lüth

IJCAI-05, page 1587

Using Learned Browsing Behavior Models to Recommend Relevant Web Pages

Tingshao Zhu, Russ Greiner, Gerald Häubl, Kevin Jewell, and Bob Price

IJCAI-05, page 1589

POSTER PAPERS: LEARNING AND INFORMATION EXTRACTION

A Study of Selection Noise in Collaborative Web Search

Oisín Boydell, Barry Smyth, Cathal Gurrin, and Alan F. Smeaton

IJCAI-05, page 1595

Image Retrieval and Disambiguation for Encyclopedic Web Search

Atsushi Fujii and Tetsuya Ishikawa

IJCAI-05, page 1598

Learning Complex Event Descriptions by Abstraction

Ugo Galassi, Attilio Giordana, Lorenza Saitta, and Marco Botta

IJCAI-05, page 1600

Conditional Visuomotor Learning and Viability Theory

Fadila Hadj-Bouziane, Hélène Frankowska, Martine Meunier, and Driss Boussaoud

IJCAI-05, page 1602

fMRI Analysis via One-class Machine Learning Techniques

David R. Hardoon and Larry M. Manevitz

IJCAI-05, page 1604

Adaptive Support Vector Machine for Time-Varying Data Streams Using Martingale

Shen-Shyang Ho and Harry Wechsler

IJCAI-05, page 1606

Automatic Hypertext Keyphrase Detection

Daniel Kelleher and Saturnino Luz

IJCAI-05, page 1608

Relational Learning for Email Task Management

Rinat Khoussainov and Nicholas Kushmerick

IJCAI-05, page 1610

A Fast Normalized Maximum Likelihood Algorithm for Multinomial Data

Petri Kontkanen and Petri Myllymäki

IJCAI-05, page 1613

Using Neutral Examples for Learning Polarity

Moshe Koppel and Jonathan Schler

IJCAI-05, page 1616

Transfer in Learning by Doing

Bill Krueger, Tim Oates, Tom Armstrong, Paul Cohen, and Carole Beal

IJCAI-05, page 1618

Supervised Local Tangent Space Alignment for Classification

Hongyu Li, Wenbin Chen, and I-Fan Shen

IJCAI-05, page 1620

Active Cost-Sensitive Learning

Dragos D. Margineantu

IJCAI-05, page 1622

Automatic learning of domain model for personalized hypermedia applications

Hermine Njike, Thierry Artières, Patrick Gallinari, Julien Blanchard, and Guillaume Letellier

IJCAI-05, page 1624

Kernels on Prolog Ground Terms

Andrea Passerini and Paolo Frasconi

IJCAI-05, page 1626

A Learning Scheme for Generating Expressive Music Performances of Jazz Standards

Rafael Ramirez and Amaury Hazan

IJCAI-05, page 1628

Incorporating a folding rule into inductive logic programming

David A. Rosenblueth

IJCAI-05, page 1630

Development of new techniques to improve Web search

David Sánchez and Antonio Moreno

IJCAI-05, page 1632

Intimate Learning: A Novel Approach for Combining Labelled and Unlabelled Data

Zhongmin Shi and Anoop Sarkar

IJCAI-05, page 1634

Collective Object Identification

Parag Singla and Pedro Domingos

IJCAI-05, page 1636

Question Classification by Structure Induction

Menno van Zaanen, Luiz Augusto Pizzato, and Diego Mollá

IJCAI-05, page 1638

An Inductive Database for Mining Temporal Patterns in Event Sequences

Alexandre Vautier, Marie-Odile Cordier, and René Quiniou

IJCAI-05, page 1640

Discovering Time Differential Law Equations Containing Hidden State Variables and Chaotic Dynamics

Takashi Washio, Fuminori Adachi, and Hiroshi Motoda

IJCAI-05, page 1642

Learning Global Models Based on Distributed Data Abstractions

Xiaofeng Zhang and William K. Cheung

IJCAI-05, page 1645

POSTER PAPERS: MULTI-AGENT SYSTEMS

Language Learning in Multi-Agent Systems

Martin Allen, Claudia V. Goldman, and Shlomo Zilberstein

IJCAI-05, page 1649

On the Evolution of Memory Size in the Minority Game (extended abstract)

Ricardo M. Araújo and Luis C. Lamb

IJCAI-05, page 1651

Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents

Yoram Bachrach and Jeffrey S. Rosenschein

IJCAI-05, page 1653

The Evolution of Artificial Social Systems

Guido Boella and Leendert van der Torre

IJCAI-05, page 1655

Fast convergence to satisfying distributions

Teddy Candale and Sandip Sen

IJCAI-05, page 1657

A rule language for modelling and monitoring social expectations in multi-agent systems

Stephen Cranefield

IJCAI-05, page 1659

A Framework for Communication Planning on Mobile Devices

Joseph B. Kopena and William C. Regli

IJCAI-05, page 1661

Trust No One: Evaluating Trust-based Filtering for Recommenders

John O’Donovan and Barry Smyth

IJCAI-05, page 1663

Inter-Agent Communication: A Cost-Reduction Approach Using an Autonomous Mobile Mailbox

Armin Stranjak, Igor Cavrak, and Mario Zagar

IJCAI-05, page 1666

Coalitional Games in Open Anonymous Environments

Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, and Atsushi Iwasaki

IJCAI-05, page 1668

Value-Centric Trust Model with Improved Familiarity Measurement

Jie Zhang and Ali A. Ghorbani

IJCAI-05, page 1670

POSTER PAPERS: NATURAL LANGUAGE AND USER INTERFACES

Towards More Intelligent Mobile Search

Karen Church, Mark T. Keane, and Barry Smyth

IJCAI-05, page 1675

An Inference Model for Semantic Entailment in Natural Language

Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, and Mark Sammons

IJCAI-05, page 1678

Discovering Inconsistency through Examination Dialogues

Paul E. Dunne, Sylvie Doutre, and Trevor Bench-Capon

IJCAI-05, page 1680

A Probabilistic Lexical Approach to Textual Entailment

Oren Glickman, Ido Dagan, and Moshe Koppel

IJCAI-05, page 1682

Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism

Alexander Gutkin and David Gay

IJCAI-05, page 1684

Sentence Extraction for Legal Text Summarisation

Ben Hachey and Claire Grover

IJCAI-05, page 1686

Fault-Tolerant Context-Based Interpretation of Mathematical Formulas

Helmut Horacek and Magdalena Wolska

IJCAI-05, page 1688

MDL-based Acquisition of Substitutability Relationships between Discourse Connectives

Ben Hutchinson

IJCAI-05, page 1690

Can we assign attitudes to a computer based on its beeps?—Toward an effective method for making humans empathize with artificial agents

Takanori Komatsu

IJCAI-05, page 1692

Correspondence-guided Synchronous Parsing of Parallel Corpora

Jonas Kuhn

IJCAI-05, page 1694

Naturalness of an Utterance Based on the Automatically Retrieved Commonsense

Rafal Rzepka, Yali Ge, and Kenji Araki

IJCAI-05, page 1696

Induction of Syntactic Collocation Patterns from Generic Syntactic Relations

Violeta Seretan

IJCAI-05, page 1698

Evaluating an NLG System using Post-Editing

Somayajulu G. Sripada, Ehud Reiter, and Lezan Hawizy

IJCAI-05, page 1700

Online Support System for Mediator Education

Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami, and Katsumi Nitta

IJCAI-05, page 1702

Appropriate Microplanning Choices for Low-Skilled Readers

Sandra Williams and Ehud Reiter

IJCAI-05, page 1704

POSTER PAPERS: PLANNING

Mixed-Initiative Activity Planning for Mars Rovers

John Bresina, Ari Jónsson, Paul Morris, and Kanna Rajan

IJCAI-05, page 1709

Planning with graded fluents and actions

Marta Cialdea, Carla Limongelli, Andrea Orlandini, and Valentina Poggioni

IJCAI-05, page 1711

Automated Adaptive Support for Task and Information Prioritizing

Tjerk de Greef, and Peter-Paul van Maanen

IJCAI-05, page 1713

Planning for Weakly-Coupled Partially Observable Stochastic Games

AnYuan Guo and Victor Lesser

IJCAI-05, page 1715

Multi-Agent Assumption-Based Planning

Damien Pellier and Humbert Fiorino

IJCAI-05, page 1717

Open-World Planning for Story Generation

Mark O. Riedl and R. Michael Young

IJCAI-05, page 1719

Disjunctive Temporal Planning with Uncertainty

K. Brent Venable and Neil Yorke-Smith

IJCAI-05, page 1721

POSTER PAPERS: ROBOTICS AND PERCEPTION

Talking Robots: a Fully Autonomous Implementation of the Talking Heads

Jean-Christophe Baillie and Matthieu Nottale

IJCAI-05, page 1725

An On-Line Time Warping Algorithm for Tracking Musical Performances

Simon Dixon

IJCAI-05, page 1727

Path-Planning for Autonomous Training on Robot Manipulators in Space

Froduald Kabanza, Roger Nkambou, and Khaled Belghith

IJCAI-05, page 1729

Growth of Motor Coordination in Early Robot Learning

M.H. Lee and Q. Meng

IJCAI-05, page 1732

Measuring the Cost of Robotic Communication

Avi Rosenfeld, Gal A Kaminka, and Sarit Kraus

IJCAI-05, page 1734

An Heuristic Search based Approach for Moving Objects Tracking

Elena Sánchez-Nielsen and Mario Hernández-Tejera

IJCAI-05, page 1736

3-D Interpretation of Single Line Drawings

Kenji Shoji, Fubito Toyama, and Juichi Miyamichi

IJCAI-05, page 1738

SVM-based Obstacles Recognition for Road Vehicle Applications

M.A. Sotelo, J. Nuevo, D. Fernandez, I. Parra, L.M. Bergasa, M. Ocana, and R. Flores

IJCAI-05, page 1740

Detecting and locating faults in the control software of autonomous mobile robots

Gerald Steinbauer and Franz Wotawa

IJCAI-05, page 1742

Learning discontinuities for switching between local models

Marc Toussaint and Sethu Vijayakumar

IJCAI-05, page 1744

POSTER PAPERS: UNCERTAINTY

Model minimization by linear PSR

Masoumeh T. Izadi and Doina Precup

IJCAI-05, page 1749

Using core beliefs for point-based value iteration

Masoumeh T. Izadi, Ajit V. Rajwade, and Doina Precup

IJCAI-05, page 1751

Approximating Pseudo-Boolean Functions on Non-Uniform Domains

R.F. Lax, Guoli Ding, Peter P. Chen, and J. Chen

IJCAI-05, page 1754

A Modal Logic for Reasoning about Possibilistic Belief Fusion

Churn-Jung Liau and Tuan-Fang Fan

IJCAI-05, page 1756

Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPs

Ranjit Nair, Pradeep Varakantham, Milind Tambe, and Makoto Yokoo

IJCAI-05, page 1758

Coping with exceptions in multiclass ILP problems using possibilistic logic

Mathieu Serrurier and Henri Prade

IJCAI-05, page 1761

RESEARCH EXCELLENCE AWARD

What kind of graphical model is the brain?

Geoffrey E. Hinton

IJCAI-05, page 1765