Proceedings of the Twentieth International Joint Conference on Artificial Intelligence

IJCAI-07 Contents

Preface / vi

IJCAI-07 Conference Organization / vii

IJCAI-07 Awards and Distinguished Papers / xii

IJCAI-07 Keynote and Invited Speakers / xiii

IJCAI Organization / xv

Past IJCAI Conferences / xvii

IJCAI-07 Reviewers / xviii

IJCAI-07 Technical Papers and Posters

Research Excellence Award

Abstract
Cooperating Reasoning Processes: More than Just the Sum of Their Parts / 2
Alan Bundy

Computers and Thought Award

Abstract
Learning and Multiagent Reasoning for Autonomous Agents / 12
Peter Stone

Constraint Satisfaction

Abstract
The Logic Behind Weighted CSP / 32
Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà

Abstract
QCSP Made Practical by Virtue of Restricted Quantification / 38
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard

Abstract
Learning Implied Global Constraints / 44
Christian Bessiere, Remi Coletta, Thierry Petit

Abstract
Query-Driven Constraint Acquisition / 50
Christian Bessiere, Remi Coletta, Barry O'Sullivan, Mathias Paulin

Abstract
A General Framework for Scheduling in a Stochastic Environment / 56
Julien Bidot, Thierry Vidal, Philippe Laborie, John Christopher Beck

Abstract
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks / 62
Sylvain Bouveret, Michel Lemaître

Abstract
Optimal Soft Arc Consistency / 68
Martin C. Cooper, Simon de Givry, Thomas Schiex

Abstract
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations / 74
Alex Ferguson, Barry O'Sullivan

Abstract
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems / 80
Alan M. Frisch, Matthew Grum, Chris Jefferson, Bernadette Martínez Hernández, Ian Miguel

Abstract
Conditional Constraint Satisfaction: Logical Foundations and Complexity / 88
Georg Gottlob, Gianluigi Greco, Toni Mancini

Abstract
Generalized Interval Projection: A New Technique for Consistent Domain Extension / 94
Carlos Grandón, Gilles Chabert, Bertrand Neveu

Abstract
Techniques for Efficient Interactive Configuration of Distribution Networks / 100
Tarik Hadzic, Andrzej Wasowski, Henrik R. Andersen

Abstract
Distance Constraints in Constraint Satisfaction / 106
Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh

Abstract
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs / 112
Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux

Abstract
Symmetric Component Caching / 118
Matthew Kitching, Fahiem Bacchus

Abstract
A Study of Residual Supports in Arc Consistency / 125
Christophe Lecoutre, Fred Hemery

Abstract
Nogood Recording from Restarts / 131
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Abstract
Arc Consistency during Search / 137
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder

Abstract
Probabilistic Consistency Boosts MAC and SAC / 143
Deepak Mehta, M. R. C. van Dongen

Abstract
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems / 149
Nina Narodytska, Toby Walsh

Abstract
A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints / 155
Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao

Abstract
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions / 161
Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta

Abstract
PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization / 167
Adrian Petcu, Boi Faltings, Roger Mailler

Abstract
A Dynamic Approach for MPE and Weighted MAX-SAT / 173
Tian Sang, Paul Beame, Henry Kautz

Abstract
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs / 180
Sathiamoorthy Subbarayan, Henrik Reif Andersen

Abstract
A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks / 186
Xu Yang, John Bigham

Abstract
Fast Algorithm for Connected Row Convex Constraints / 192
Yuanlin Zhang

Abstract
Conflict Directed Backjumping for Max-CSPs / 198
Roie Zivan, Amnon Meisels

Knowledge Representation and Reasoning

Abstract
The Mathematical Morpho-Logical View on Reasoning about Space / 205
Marco Aiello, Brammert Ottens

Abstract
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism / 212
Ricardo M. Araujo, Luis C. Lamb

Abstract
A Description Logic of Change / 218
Alessandro Artale, Carsten Lutz, David Toman

Abstract
From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based Representations / 224
Jamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa Angelini

Abstract
Completing Description Logic Knowledge Bases Using Formal Concept Analysis / 230
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler

Abstract
Non-monotonic Temporal Logics for Goal Specification / 236
Chitta Baral, Jicheng Zhao

Abstract
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning / 243
Chitta Baral, Matt Hunsaker

Abstract
Context-Driven Predictions / 250
Marc G. Bellemare, Doina Precup

Abstract
Entailment Semantics for Rules with Priorities / 256
David Billington

Abstract
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods / 262
Tibor Bosse, Jan Treur

Abstract
Contextual Default Reasoning / 268
Gerhard Brewka, Floris Roelofsen, Luciano Serafini

Abstract
EQL-Lite: Effective First-Order Query Processing in Description Logics / 274
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

Abstract
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks / 280
Carlos Iván Chesñevar, Guillermo Ricardo Simari

Abstract
A Framework for Decentralized Qualitative Model-Based Diagnosis / 286
Luca Console, Claudia Picardi, Daniele Theseider Duprè

Abstract
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis / 292
Marie-Odile Cordier, Alban Grastien

Abstract
A Logical Framework for Modularity of Ontologies / 298
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

Abstract
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination / 304
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits

Abstract
Modeling When Connections Are the Problem / 310
Johan de Kleer

Abstract
Tractable Temporal Reasoning / 318
Clare Dixon, Michael Fisher, Boris Konev

Abstract
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization / 324
Christophe Dousson, Pierre Le Maigat

Abstract
Complexity Results for Checking Equivalence of Stratified Logic Programs / 330
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran

Abstract
On Reversing Actions: Algorithms and Complexity / 336
Thomas Eiter, Esra Erdem, Wolfgang Faber

Abstract
Fault-Model-Based Test Generation for Embedded Software / 342
Michael Esser, Peter Struss

Abstract
Semantic Precision and Recall for Ontology Alignment Evaluation / 348
Jérôme Euzenat

Abstract
Operator Component Matrix Model for IMP Program Diagnosis / 354
Zhao-Fu Fan, Yunfei Jiang

Abstract
On Valued Negation Normal Form Formulas / 360
Hélène Fargier, Pierre Marquis

Abstract
A Logic Program Characterization of Causal Theories / 366
Paolo Ferraris

Abstract
A New Perspective on Stable Models / 372
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz

Abstract
Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis / 380
Ildikó Flesch, Peter Lucas, Theo van der Weide

Abstract
Conflict-Driven Answer Set Solving / 386
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub

Abstract
Ranking Alternatives on the Basis of Generic Constraints and Examples — A Possibilistic Approach / 393
Romain Gérard, Souhila Kaci, Henri Prade

Abstract
Conjunctive Query Answering for the Description Logic SHIQ / 399
Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler

Abstract
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning / 405
Ashish Gupta, David C. Noelle

Abstract
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem / 411
Daniel T. Halstead, Kenneth D. Forbus

Abstract
Counting Complexity of Propositional Abduction / 417
Miki Hermann, Reinhard Pichler

Abstract
Extracting Chatbot Knowledge from Online Discussion Forums / 423
Jizhou Huang, Ming Zhou, Dan Yang

Abstract
Improving Author Coreference by Resource-Bounded Information Gathering from the Web / 429
Pallika Kanani, Andrew McCallum, Chris Pal

Abstract
Combining Topological and Directional Information for Spatial Reasoning / 435
Sanjiang Li

Abstract
From Answer Set Logic Programming to Circumscription via Logic of GK / 441
Fangzhen Lin, Yi Zhou

Abstract
Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition / 447
Andrew Lovett, Morteza Dehghani, Kenneth Forbus

Abstract
Conservative Extensions in Expressive Description Logics / 453
Carsten Lutz, Dirk Walther, Frank Wolter

Abstract
Towards a Computational Model of Melody Identification in Polyphonic Music / 459
Søren Tjagvad Madsen, Gerhard Widmer

Abstract
Modelling Well-Structured Argumentation Lines / 465
Diego C. Martínez, Alejandro J. García, Guillermo R. Simari

Abstract
Abstract Interpretation of Programs for Model-Based Debugging / 471
Wolfgang Mayer, Markus Stumptner

Abstract
A Faithful Integration of Description Logics with Logic Programming / 477
Boris Motik, Riccardo Rosati

Abstract
Evaluating a Decision-Theoretic Approach to Tailored Example Selection / 483
Kasia Muldner, Cristina Conati

Abstract
Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution / 489
Alice Mulvehill, Brett Benyo, Michael Cox, Renu Bostwick

Abstract
Consistency Checking of Basic Cardinal Constraints over Connected Regions / 495
Isabel Navarrete, Antonio Morales, Guido Sciavicco

Abstract
Probabilistic Go Theories / 501
Austin Parker, Fusun Yaman, Dana Nau, V.S. Subrahmanian

Abstract
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning / 507
Michele Piunti, Cristiano Castelfranchi, Rino Falcone

Abstract
Automated Benchmark Model Generators for Model-Based Diagnostic Inference / 513
Gregory Provan, Jun Wang

Abstract
Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks / 519
Maleeha Qazi, Glenn Fung, Sriram Krishnan, Romer Rosales, Harald Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran

Abstract
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone / 526
Jochen Renz

Abstract
Diagnosability Testing with Satisfiability Algorithms / 532
Jussi Rintanen, Alban Grastien

Abstract
Diagnosers and Diagnosability of Succinct Transition Systems / 538
Jussi Rintanen

Abstract
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence / 545
Virginia Savova, Leonid Peshkin

Abstract
OSS: A Semantic Similarity Function based on Hierarchical Ontologies / 551
Vincent Schickel-Zuber, Boi Faltings

Abstract
Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts / 557
Stefan Schlobach, Michel Klein, Linda Peelen

Abstract
A Size-Based Qualitative Approach to the Representation of Spatial Granularity / 563
Hedda R. Schmidtke, Woontack Woo

Abstract
Qualitative Temporal Reasoning about Vague Events / 569
Steven Schockaert, Martine De Cock, Etienne E. Kerre

Abstract
Scalable Diagnosability Checking of Event-Driven Systems / 575
Anika Schumann, Yannick Pencolé

Abstract
Hierarchical Diagnosis of Multiple Faults / 581
Sajjad Siddiqi, Jinbo Huang

Abstract
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques / 587
Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi

Abstract
Model-Based Optimization of Testing through Reduction of Stimuli / 593
Peter Struss

Abstract
A General Framework for Reasoning about Inconsistency / 599
V.S. Subrahmanian, Leila Amgoud

Abstract
Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets / 605
M.G. Suraj, D.S. Guru

Abstract
Resource Constraints on Computation and Communication in the Brain / 611
Sashank Varma

Abstract
An Experience on Reputation Models Interoperability Based on a Functional Ontology / 617
Laurent Vercouter, Sara J. Casare, Jaime S. Sichman, Anarosa A. F. Brandão

Abstract
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation / 623
Bart Verheij

Abstract
A Convengent Solution to Tensor Subspace Learning / 629
Huan Wang, Shuicheng Yan, Thomas Huang, Xiaoou Tang

Abstract
All Common Subsequences / 635
Hui Wang

Abstract
Representations for Action Selection Learning from Real-Time Observation of Task Experts / 641
Mark A. Wood, Joanna J. Bryson

Abstract
Epistemic Reasoning in Logic Programs / 647
Yan Zhang

Learning

Abstract
Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary / 654
Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant

Abstract
Updates for Nonlinear Discriminants / 660
Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth

Abstract
A Fully Connectionist Model Generator for Covered First-Order Logic Programs / 666
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel

Abstract
General Game Learning Using Knowledge Transfer / 672
Bikramjit Banerjee, Peter Stone

Abstract
Learning by Analogy: A Classification Rule for Binary and Nominal Data / 678
Sabri Bayoudh, Laurent Miclet, Arnaud Delhay

Abstract
Interactive Clustering of Text Collections According to a User-Specified Criterion / 684
Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi

Abstract
Heuristic Selection of Actions in Multiagent Reinforcement Learning / 690
Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna H. R. Costa

Abstract
Unsupervised Discretization Using Kernel Density Estimation / 696
Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile

Abstract
Case-Based Multilabel Ranking / 702
Klaus Brinker, Eyke Hüllermeier

Abstract
Exploiting Known Taxonomies in Learning Overlapping Concepts / 708
Lijuan Cai, Thomas Hofmann

Abstract
Locality Sensitive Discriminant Analysis / 714
Deng Cai, Xiaofei He, Kun Zhou, Han , Bao

Abstract
Learning and Transferring Action Schemas / 720
Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole Beal

Abstract
Online Learning and Exploiting Relational Models in Reinforcement Learning / 726
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe

Abstract
Permanents, Transport Polytopes and Positive Definite Kernels on Histograms / 732
Marco Cuturi

Abstract
Utile Distinctions for Relational Reinforcement Learning / 738
William Dabney, Amy McGovern

Abstract
Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data / 744
Guang Dai, Dit-Yan Yeung

Abstract
Case Base Mining for Adaptation Knowledge Acquisition / 750
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary

Abstract
Learning Classifiers When the Training Data Is Not IID / 756
Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao

Abstract
Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model / 762
Narayanan U. Edakunni, Stefan Schaal, Sethu Vijayakumar

Abstract
Occam’s Razor Just Got Sharper / 768
Saher Esmeir, Shaul Markovitch

Abstract
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks / 774
Santiago Fernández, Alex Graves, Jürgen Schmidhuber

Abstract
Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems / 780
Nancy Fulda, Dan Ventura

Abstract
Feature Selection and Kernel Design via Linear Programming / 786
Glenn Fung, Romer Rosales, R. Bharat Rao

Abstract
Learning Restart Strategies / 792
Matteo Gagliolo, Jürgen Schmidhuber

Abstract
Incremental Construction of Structured Hidden Markov Models / 798
Ugo Galassi, Attilio Giordana, Lorenza Saitta

Abstract
On Mining Closed Sets in Multi-Relational Data / 804
Gemma C. Garriga, Roni Khardon, Luc De Raedt

Abstract
Improving Embeddings by Flexible Exploitation of Side Information / 810
Ali Ghodsi, Dana Wilkinson, Finnegan Southey

Abstract
State Similarity Based Approach for Improving Performance in RL / 817
Sertan Girgin, Faruk Polat, Reda Alhajj

Abstract
Optimistic Active-Learning Using Mutual Information / 823
Yuhong Guo, Russ Greiner

Abstract
Continuous Time Associative Bandit Problems / 830
András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári

Abstract
Maximum Margin Coresets for Active and Noise Tolerant Learning / 836
Sariel Har-Peled, Dan Roth, Dav Zimak

Abstract
Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree / 842
Claudia Henry, Richard Nock, Frank Nielsen

Abstract
Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation / 848
Manfred Hild, Frank Pasemann

Abstract
Analogical Learning in a Turn-Based Strategy Game / 853
Thomas R. Hinrichs, Kenneth D. Forbus

Abstract
Constructing New and Better Evaluation Measures for Machine Learning / 859
Jin Huang, Charles X. Ling

Abstract
Improving Anytime Point-Based Value Iteration Using Principled Point Selections / 865
Michael R. James, Michael E. Samples, Dmitri A. Dolgov

Abstract
A Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly Ashes / 871
M.A. Jayaram, M.C. Nataraja, C.N. Ravikumar

Abstract
Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning / 877
Ashish Kapoor, Eric Horvitz, Sumit Basu

Abstract
Exploiting Sensorimotor Coordination for Learning to Recognize Objects / 883
Yohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner

Abstract
Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization / 889
Aleksander Kolcz, Abdur Chowdhury

Abstract
Building Portable Options: Skill Transfer in Reinforcement Learning / 895
George Konidaris, Andrew Barto

Abstract
Marginalized Multi-Instance Kernels / 901
James T. Kwok, Pak-Ming Cheung

Abstract
r-grams: Relational Grams / 907
Niels Landwehr, Luc De Raedt

Abstract
Generalized Additive Bayesian Network Classifiers / 913
Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang

Abstract
Generalizing the Bias Term of Support Vector Machines / 919
Wenye Li, Kwong-Sak Leung, Kin-Hong Lee

Abstract
Robust Object Tracking with a Case-Base Updating Strategy / 925
Wenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji

Abstract
Explanation-Based Feature Construction / 931
Shiau Hong Lim, Li-Lun Wang, Gerald DeJong

Abstract
Protein Quaternary Fold Recognition Using Conditional Graphical Models / 937
Yan Liu, Jaime Carbonell, Vanathi Gopalakrishnan, Peter Weigele

Abstract
Automatic Gait Optimization with Gaussian Process Regression / 944
Daniel Lizotte, Tao Wang, Michael Bowling, Dale Schuurmans

Abstract
Recursive Random Fields / 950
Daniel Lowd, Pedro Domingos

Abstract
Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve / 956
Oscar Luaces, José R. Quevedo, Francisco Taboada, Guillermo M. Albaiceta, Antonio Bahamonde

Abstract
The Ins and Outs of Critiquing / 962
David McSherry, David W. Aha

Abstract
Learning from Partial Observations / 968
Loizos Michael

Abstract
Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters / 975
Volker Nannen, A.E. Eiben

Abstract
Local Search for Balanced Submodular Clusterings / 981
Mukund Narasimhan, Jeff Bilmes

Abstract
Kernel Matrix Evaluation / 987
Canh Hao Nguyen, Tu Bao Ho

Abstract
Neighborhood MinMax Projections / 993
Feiping Nie, Shiming Xiang, Changshui Zhang

Abstract
Case-based Learning from Proactive Communication / 999
Santi Ontañón, Enric Plaza

Abstract
Learning to Count by Think Aloud Imitation / 1005
Laurent Orseau

Abstract
A Tighter Error Bound for Decision Tree Learning Using PAC Learnability / 1011
Chaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari, Bulusu L. Deekshatulu

Abstract
Kernel Conjugate Gradient for Fast Kernel Machines / 1017
Nathan D. Ratliff, J. Andrew Bagnell

Abstract
Deictic Option Schemas / 1023
Balaraman Ravindran, Andrew G. Barto, Vimal Mathew

Abstract
Acquiring a Robust Case Base for the Robot Soccer Domain / 1029
Raquel Ros, Josep Lluís Arcos

Abstract
QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules / 1035
Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet

Abstract
Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL / 1041
Manu Sharma, Michael Holmes, Juan Santamaria, Arya Irani, Charles Isbell, Ashwin Ram

Abstract
Parametric Kernels for Sequence Data Analysis / 1047
Young-In Shin, Donald Fussell

Abstract
Reinforcement Learning of Local Shape in the Game of Go / 1053
David Silver, Richard Sutton, Martin Müller

Abstract
Semi-Supervised Gaussian Process Classifiers / 1059
Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi

Abstract
An Experts Algorithm for Transfer Learning / 1065
Erik Talvitie, Satinder Singh

Abstract
Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning / 1071
Ah-Hwee Tan

Abstract
Grounding Abstractions in Predictive State Representations / 1077
Brian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru

Abstract
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling / 1083
Peter Tino, Nikolaos Gianniotis

Abstract
Ensembles of Partially Trained SVMs with Multiplicative Updates / 1089
Ivor W. Tsang, James T. Kwok

Abstract
First Order Decision Diagrams for Relational MDPs / 1095
Chenggang Wang, Saket Joshi, Roni Khardon

Abstract
Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery / 1101
Haiying Wang, Huiru Zheng, Francisco Azuaje

Abstract
Dynamics of Temporal Difference Learning / 1107
Andreas Wendemuth

Abstract
Machine Learning for On-Line Hardware Reconfiguration / 1113
Jonathan Wildstrom, Peter Stone, Emmett Witchel, Mike Dahlin

Abstract
A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data / 1119
Ben H. Williams, Marc Toussaint, Amos J. Storkey

Abstract
A Subspace Kernel for Nonlinear Feature Extraction / 1125
Mingrui Wu, Jason Farquhar

Abstract
Understanding Drawings by Compositional Analogy / 1131
Patrick W. Yaner, Ashok K. Goel

Abstract
A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning / 1138
Dit-Yan Yeung, Hong Chang, Guang Dai

Abstract
Managing Domain Knowledge and Multiple Models with Boosting / 1144
Peng Zang, Charles Isbell

Abstract
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning / 1150
Yi Zhang, Xiaoming Jin

Abstract
Searching for Interacting Features / 1156
Zheng Zhao, Huan Liu

Abstract
Learning User Clicks in Web Search / 1162
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha

Abstract
An Empirical Study of the Noise Impact on Cost-Sensitive Learning / 1168
Xingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi

Multiagent Systems

Abstract
On the Logic of Normative Systems / 1175
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge

Abstract
Quantified Coalition Logic / 1181
Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge

Abstract
An Axiomatic Approach to Personalized Ranking Systems / 1187
Alon Altman, Moshe Tennenholtz

Abstract
Market Based Resource Allocation with Incomplete Information / 1193
Bo An, Chunyan Miao, Zhiqi Shen

Abstract
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios / 1199
Felix Brandt, Felix Fischer, Paul Harrenstein, Yoav Shoham

Abstract
Spiteful Bidding in Sealed-Bid Auctions / 1207
Felix Brandt, Tuomas Sandholm, Yoav Shoham

Abstract
Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions / 1215
Teddy Candale, Sandip Sen

Abstract
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions / 1221
Jesús Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodríguez-Aguilar

Abstract
Coalitional Bargaining with Agent Type Uncertainty / 1227
Georgios Chalkiadakis, Craig Boutilier

Abstract
Iterated Weaker-than-Weak Dominance / 1233
Shih-Fen Cheng, Michael P. Wellman

Abstract
Reaching Envy-Free States in Distributed Negotiation Settings / 1239
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet

Abstract
Privacy and Artificial Agents, or, Is Google Reading My Email? / 1245
Samir Chopra, Laurence White

Abstract
Incremental Mechanism Design / 1251
Vincent Conitzer, Tuomas Sandholm

Abstract
Learning Policies for Embodied Virtual Agents through Demonstration / 1257
Jonathan Dinerstein, Parris K. Egbert, Dan Ventura

Abstract
Sharing the Road: Autonomous Vehicles Meet Human Drivers / 1263
Kurt Dresner, Peter Stone

Abstract
Communicating Effectively in Resource-Constrained Multi-Agent Systems / 1269
Partha S. Dutta, Claudia V. Goldman, Nicholas R. Jennings

Abstract
Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment / 1275
Nicolas Gaud, Franck Gechter, Stéphane Galland, Abderrafiâa Koukam

Abstract
Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System / 1281
Rajesh Gautam, Kazuo Miyashita

Abstract
Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction Fees / 1287
Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, Nicholas R. Jennings

Abstract
Complexity of Pure Equilibria in Bayesian Games / 1294
Georg Gottlob, Gianluigi Greco, Toni Mancini

Abstract
Characterizing Solution Concepts in Games Using Knowledge-Based Programs / 1300
Joseph Y. Halpern, Yoram Moses

Abstract
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control / 1308
Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe

Abstract
Truthful Risk-Managed Combinatorial Auctions / 1315
Alan Holland, Barry O'Sullivan

Abstract
Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks / 1321
Mark Hoogendoorn

Abstract
Collaborative Inductive Logic Programming for Path Planning / 1327
Jian Huang, Adrian R. Pearce

Abstract
Mechanism Design with Partial Revelation / 1333
Nathanaël Hyafil, Craig Boutilier

Abstract
Augmented Experiment: Participatory Design with Multiagent Simulation / 1341
Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi

Abstract
Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces / 1347
Takayuki Ito, Hiromitsu Hattori, Mark Klein

Abstract
A Model for Collective Strategy Diffusion in Agent Social Law Evolution / 1353
Yichuan Jiang, Toru Ishida

Abstract
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control / 1359
Sven Koenig, Craig Tovey, Xiaoming Zheng, Ilgaz Sungur

Abstract
Vote and Aggregation in Combinatorial Domains with Structured Preferences / 1366
Jérôme Lang

Abstract
Winner Determination in Sequential Majority Voting / 1372
Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh

Abstract
RoxyBot-06: An (SAA)2 TAC Travel Agent / 1378
Seong Jae Lee, Amy Greenwald, Victor Naroditskiy

Abstract
Automatic Verification of Knowledge and Time with NuSMV / 1384
Alessio Lomuscio, Charles Pecheur, Franco Raimondi

Abstract
An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events / 1390
Rónán Mac Ruairí, Mark T. Keane

Abstract
A Multi-Agent Medical System for Indian Rural Infant and Child Care / 1396
Vijay Kumar Mago, M. Syamala Devi

Abstract
Infeasibility Certificates and the Complexity of the Core in Coalitional Games / 1402
Enrico Malizia, Luigi Palopoli, Francesco Scarcello

Abstract
Providing a Recommended Trading Agent to a Population: A Novel Approach / 1408
Efrat Manistersi, Ron Katz, Sarit Kraus

Abstract
Enhancing MAS Cooperative Search Through Coalition Partitioning / 1415
Efrat Manisterski, David Sarne, Sarit Kraus

Abstract
Multipotential Games / 1422
Dov Monderer

Abstract
Multi-Agent System that Attains Longevity via Death / 1428
Megan Olsen, Hava Siegelmann

Abstract
Argumentation Based Contract Monitoring in Uncertain Domains / 1434
Nir Oren, Timothy J. Norman, Alun Preece

Abstract
Dynamic Verification of Trust in Distributed Open Systems / 1440
Nardine Osman, David Robertson

Abstract
Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems / 1446
Jonathan P. Pearce, Milind Tambe

Abstract
MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization / 1452
Adrian Petcu, Boi Faltings

Abstract
DiPRA: Distributed Practical Reasoning Architecture / 1458
Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi

Abstract
Incompleteness and Incomparability in Preference Aggregation / 1464
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh

Abstract
Gossip-Based Aggregation of Trust in Decentralized Reputation Systems / 1470
Ariel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein

Abstract
Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination / 1476
Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar

Abstract
Opponent Modeling in Scrabble / 1482
Mark Richards, Eyal Amir

Abstract
Routing Mediators / 1488
Ola Rozenfeld, Moshe Tennenholtz

Abstract
An Efficient Protocol for Negotiation over Multiple Indivisible Resources / 1494
Sabyasachi Saha, Sandip Sen

Abstract
Automated Design of Multistage Mechanisms / 1500
Tuomas Sandholm, Vincent Conitzer, Craig Boutilier

Abstract
Emergence of Norms through Social Learning / 1507
Sandip Sen, Stéphane Airiau

Abstract
Information-Based Agency / 1513
Carles Sierra, John Debenham

Abstract
Formalizing Communication Protocols for Multiagent Systems / 1519
Munindar P. Singh

Abstract
Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit Laws / 1525
Arpita Sinha, Debasish Ghose

Abstract
On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem / 1531
Evan A. Sultanik, Pragnesh Jay Modi, William C. Regli

Abstract
Emotions as Durative Dynamic State for Action Selection / 1537
Emmanuel Tanguy, Philip Willis, Joanna J. Bryson

Abstract
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents / 1543
Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman

Abstract
Formal Trust Model for Multiagent Systems / 1551
Yonghong Wang, Munindar P. Singh

Abstract
Towards Runtime Behavior Adaptation for Embodied Characters / 1557
Peng Zang, Manish Mehta, Michael Mateas, Ashwin Ram

Abstract
Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions / 1563
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein

Natural Language Processing

Abstract
Phonetic Models for Generating Spelling Variants / 1570
Rahul Bhagat, Eduard Hovy

Abstract
Sequence Prediction Exploiting Similary Information / 1576
István Bíró, Zoltán Szamonek, Csaba Szepesvári

Abstract
Supervised Latent Semantic Indexing Using Adaptive Sprinkling / 1582
Sutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga, Stuart Watt, David Harper

Abstract
A Ranking Approach to Pronoun Resolution / 1588
Pascal Denis, Jason Baldridge

Abstract
Word Sense Disambiguation through Sememe Labeling / 1594
Xiangyu Duan, Jun Zhao, Bo Xu

Abstract
Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System / 1600
Karolina Eliasson

Abstract
Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis / 1606
Evgeniy Gabrilovich, Shaul Markovitch

Abstract
On Natural Language Processing and Plan Recognition / 1612
Christopher W. Geib, Mark Steedman

Abstract
Using Ontologies and the Web to Learn Lexical Semantics / 1618
Aarti Gupta, Tim Oates

Abstract
Unsupervised Anomaly Detection / 1624
David Guthrie, Louise Guthrie, Ben Allison, Yorick Wilks

Abstract
Named Entity Translation with Web Mining and Transliteration / 1629
Long Jiang, Ming Zhou, Lee-Feng Chien, Cheng Niu

Abstract
Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense Classes / 1635
Upali S. Kohomban, Wee Sun Lee

Abstract
Learning from the Report-writing Behavior of Individuals / 1641
Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky

Abstract
SegGen: A Genetic Algorithm for Linear Text Segmentation / 1647
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frederic Saubion

Abstract
Cluster-Based Selection of Statistical Answering Strategies / 1653
Lucian Vlad Lita, Jaime Carbonell

Abstract
Automatically Selecting Answer Templates to Respond to Customer Emails / 1659
Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik

Abstract
A Predictive Approach to Help-Desk Response Generation / 1665
Yuval Marom, Ingrid Zukerman

Abstract
Efficient HPSG Parsing with Supertagging and CFG-Filtering / 1671
Takuya Matsuzaki, Yusuke Miyao, Jun'ichi Tsujii

Abstract
A Flexible Unsupervised PP-Attachment Method Using Semantic Information / 1677
Srinivas Medimi, Pushpak Bhattacharyya

Abstract
Graph Connectivity Measures for Unsupervised Word Sense Disambiguation / 1683
Roberto Navigli, Mirella Lapata

Abstract
Shallow Semantics for Coreference Resolution / 1689
Vincent Ng

Abstract
Subtree Mining for Question Classification Problem / 1695
Minh Le Nguyen, Thanh Tri Nguyen, Akira Shimazu

Abstract
Natural Language Query Recommendation in Conversation Systems / 1701
Shimei Pan, James Shaw

Abstract
A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling Tasks / 1707
Yanxin Shi, Mengqiu Wang

Abstract
Database-Text Alignment via Structured Multilabel Classification / 1713
Benjamin Snyder, Regina Barzilay

Abstract
Dances with Words / 1719
Carlo Strapparava, Alessandro Valitutti, Oliviero Stock

Abstract
Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri / 1725
George Tsatsaronis, Michalis Vazirgiannis, Ion Androutsopoulos

Abstract
Morphological Annotation of a Large Spontaneous Speech Corpus in Japanese / 1731
Kiyotaka Uchimoto, Hitoshi Isahara

Abstract
Speaker-Invariant Features for Automatic Speech Recognition / 1738
Srinivasan Umesh, D. Rama Sanand, G. Praveen

Abstract
Correlation Clustering for Crosslingual Link Detection / 1744
Jurgen Van Gael, Xiaojin Zhu

Abstract
A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues / 1750
Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Rosé, Tsai-Yen Li, Chun-Yen Chang

Abstract
Simple Training of Dependency Parsers via Structured Boosting / 1756
Qin Iris Wang, Dekang Lin, Dale Schuurmans

Abstract
One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition / 1763
Yingchuan Wong, Hwee Tou Ng

Abstract
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations / 1769
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry Kautz

Abstract
Multi-Document Summarization by Maximizing Informative Content-Words / 1776
Wen-tau Yih, Joshua Goodman, Lucy Vanderwende, Hisami Suzuki

Abstract
Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic Parsers / 1783
Kazuhiro Yoshida, Yoshimasa Tsuruoka, Yusuke Miyao, Jun'ichi Tsujii

Abstract
Automatic Acquisition of Context-Specific Lexical Paraphrases / 1789
Shiqi Zhao, Ting Liu, Xincheng Yuan, Sheng Li, Yu Zhang

Abstract
Learning Question Paraphrases for QA from Encarta Logs / 1795
Shiqi Zhao, Ming Zhou, Ting Liu

Planning and Scheduling

Abstract
Detecting Stochastically Scheduled Activities in Video / 1802
Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V.S. Subrahmanian, Octavian Udrea

Abstract
A Heuristic Search Approach to Planning with Temporally Extended Preferences / 1808
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith

Abstract
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing / 1816
Russell Bent, Pascal Van Hentenryck

Abstract
Coalitions in Action Logic / 1822
Stefano Borgo

Abstract
Fast Planning with Iterative Macros / 1828
Adi Botea, Martin Müller, Jonathan Schaeffer

Abstract
Planning for Gene Regulatory Network Intervention / 1834
Daniel Bryce, Seungchan Kim

Abstract
Long-Distance Mutual Exclusion for Propositional Planning / 1840
Yixin Chen, Zhao Xing, Weixiong Zhang

Abstract
Towards an Integration of Golog and Planning / 1846
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel

Abstract
When is Temporal Planning Really Temporal? / 1852
William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld

Abstract
Topological Value Iteration Algorithm for Markov Decision Processes / 1860
Peng Dai, Judy Goldsmith

Abstract
Automatic Synthesis of New Behaviors from a Library of Available Behaviors / 1866
Giuseppe De Giacomo, Sebastian Sardina

Abstract
Planning with Goal Utility Dependencies / 1872
Minh B. Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati

Abstract
A Decision-Theoretic Model of Assistance / 1879
Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli

Abstract
Transferring Learned Control-Knowledge between Planners / 1885
Susana Fernández, Ricardo Aler, Daniel Borrajo

Abstract
Decidable Reasoning in a Modified Situation Calculus / 1891
Yilan Gu, Mikhail Soutchanski

Abstract
Reducing Accidental Complexity in Planning Problems / 1898
Patrik Haslum

Abstract
Planning via Petri Net Unfolding / 1904
Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux, Lang White

Abstract
Detecting Changes in Unlabeled Data Streams Using Martingale / 1912
Shen-Shyang Ho, Harry Wechsler

Abstract
SAT Encodings of State-Space Reachability Problems in Numeric Domains / 1918
Jörg Hoffmann, Carla Gomes, Bart Selman, Henry Kautz

Abstract
Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences / 1924
Chih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen

Abstract
Observation Reduction for Strong Plans / 1930
Wei Huang, Zhonghua Wen, Yunfei Jiang, Lihua Wu

Abstract
The Role of Macros in Tractable Planning over Causal Graphs / 1936
Anders Jonsson

Abstract
Factored Planning Using Decomposition Trees / 1942
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux

Abstract
Property Persistence in the Situation Calculus / 1948
Ryan F. Kelly, Adrian R. Pearce

Abstract
Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with Preferences / 1954
T. K. Satish Kumar

Abstract
Handling Alternative Activities in Resource-Constrained Project Scheduling Problems / 1960
Jürgen Kuster, Jannach Dietmar, Gerhard Friedrich

Abstract
Planning for Temporally Extended Goals as Propositional Satisfiability / 1966
Robert Mattmüller, Jussi Rintanen

Abstract
A Hybridized Planner for Stochastic Domains / 1972
Mausam, Piergiorgio Bertoli, Daniel S. Weld

Abstract
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs / 1979
Luc Mercier, Pascal Van Hentenryck

Abstract
Generalizing Temporal Controllability / 1985
Michael D. Moffitt, Martha E. Pollack

Abstract
An Extension to Conformant Planning Using Logic Programming / 1991
A. Ricardo Morales, Phan Huy Tu, Tran Cao Son

Abstract
Average-Reward Decentralized Markov Decision Processes / 1997
Marek Petrik, Shlomo Zilberstein

Abstract
Graph Decomposition for Efficient Multi-Robot Path Planning / 2003
Malcolm Ryan

Abstract
Memory-Bounded Dynamic Programming for DEC-POMDPs / 2009
Sven Seuken, Shlomo Zilberstein

Abstract
Domain Independent Approaches for Finding Diverse Plans / 2016
Biplav Srivastava, Tuan A. Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina

Abstract
Planning under Risk and Knightian Uncertainty / 2023
Felipe W. Trevizan, Fábio G. Cozman, Leliane N. de Barros

Abstract
Progression of Situation Calculus Action Theories with Incomplete Information / 2029
Stavros Vassos, Hector Levesque

Abstract
Relational Knowledge with Predictive State Representations / 2035
David Wingate, Vishal Soni, Britton Wolfe, Satinder Singh

Abstract
Discriminative Learning of Beam-Search Heuristics for Planning / 2041
Yuehua Xu, Alan Fern, Sungwook Yoon

Abstract
Using Learned Policies in Heuristic-Search Planning / 2047
SungWook Yoon, Alan Fern, Robert Givan

Robotics

Abstract
Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies / 2054
Mehran Asadi, Manfred Huber

Abstract
Image Modeling Using Tree Structured Conditional Random Fields / 2060
Pranjal Awasthi, Aakanksha Gagrani, Balaraman Ravindran

Abstract
Visually Tracking Football Games Based on TV Broadcasts / 2066
Michael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von Hoyningen-Huene, Alexander Perzylo

Abstract
Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction / 2072
Michael Brenner, Nick Hawes, John Kelleher, Jeremy Wyatt

Abstract
Fast Image Alignment Using Anytime Algorithms / 2078
Rupert Brooks, Tal Arbel, Doina Precup

Abstract
Learning to Walk through Imitation / 2084
Rawichote Chalodhorn, David B. Grimes, Keith Grochow, Rajesh P.N. Rao

Abstract
Dealing with Perception Errors in Multi-Robot System Coordination / 2091
Alessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito

Abstract
Team Programming in Golog under Partial Observability / 2097
Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz

Abstract
A New Approach for Stereo Matching in Autonomous Mobile Robot Applications / 2103
Pasquale Foggia, Jean-Michel Jolion, Alessandro Limongiello, Mario Vento

Abstract
Voronoi Random Fields: Extracting Topological Structure of Indoor Environments via Place Labeling / 2109
Stephen Friedman, Hanna Pasula, Dieter Fox

Abstract
Peripheral-Foveal Vision for Real-time Object Recognition and Tracking in Video / 2115
Stephen Gould, Joakim Arfvidsson, Adrian Kaehler, Benjamin Sapp, Marius Messner, Gary Bradski, Paul Baumstarck, Sukwon Chung, Andrew Y. Ng

Abstract
Structure Inference for Bayesian Multisensory Perception and Tracking / 2122
Timothy M. Hospedales, Joel J. Cartwright, Sethu Vijayakumar

Abstract
Fast Incremental Square Root Information Smoothing / 2129
Michael Kaess, Ananth Ranganathan, Frank Dellaert

Abstract
Optimal Multi-Sensor Based Multi Target Detection by Moving Sensors to the Maximal Clique in a Covering Graph / 2135
Ganesh P. Kumar, K. Madhava Krishna

Abstract
Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination / 2141
Wei Liu, Xiaoou Tang, Jianzhuang Liu

Abstract
Topological Mapping through Distributed, Passive Sensors / 2147
Dimitri Marinakis, Gregory Dudek

Abstract
A Distributed Architecture for Symbolic Data Fusion / 2153
Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria

Abstract
Inferring Long-term User Properties Based on Users' Location History / 2159
Yutaka Matsuo, Naoaki Okazaki, Kiyoshi Izumi, Yoshiyuki Nakamura, Takuichi Nishimura, Kôiti Hasida, Hideyuki Nakashima

Abstract
Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian / 2166
Jeffrey Junfeng Pan, Qiang Yang

Abstract
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping / 2172
Amit Kumar Pandey, K. Madhava Krishna, Mainak Nath

Abstract
Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening Doors / 2178
Anna Petrovskaya, Andrew Y. Ng

Abstract
Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process Proposals / 2185
Christian Plagemann, Dieter Fox, Wolfram Burgard

Abstract
Loopy SAM / 2191
Ananth Ranganathan, Michael Kaess, Frank Dellaert

Abstract
Depth Estimation Using Monocular and Stereo Cues / 2197
Ashutosh Saxena, Jamie Schulte, Andrew Y. Ng

Abstract
Efficient Planning of Informative Paths for Multiple Robots / 2204
Amarjeet Singh, Andreas Krause, Carlos Guestrin, William Kaiser, Maxim Batalin

Abstract
Color Learning on a Mobile Robot: Towards Full Autonomy under Changing Illumination / 2212
Mohan Sridharan, Peter Stone

Abstract
Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous Driving / 2218
David Stavens, Gabriel Hoffmann, Sebastian Thrun

Abstract
Instace-Based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range Data / 2225
Rudolph Triebel, Richard Schmidt, Óscar Martínez Mozos, Wolfram Burgard

Abstract
MESH-Based Active Monte Carlo Recognition (MESH-AMCR) / 2231
Felix von Hundelshausen, H. J. Wuensche, Marco Block, Raul Kompass, Raúl Rojas

Abstract
Common Sense Based Joint Training of Human Activity Recognizers / 2237
Shiaokai Wang, William Pentney, Ana-Maria Popescu, Tanzeem Choudhury, Matthai Philipose

Abstract
Using a Mobile Robot for Cognitive Mapping / 2243
Chee K. Wong, Jochen Schmidt, Wai K. Yeap

Search

Abstract
AWA* — A Window Constrained Anytime Heuristic Search Algorithm / 2250
Sandip Aine, Partha P. Chakrabarti, Rajeev Kumar

Abstract
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability / 2256
Gilles Audemard, Laurent Simon

Abstract
Symmetry Breaking in Quantified Boolean Formulae / 2262
Gilles Audemard, Saïd Jabbour, Lakhdar Saïs

Abstract
Computational Aspects of Analyzing Social Network Dynamics / 2268
Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns, Mayur Thakur

Abstract
A Machine Learning Approach for Statistical Software Testing / 2274
Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud

Abstract
Web Page Clustering Using Heuristic Search in the Web Graph / 2280
Ron Bekkerman, Shlomo Zilberstein, James Allan

Abstract
Information-Theoretic Approaches to Branching in Search / 2286
Andrew Gilpin, Tuomas Sandholm

Abstract
From Sampling to Model Counting / 2293
Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman

Abstract
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle / 2300
Éric Grégoire, Bertrand Mazure, Cédric Piette

Abstract
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic / 2306
Joseph Y. Halpern, Leandro Chaves Rego

Abstract
Improving LRTA*(k) / 2312
Carlos Hernández, Pedro Meseguer

Abstract
The Effect of Restarts on the Efficiency of Clause Learning / 2318
Jinbo Huang

Abstract
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem / 2324
Richard E. Korf, Ariel Felner

Abstract
Adaptive Genetic Algorithm with Mutation and Crossover Matrices / 2330
Nga Lam Law, Kwok Yip Szeto

Abstract
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving / 2334
Han Lin, Kaile Su

Abstract
A Multiobjective Frontier Search Algorithm / 2340
Lawrence Mandow, José Luis Pérez de la Cruz

Abstract
A Comparison of Time-Space Schemes for Graphical Models / 2346
Robert Mateescu, Rina Dechter

Abstract
State Space Search for Risk-Averse Agents / 2353
Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme

Abstract
Building Structure into Local Search for SAT / 2359
Duc Nghia Pham, John Thornton, Abdul Sattar

Abstract
Near-Optimal Anytime Coalition Structure Generation / 2365
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Nicholas R. Jennings

Abstract
Real-Time Heuristic Search with a Priority Queue / 2372
D. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson, Jieshan Lu

Abstract
Best-First Utility-Guided Search / 2378
Wheeler Ruml, Minh B. Do

Abstract
Dynamic Weighting A* Search-Based MAP Algorithm for Bayesian Networks / 2385
Xiaoxun Sun, Marek J. Druzdzel, Changhe Yuan

Abstract
The Fringe-Saving A* Search Algorithm - A Feasibility Study / 2391
Xiaoxun Sun, Sven Koenig

Abstract
Using Graph Algebra to Optimize Neighborhood for Isometric Mapping / 2398
Guihua Wen, Lijun Jiang, Nigel R. Shadbolt

Abstract
Lambda Depth-First Proof Number Search and Its Application to Go / 2404
Kazuki Yoshizoe, Akihiro Kishimoto, Martin Müller

Abstract
Edge Partitioning in External-Memory Graph Search / 2410
Rong Zhou, Eric A. Hansen

Uncertainty

Abstract
Solving POMDPs Using Quadratically Constrained Linear Programs / 2418
Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein

Abstract
On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies / 2425
Salem Benferhat, Safa Yahi, Habiba Drias

Abstract
Efficient and Robust Independence-Based Markov Network Structure Discovery / 2431
Facundo Bromberg, Dimitris Margaritis

Abstract
Using Linear Programming for Bayesian Exploration in Markov Decision Processes / 2437
Pablo Samuel Castro, Doina Precup

Abstract
Compiling Bayesian Networks Using Variable Elimination / 2443
Mark Chavira, Adnan Darwiche

Abstract
Representing Kriegspiel States with Metapositions / 2450
Paolo Ciancarini, Gian Piero Favini

Abstract
A Conceptual Graph Approach for the Generation of Referring Expressions / 2456
Madalina Croitoru, Kees Van Deemter

Abstract
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery / 2462
Luc De Raedt, Angelika Kimmig, Hannu Toivonen

Abstract
Belief Change Based on Global Minimisation / 2468
James P. Delgrande, Jérôme Lang, Torsten Schaub

Abstract
The Value of Observation for Monitoring Dynamic Systems / 2474
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour

Abstract
WiFi-SLAM Using Gaussian Process Latent Variable Models / 2480
Brian Ferris, Dieter Fox, Neil Lawrence

Abstract
Revisiting Output Coding for Sequential Supervised Learning / 2486
Guohua Hao, Alan Fern

Abstract
Graph-Based Semi-Supervised Learning as a Generative Model / 2492
Jingrui He, Jaime Carbonell, Yan Liu

Abstract
An Action Description Language for Iterated Belief Change / 2498
Aaron Hunter, James P. Delgrande

Abstract
Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem / 2504
Jorge Jambeiro Filho, Jacques Wainer

Abstract
A Factor Graph Model for Software Bug Finding / 2510
Ted Kremenek, Andrew Y. Ng, Dawson Engler

Abstract
Belief Update Revisited / 2517
Jérôme Lang

Abstract
Dynamically Weighted Hidden Markov Model for Spam Deobfuscation / 2523
Seunghak Lee, Iryoung Jeong, Seungjin Choi

Abstract
Training Conditional Random Fields Using Virtual Evidence Boosting / 2530
Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry Kautz

Abstract
A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources / 2536
Janusz Marecki, Sven Koenig, Milind Tambe

Abstract
Hierarchical Heuristic Forward Search in Stochastic Domains / 2542
Nicolas Meuleau, Ronen I. Brafman

Abstract
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs / 2550
Shin-ichi Minato, Ken Satoh, Taisuke Sato

Abstract
Efficiently Exploiting Symmetries in Real Time Dynamic Programming / 2556
Shravan Matthur Narayanamurthy, Balaraman Ravindran

Abstract
Hierarchical Multi-channel Hidden Semi Markov Models / 2562
Pradeep Natarajan, Ramakant Nevatia

Abstract
Iterated Belief Contraction from First Principles / 2568
Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun

Abstract
An Analysis of Laplacian Methods for Value Function Approximation in MDPs / 2574
Marek Petrik

Abstract
Global/Local Dynamic Models / 2580
Avi Pfeffer, Subrata Das, David Lawless, Brenda Ng

Abstract
Bayesian Inverse Reinforcement Learning / 2586
Deepak Ramachandran, Eyal Amir

Abstract
AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement in Large POMDPs / 2592
Stéphane Ross, Brahim Chaib-draa

Abstract
Efficient Bayesian Task-Level Transfer Learning / 2599
Daniel M. Roy, Leslie P. Kaelbling

Abstract
Inside-Outside Probability Computation for Belief Propagation / 2605
Taisuke Sato

Abstract
Logical Circuit Filtering / 2611
Dafna Shahaf, Eyal Amir

Abstract
Forward Search Value Iteration for POMDPs / 2619
Guy Shani, Ronen I. Brafman, Solomon E. Shimony

Abstract
Dynamic Interactions between Goals and Beliefs / 2625
Steven Shapiro, Gerhard Brewka

Abstract
Inferring Complex Agent Motions from Partial Trajectory Observations / 2631
Finnegan Southey, Wesley Loh, Dana Wilkinson

Abstract
Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected Value Approximation and Dynamic Disjunctive Beliefs / 2638
Pradeep Varakantham, Rajiv T. Maheswaran, Tapana Gupta, Milind Tambe

Web / Data Mining

Abstract
Distributed Data Mining: Why Do More Than Aggregating Models / 2645
Mohamed Aoun-Allah, Guy Mineau

Abstract
Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations / 2651
Liviu Badea, Doina Tilivea

Abstract
Determining Expert Profiles (With an Application to Expert Finding) / 2657
Krisztian Balog, Maarten de Rijke

Abstract
Learning “Forgiving” Hash Functions: Algorithms and Large Scale Tests / 2663
Shumeet Baluja, Michele Covell

Abstract
Open Information Extraction from the Web / 2670
Michele Banko, Michael J. Cafarella, Stephen Soderland, Matt Broadhead, Oren Etzioni

Abstract
Trust Based Recommender System for Semantic Web / 2677
Punam Bedi, Harmeet Kaur, Sudeep Marwaha

Abstract
Identifying Expressions of Opinion in Context / 2683
Eric Breck, Yejin Choi, Claire Cardie

Abstract
Detect and Track Latent Factors with Online Nonnegative Matrix Factorization / 2689
Bin Cao, Dou Shen, Jian-Tao Sun, Xuanhui Wang, Qiang Yang, Zheng Chen

Abstract
Learning Semantic Descriptions of Web Information Sources / 2695
Mark James Carman, Craig A. Knoblock

Abstract
An Improved Probabilistic Ant based Clustering for Distributed Databases / 2701
Ramachandran Chandrasekar, Thanukrishnan Srinivasan

Abstract
Directed Graph Embedding / 2707
Mo Chen, Qiong Yang, Xiaoou Tang

Abstract
Constructing Career Histories: A Case Study in Disentangling the Threads / 2713
Paul R. Cohen

Abstract
Change of Representation for Statistical Relational Learning / 2719
Jesse Davis, Irene Ong, Jan Struyf, Elizabeth Burnside, David Page, Vítor Santos Costa

Abstract
Pseudo-Aligned Multilingual Corpora / 2727
Fernando Diaz, Donald Metzler

Abstract
Locating Complex Named Entities in Web Text / 2733
Doug Downey, Matthew Broadhead, Oren Etzioni

Abstract
Models of Searching and Browsing: Languages, Studies, and Application / 2740
Doug Downey, Susan Dumais, Eric Horvitz

Abstract
An Adaptive Context-Based Algorithm for Term Weighting: Application to Single-Word Question Answering / 2748
Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli

Abstract
Semi-Supervised Learning for Multi-Component Data Classification / 2754
Akinori Fujino, Naonori Ueda, Kazumi Saito

Abstract
Opinion Sentence Search Engine on Open-Domain Blog / 2760
Osamu Furuse, Nobuaki Hiroshima, Setsuo Yamada, Ryoji Kataoka

Abstract
ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines / 2766
Marco Gori, Augusto Pucci

Abstract
An Analysis of the Use of Tags in a Blog Recommender System / 2772
Conor Hayes, Paolo Avesani, Sriharsha Veeramachaneni

Abstract
Efficient Calculation of Personalized Document Rankings / 2778
Claudia Hess, Klaus Stein

Abstract
Computation of Initial Modes for K-modes Clustering Algorithm Using Evidence Accumulation / 2784
Shehroz S. Khan, Shri Kant

Abstract
Logistic Regression Models for a Fast CBIR Method Based on Feature Selection / 2790
Riadh Ksantini, Djemel Ziou, Bernard Colin, Francois Dubeau

Abstract
Collapsed Variational Dirichlet Process Mixture Models / 2796
Kenichi Kurihara, Max Welling, Yee Whye Teh

Abstract
Learning to Identify Unexpected Instances in the Test Set / 2802
Xiao-li Li, Bing Liu, See-Kiong Ng

Abstract
Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB Matching Stegangoraphy in Grayscale Images / 2808
Qingzhong Liu, Andrew H. Sung

Abstract
Improving Activity Discovery with Automatic Neighborhood Estimation / 2814
David Minnen, Thad Starner, Irfan Essa, Charles Isbell

Abstract
Extracting Keyphrases to Represent Relations in Social Networks from Web / 2820
Junichiro Mori, Ishizuka Mitsuru, Yutaka Matsuo

Abstract
Extracting and Visualizing Trust Relationships from Online Auction Feedback Comments / 2826
John O'Donovan, Barry Smyth, Vesile Evrim, Dennis McLeod

Abstract
What You Seek Is What You Get: Extraction of Class Attributes from Query Logs / 2832
Marius Pasca, Benjamin Van Durme

Abstract
Semi-Supervised Learning of Attribute-Value Pairs from Product Descriptions / 2838
Katharina Probst, Rayid Ghani, Marko Krema, Andrew Fano, Yan Liu

Abstract
A Fusion of Stacking with Dynamic Integration / 2844
Niall Rooney, David Patterson

Abstract
Robust Human-Computer Interaction System Guiding a User by Providing Feedback / 2850
Michael S. Ryoo, Jake K. Aggarwal

Abstract
Combining Learning and Word Sense Disambiguation for Intelligent User Profiling / 2856
Giovanni Semeraro, Marco Degemmis, Pasquale Lops, Pierpaolo Basile

Abstract
Document Summarization Using Conditional Random Fields / 2862
Dou Shen, Jian-Tao Sun, Hua Li, Qiang Yang, Zheng Chen

Abstract
Real-Time Detection of Task Switches of Desktop Users / 2868
Jianqiang Shen, Lida Li, Thomas G. Dietterich

Abstract
Estimating the Rate of Web Page Updates / 2874
Sanasam Ranbir Singh

Abstract
On the Automatic Scoring of Handwritten Essays / 2880
Sargur Srihari, Rohini Srihari, Pavithra Babu, Harish Srinivasan

Abstract
Layout Analysis of Tree-Structured Scene Frames in Comic Images / 2885
Takamasa Tanaka, Kenji Shoji, Fubito Toyama, Juichi Miyamichi

Abstract
Face Recognition via the Overlapping Energy Histogram / 2891
Ronny Tjahyadi, Wanquan Liu, Senjian An, Svetha Venkatesh

Abstract
Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community / 2897
Paola Velardi, Roberto Navigli, Michaël Petit

Abstract
Manifold-Ranking Based Topic-Focused Multi-Document Summarization / 2903
Xiaojun Wan, Jianwu Yang, Jianguo Xiao

Abstract
Dynamic Mixture Models for Multiple Time-Series / 2909
Xing Wei, Jimeng Sun, Xuerui Wang

Abstract
Automatic Decision of Piano Fingering Based on a Hidden Markov Models / 2915
Yuichiro Yonebayashi, Hirokazu Kameoka, Shigeki Sagayama

Abstract
Exploiting Image Contents in Web Search / 2922
Zhi-Hua Zhou, Hong-Bin Dai

Abstract
Semantic Smoothing of Document Models for Agglomerative Clustering / 2928
Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu

Abstract
Mining Complex Patterns across Sequences with Gap Requirements / 2934
Xingquan Zhu, Xindong Wu

Index / 2942