IJCAI 2009

335 papers

A Characterisation of Strategy-Proofness for Grounded Argumentation Semantics Iyad Rahwan, Kate Larson, Fernando A. Tohmé

A Computational Model for the Alignment of Hierarchical Scene Representations in Human-Robot Interaction Agnes Swadzba, Sven Wachsmuth, Constanze Vorwerg, Gert Rickheit

A Content-Based Method to Enhance Tag Recommendation Yu-Ta Lu, Shoou-I Yu, Tsung-Chieh Chang, Jane Yung-jen Hsu

A Context Driven Approach for Workflow Mining Fusun Yaman, Tim Oates, Mark H. Burstein

A Dichotomy Theorem on the Existence of Efficient or Neutral Sequential Voting Correspondences Lirong Xia, Jérôme Lang

A Distributed Control Loop for Autonomous Recovery in a Multi-Agent Plan Roberto Micalizio

A Divide-and-Conquer Approach for Solving Interval Algebra Networks Jason Jingshi Li, Jinbo Huang, Jochen Renz

A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management Bernhard Nebel, Jochen Renz

A General Approach to Environment Design with One Agent Haoqi Zhang, Yiling Chen, David C. Parkes

A Kernel Method for Market Clearing Sébastien Lahaie

A Logic for Coalitions with Bounded Resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

A Logic for Reasoning About Counterfactual Emotions Emiliano Lorini, François Schwarzentruber

A Multi-Agent Learning Approach to Online Distributed Resource Allocation Chongjie Zhang, Victor R. Lesser, Prashant J. Shenoy

A Multivariate Complexity Analysis of Determining Possible Winners Given Incomplete Votes Nadja Betzler, Susanne Hemmann, Rolf Niedermeier

A New Bayesian Approach to Multiple Intermittent Fault Diagnosis Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

A New D-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT Knot Pipatsrisawat, Adnan Darwiche

A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque

A Soft Global Precedence Constraint David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson

A Sparse Covariance Function for Exact Gaussian Process Inference in Large Datasets Arman Melkumyan, Fabio Ramos

A Structural Approach to Reasoning with Quantified Boolean Formulas Luca Pulina, Armando Tacchella

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

A Syntax-Based Framework for Merging Imprecise Probabilistic Logic Programs Anbu Yue, Weiru Liu

A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

A Translation-Based Approach to Contingent Planning Alexandre Albore, Héctor Palacios, Hector Geffner

A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation Phan Minh Dung, Phan Minh Thang

A Visual Approach to Sketched Symbol Recognition Tom Y. Ouyang, Randall Davis

A* Search with Inconsistent Heuristics Zhifu Zhang, Nathan R. Sturtevant, Robert C. Holte, Jonathan Schaeffer, Ariel Felner

Abnormal Activity Recognition Based on HDP-HMM Models Derek Hao Hu, Xian-Xing Zhang, Jie Yin, Vincent Wenchen Zheng, Qiang Yang

Acquiring Agent-Based Models of Conflict from Event Data Glenn Taylor, Michael Quist, Allen Hicken

Active Policy Iteration: Efficient Exploration Through Active Learning for Value Function Approximation in Reinforcement Learning Takayuki Akiyama, Hirotaka Hachiya, Masashi Sugiyama

Activity Recognition with Intended Actions Alfredo Gabaldon

Activity Recognition: Linking Low-Level Sensors to High-Level Intelligence Qiang Yang

Adaptive Cluster Ensemble Selection Javad Azimi, Xiaoli Z. Fern

Adversarial Uncertainty in Multi-Robot Patrol Noa Agmon, Sarit Kraus, Gal A. Kaminka, Vladimir Sadov

Algorithms and Complexity Results for Pursuit-Evasion Problems Richard B. Borie, Craig A. Tovey, Sven Koenig

An Argumentation-Based Interpreter for Golog Programs Michelle L. Blom, Adrian R. Pearce

An Efficient Nonnegative Matrix Factorization Approach in Flexible Kernel Space Daoqiang Zhang, Wanquan Liu

Analysis of a Winning Computational Billiards Player Christopher Archibald, Alon Altman, Yoav Shoham

Angluin-Style Learning of NFA Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker

Answer-Set Programming with Bounded Treewidth Michael Jakl, Reinhard Pichler, Stefan Woltran

Applications and Extensions of PTIME Description Logics with Functional Constraints David Toman, Grant E. Weddell

Argumentation System with Changes of an Agent's Knowledge Base Kenichi Okuno, Kazuko Takahashi

Automated Theorem Proving for General Game Playing Stephan Schiffel, Michael Thielscher

Autonomously Learning an Action Hierarchy Using a Learned Qualitative State Representation Jonathan Mugan, Benjamin Kuipers

Axiomatic Characterization of Task Oriented Negotiation Dongmo Zhang

Balancing Utility and Deal Probability for Auction-Based Negotiations in Highly Nonlinear Utility Spaces Ivan Marsá-Maestre, Miguel A. López-Carmona, Juan R. Velasco, Takayuki Ito, Mark Klein, Katsuhide Fujita

Bayesian Extreme Components Analysis Yutian Chen, Max Welling

Bayesian Real-Time Dynamic Programming Scott Sanner, Robby Goetschalckx, Kurt Driessens, Guy Shani

Best-First Heuristic Search for Multi-Core Machines Ethan Burns, Seth Lemons, Rong Zhou, Wheeler Ruml

Bidirectional Answer Set Programs with Function Symbols Thomas Eiter, Mantas Simkus

Boosting Constrained Mutual Subspace Method for Robust Image-Set Based Object Recognition Xi Li, Kazuhiro Fukui, Nanning Zheng

Bootstrap Voting Experts Daniel Hewlett, Paul R. Cohen

Can Movies and Books Collaborate? Cross-Domain Collaborative Filtering for Sparsity Reduction Bin Li, Qiang Yang, Xiangyang Xue

Canadian Traveler Problem with Remote Sensing Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony

Ceteris Paribus Preference Elicitation with Predictive Guarantees Yannis Dimopoulos, Loizos Michael, Fani Athienitou

Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions Valeria Fionda, Gianluigi Greco

Circuit Complexity and Decompositions of Global Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Toby Walsh

Circumscriptive Event Calculus as Answer Set Programming Tae-Won Kim, Joohyung Lee, Ravi Palla

Coalition Structure Generation in Multi-Agent Systems with Positive and Negative Externalities Talal Rahwan, Tomasz P. Michalak, Nicholas R. Jennings, Michael J. Wooldridge, Peter McBurney

Coalitional Affinity Games and the Stability Gap Simina Brânzei, Kate Larson

Collaboration and Shared Plans in the Open World: Studies of Ridesharing Ece Kamar, Eric Horvitz

Collaborative Multi Agent Physical Search with Probabilistic Knowledge Noam Hazon, Yonatan Aumann, Sarit Kraus

Combining Breadth-First and Depth-First Strategies in Searching for Treewidth Rong Zhou, Eric A. Hansen

Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity Weiming Liu, Sanjiang Li, Jochen Renz

Combining Speech and Sketch to Interpret Unconstrained Descriptions of Mechanical Devices David Tyler Bischel, Thomas F. Stahovich, Eric Jeffrey Peterson, Randall Davis, Aaron Adler

Commitment Tracking via the Reactive Event Calculus Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni

Compiling the Votes of a Subelectorate Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie

Completeness and Optimality Preserving Reduction for Planning Yixin Chen, Guohui Yao

Complexity of Unweighted Coalitional Manipulation Under Some Common Voting Rules Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer, Jeffrey S. Rosenschein

Composition of ConGolog Programs Sebastian Sardiña, Giuseppe De Giacomo

Computational Properties of Resolution-Based Grounded Semantics Pietro Baroni, Paul E. Dunne, Massimiliano Giacomin

Computational Semantics of Noun Compounds in a Semantic Space Model Akira Utsumi

Computing Equilibria in Multiplayer Stochastic Games of Imperfect Information Sam Ganzfried, Tuomas Sandholm

Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods Sylvain Bouveret, Ulle Endriss, Jérôme Lang

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System Carsten Lutz, David Toman, Frank Wolter

Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov

Context-Based Approach for Pivot Translation Services Rie Tanaka, Yohei Murakami, Toru Ishida

Context-Sensitive Semantic Smoothing Using Semantically Relatable Sequences Kamaljeet S. Verma, Pushpak Bhattacharyya

Control-Based Clause Sharing in Parallel SAT Solving Youssef Hamadi, Saïd Jabbour, Lakhdar Sais

Cost-Optimal Planning with Landmarks Erez Karpas, Carmel Domshlak

CTPPL: A Continuous Time Probabilistic Programming Language Avi Pfeffer

DCOPs Meet the Real World: Exploring Unknown Reward Matrices with Applications to Mobile Sensor Networks Manish Jain, Matthew E. Taylor, Milind Tambe, Makoto Yokoo

Decentralised Coordination of Mobile Sensors Using the Max-Sum Algorithm Ruben Stranders, Alessandro Farinelli, Alex Rogers, Nicholas R. Jennings

Declarative Programming of Search Problems with Built-in Arithmetic Eugenia Ternovska, David G. Mitchell

Decomposition of Declarative Knowledge Bases with External Functions Thomas Eiter, Michael Fink, Thomas Krennwallner

Decompositions of All Different, Global Cardinality and Related Constraints Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes Piero A. Bonatti, Marco Faella, Luigi Sauro

Delaying Commitment in Plan Recognition Using Combinatory Categorial Grammars Christopher W. Geib

Detection of Imperative and Declarative Question-Answer Pairs in Email Conversations Helen Kwong, Neil Yorke-Smith

Diagnosing Multiple Persistent and Intermittent Faults Johan de Kleer

Dialectical Abstract Argumentation: A Characterization of the Marking Criterion Nicolás D. Rotstein, Martín O. Moguillansky, Guillermo Ricardo Simari

Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs Pingzhong Tang, Fangzhen Lin

Discriminative Semi-Supervised Feature Selection via Manifold Regularization Zenglin Xu, Rong Jin, Michael R. Lyu, Irwin King

DL-LITER in the Light of Propositional Logic for Decentralized Data Management Nada Abdallah, François Goasdoué, Marie-Christine Rousset

Domain Adaptation via Transfer Component Analysis Sinno Jialin Pan, Ivor W. Tsang, James T. Kwok, Qiang Yang

Domain-Guided Novelty Detection for Autonomous Exploration David R. Thompson

Domain-Independent, Automatic Partitioning for Probabilistic Planning Peng Dai, Mausam, Daniel S. Weld

DrosophilaGene Expression Pattern Annotation Through Multi-Instance Multi-Label Learning Ying-Xin Li, Shuiwang Ji, Sudhir Kumar, Jieping Ye, Zhi-Hua Zhou

Duplicate Avoidance in Depth-First Search with Applications to Treewidth P. Alex Dow, Richard E. Korf

Dynamic Configuration of Agent Organizations Evan Sultanik, Robert N. Lass, William C. Regli

Dynamic Selection of Ontological Alignments: A Space Reduction Mechanism Paul Doran, Valentina Tamma, Terry R. Payne, Ignazio Palmisano

Early Prediction on Time Series: A Nearest Neighbor Approach Zhengzheng Xing, Jian Pei, Philip S. Yu

Effective Query Rewriting with Ontologies over DBoxes Inanç Seylan, Enrico Franconi, Jos de Bruijn

Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Efficient Computation of Jointree Bounds for Systematic MAP Search Changhe Yuan, Eric A. Hansen

Efficient Dominant Point Algorithms for the Multiple Longest Common Subsequence (MLCS) Problem Qingguo Wang, Dmitry Korkin, Yi Shang

Efficient Estimation of Influence Functions for SIS Model on Social Networks Masahiro Kimura, Kazumi Saito, Hiroshi Motoda

Efficient Incremental Search for Moving Target Search Xiaoxun Sun, William Yeoh, Sven Koenig

Efficient Inference for Expressive Comparative Preference Languages Nic Wilson

Efficient Online Learning and Prediction of Users' Desktop Actions Omid Madani, Hung Bui, Eric Yeh

Efficient Skill Learning Using Abstraction Selection George Dimitri Konidaris, Andrew G. Barto

Eliciting Honest Reputation Feedback in a Markov Setting Jens Witkowski

Equivalence Relations in Fully and Partially Observable Markov Decision Processes Pablo Samuel Castro, Prakash Panangaden, Doina Precup

Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC Stefano Borgo

Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

Evaluating Description and Reference Strategies in a Cooperative Human-Robot Dialogue System Mary Ellen Foster, Manuel Giuliani, Amy Isard, Colin Matheson, Jon Oberlander, Alois C. Knoll

Evaluating Strategies for Running from the Cops Carsten Moldenhauer, Nathan R. Sturtevant

Event-Detecting Multi-Agent MDPs: Complexity and Constant-Factor Approximations Akshat Kumar, Shlomo Zilberstein

Exchanging Reputation Information Between Communities: A Payment-Function Approach Georgia Kastidou, Kate Larson, Robin Cohen

Expanding Domain Sentiment Lexicon Through Double Propagation Guang Qiu, Bing Liu, Jiajun Bu, Chun Chen

Experiments with Massively Parallel Constraint Solving Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz

Explicit Versus Latent Concept Models for Cross-Language Information Retrieval Philipp Cimiano, Antje Schultz, Sergej Sizov, Philipp Sorg, Steffen Staab

Exploiting Background Knowledge to Build Reference Sets for Information Extraction Matthew Michelson, Craig A. Knoblock

Exploiting Decomposition on Constraint Problems with High Tree-Width Matthew Kitching, Fahiem Bacchus

Exploiting Multi-Modal Interactions: A Unified Framework Ming Li, Xiao-Bing Xue, Zhi-Hua Zhou

Exponential Family Hybrid Semi-Supervised Learning Arvind Agarwal, Hal Daumé Iii

Exponential Family Sparse Coding with Application to Self-Taught Learning Honglak Lee, Rajat Raina, Alex Teichman, Andrew Y. Ng

Expressive Power-Based Resource Allocation for Data Centers Benjamin Lubin, Jeffrey O. Kephart, Rajarshi Das, David C. Parkes

Extending Decidable Cases for Rules with Existential Variables Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Fast Active Tabu Search and Its Application to Image Retrieval Chao Zhang, Hongyu Li, Qiyong Guo, Jinyuan Jia, I-Fan Shen

Fast Recommendations Using GAI Models Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny

Finite Local Consistency Characterizes Generalized Scoring Rules Lirong Xia, Vincent Conitzer

Flexible Procurement of Services with Uncertain Durations Using Redundancy Sebastian Stein, Enrico H. Gerding, Alex Rogers, Kate Larson, Nicholas R. Jennings

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies Boris Konev, Dirk Walther, Frank Wolter

FRACTAL: Efficient Fault Isolation Using Active Testing Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Generalised Fictitious Play for a Continuum of Anonymous Players Zinovi Rabinovich, Enrico H. Gerding, Maria Polukarov, Nicholas R. Jennings

Generalized Cluster Aggregation Fei Wang, Xin Wang, Tao Li

Generalized Clustergrams for Overlapping Biclusters Liviu Badea

Generalized First Order Decision Diagrams for First Order Markov Decision Processes Saket Joshi, Kristian Kersting, Roni Khardon

Goal Recognition with Variable-Order Markov Models Marcelo Gabriel Armentano, Analía Amandi

Goal-Driven Learning in the GILA Integrated Intelligence Architecture Jainarayan Radhakrishnan, Santiago Ontañón, Ashwin Ram

Graph Embedding with Constraints Xiaofei He, Ming Ji, Hujun Bao

Graph-Based Multi-Modality Learning for Topic-Focused Multi-Document Summarization Xiaojun Wan, Jianguo Xiao

Greedy Algorithms for Sequential Sensing Decisions Hannaneh Hajishirzi, Afsaneh Shirazi, Jaesik Choi, Eyal Amir

gRegress: Extracting Features from Graph Transactions for Regression Nikhil S. Ketkar, Lawrence B. Holder, Diane J. Cook

How Experience of the Body Shapes Language About Space Luc Steels, Michael Spranger

How Hard Is It to Control Sequential Elections via the Agenda? Vincent Conitzer, Jérôme Lang, Lirong Xia

How Pervasive Is the Myerson-Satterthwaite Impossibility? Abraham Othman, Tuomas Sandholm

HTN Planning with Preferences Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

Human Activity Encoding and Recognition Using Low-Level Visual Features Zheshen Wang, Baoxin Li

Import-by-Query: Ontology Reasoning Under Access Limitations Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov

Improving a Virtual Human Using a Model of Degrees of Grounding Antonio Roque, David R. Traum

Improving Morphology Induction by Learning Spelling Rules Jason Naradowsky, Sharon Goldwater

Improving Search in Social Networks by Agent Based Mining Anil Gürsel, Sandip Sen

Improving State Evaluation, Inference, and Search in Trick-Based Card Games Michael Buro, Jeffrey Richard Long, Timothy Furtak, Nathan R. Sturtevant

Incorporating User Behaviors in New Word Detection Yabin Zheng, Zhiyuan Liu, Maosong Sun, Liyun Ru, Yang Zhang

Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events Adi Botea, André A. Ciré

Incremental Phi*: Incremental Any-Angle Path Planning on Grids Alex Nash, Sven Koenig, Maxim Likhachev

Information-Lookahead Planning for AUV Mapping Zeyn A. Saigol, Richard Dearden, Jeremy L. Wyatt, Bramley J. Murton

Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT Lukas Kroc, Ashish Sabharwal, Carla P. Gomes, Bart Selman

Intelligent Tutoring Systems: New Challenges and Directions Cristina Conati

Interpreting Written How-to Instructions Tessa A. Lau, Clemens Drews, Jeffrey Nichols

Interruptible Algorithms for Multi-Problem Solving Spyros Angelopoulos, Alejandro López-Ortiz

Introspection and Adaptable Model Integration for Dialogue-Based Question Answering Daniel Sonntag

Inverse Reinforcement Learning in Partially Observable Environments Jaedeug Choi, Kee-Eung Kim

Investigations of Continual Computation Dafna Shahaf, Eric Horvitz

Is It Enough to Get the Behavior Right? Hector J. Levesque

Iterated Regret Minimization: A New Solution Concept Joseph Y. Halpern, Rafael Pass

K-Swaps: Cooperative Negotiation for Solving Task-Allocation Problems Xiaoming Zheng, Sven Koenig

Knowing More - From Global to Local Correspondence Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

Knowledge Compilation Properties of Trees-of-BDDs, Revisited Hélène Fargier, Pierre Marquis

Knowledge Driven Dimension Reduction for Clustering Ian Davidson

Knowledge Transfer on Hybrid Graph Zheng Wang, Yangqiu Song, Changshui Zhang

Knowledge-Based WSD and Specific Domains: Performing Better than Generic Supervised WSD Eneko Agirre, Oier Lopez de Lacalle, Aitor Soroa

Labellings and Games for Extended Argumentation Frameworks Sanjay Modgil

Large Margin Boltzmann Machines Xu Miao, Rajesh P. N. Rao

Large-Scale Taxonomy Mapping for Restructuring and Integrating Wikipedia Simone Paolo Ponzetto, Roberto Navigli

Latent Variable Perceptron Algorithm for Structured Classification Xu Sun, Takuya Matsuzaki, Daisuke Okanohara, Jun'ichi Tsujii

Learning a Value Analysis Tool for Agent Evaluation Martha White, Michael H. Bowling

Learning Conditional Preference Networks with Queries Frédéric Koriche, Bruno Zanuttini

Learning Graphical Game Models Quang Duong, Yevgeniy Vorobeychik, Satinder Singh, Michael P. Wellman

Learning Hierarchical Task Networks for Nondeterministic Planning Domains Chad Hogg, Ugur Kuter, Héctor Muñoz-Avila

Learning HTN Method Preconditions and Action Models from Partial Observations Hankz Hankui Zhuo, Derek Hao Hu, Chad Hogg, Qiang Yang, Hector Muñoz-Avila

Learning Kinematic Models for Articulated Objects Jürgen Sturm, Vijay Pradeep, Cyrill Stachniss, Christian Plagemann, Kurt Konolige, Wolfram Burgard

Learning Optimal Subsets with Implicit User Preferences Yunsong Guo, Carla P. Gomes

Learning Probabilistic Hierarchical Task Networks to Capture User Preferences Nan Li, Subbarao Kambhampati, Sung Wook Yoon

Learning the Optimal Neighborhood Kernel for Classification Jun Liu, Jianhui Chen, Songcan Chen, Jieping Ye

Learning to Follow Navigational Route Instructions Nobuyuki Shimizu, Andrew R. Haas

Lifted Aggregation in Directed First-Order Probabilistic Models Jacek Kisynski, David Poole

Linear Dimensionality Reduction for Multi-Label Classification Shuiwang Ji, Jieping Ye

Local Learning Regularized Nonnegative Matrix Factorization Quanquan Gu, Jie Zhou

Local Query Mining in a Probabilistic Prolog Angelika Kimmig, Luc De Raedt

Local Search: Is Brute-Force Avoidable? Michael R. Fellows, Frances A. Rosamond, Fedor V. Fomin, Daniel Lokshtanov, Saket Saurabh, Yngve Villanger

Locality Preserving Nonnegative Matrix Factorization Deng Cai, Xiaofei He, Xuanhui Wang, Hujun Bao, Jiawei Han

M3IC: Maximum Margin Multiple Instance Clustering Dan Zhang, Fei Wang, Luo Si, Tao Li

Machine Learning in Ecosystem Informatics and Sustainability Thomas G. Dietterich

Maintaining Predictions over Time Without a Model Erik Talvitie, Satinder Singh

Making Bound Consistency as Effective as Arc Consistency Christian Bessiere, Thierry Petit, Bruno Zanuttini

Manifold Alignment Without Correspondence Chang Wang, Sridhar Mahadevan

Markov Network Based Ontology Matching Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony

Memory-Based Heuristics for Explicit State Spaces Nathan R. Sturtevant, Ariel Felner, Max Barer, Jonathan Schaeffer, Neil Burch

Methodology for Designing Reasonably Expressive Mechanisms with Application to Ad Auctions Michael Benisch, Norman M. Sadeh, Tuomas Sandholm

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Minimum Proof Graphs and Fastest-Cut-First Search Heuristics Timothy Furtak, Michael Buro

Mixing Search Strategies for Multi-Player Games Inon Zuckerman, Ariel Felner, Sarit Kraus

Model-Based Revision Operators for Terminologies in Description Logics Guilin Qi, Jianfeng Du

Modeling Agents Through Bounded Rationality Theories Avi Rosenfeld, Sarit Kraus

Monte Carlo Tree Search Techniques in the Game of Kriegspiel Paolo Ciancarini, Gian Piero Favini

Monte-Carlo Exploration for Deterministic Planning Hootan Nakhost, Martin Müller

Multi-Class Classifiers and Their Underlying Shared Structure Volkan Vural, Glenn Fung, Rómer Rosales, Jennifer G. Dy

Multi-Relational Learning with Gaussian Processes Zhao Xu, Kristian Kersting, Volker Tresp

Multi-Step Multi-Sensor Hider-Seeker Games Erik Halvorson, Vincent Conitzer, Ronald Parr

Multi-Way Number Partitioning Richard E. Korf

Multiclass Probabilistic Kernel Discriminant Analysis Zheng Zhao, Liang Sun, Shipeng Yu, Huan Liu, Jieping Ye

Multimode Control Attacks on Elections Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

Multiobjective Optimization Using GAI Models Jean-Philippe Dubus, Christophe Gonzales, Patrice Perny

Multiple Information Sources Cooperative Learning Xingquan Zhu, Ruoming Jin

Multiscale Analysis of Document Corpora Based on Diffusion Models Chang Wang, Sridhar Mahadevan

Negotiation Using Logic Programming with Consistency Restoring Rules Tran Cao Son, Chiaki Sakama

Nested Monte-Carlo Search Tristan Cazenave

New Improvements in Optimal Rectangle Packing Eric Huang, Richard E. Korf

Next Steps in Propositional Horn Contraction Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak

Nominals for Everyone Lutz Schröder, Dirk Pattinson, Clemens Kupke

Non-Metric Label Propagation Yin Zhang, Zhi-Hua Zhou

Nonmanipulable Selections from a Tournament Alon Altman, Ariel D. Procaccia, Moshe Tennenholtz

Nonmyopic Adaptive Informative Path Planning for Multiple Robots Amarjeet Singh, Andreas Krause, William J. Kaiser

On Combinations of Binary Qualitative Constraint Calculi Stefan Wölfl, Matthias Westphal

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond Yongmei Liu, Gerhard Lakemeyer

On Multiple Kernel Learning with Multiple Labels Lei Tang, Jianhui Chen, Jieping Ye

On Solving Boolean Multilevel Optimization Problemse Josep Argelich, Inês Lynce, João Marques-Silva

On the Accrual of Arguments in Defeasible Logic Programming Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari

On the Complexity of Compact Coalitional Games Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello

On the Equivalence Between Canonical Correlation Analysis and Orthonormalized Partial Least Squares Liang Sun, Shuiwang Ji, Shipeng Yu, Jieping Ye

On the Tip of My Thought: Playing the Guillotine Game Giovanni Semeraro, Pasquale Lops, Pierpaolo Basile, Marco de Gemmis

On-Line Evolutionary Exponential Family Mixture Jianwen Zhang, Yangqiu Song, Gang Chen, Changshui Zhang

Online Graph Planarisation for Synchronous Parsing of Semantic and Syntactic Dependencies Ivan Titov, James Henderson, Paola Merlo, Gabriele Musillo

Online Stochastic Optimization in the Large: Application to Kidney Exchange Pranjal Awasthi, Tuomas Sandholm

Open Contractible Global Constraints Michael J. Maher

Optimal Symbolic Planning with Action Costs and Preferences Stefan Edelkamp, Peter Kissmann

Parameter Identification in a Class of Linear Structural Equation Models Jin Tian

Plan Recognition as Planning Miquel Ramírez, Hector Geffner

Planning Games Ronen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz

Planning with Partial Preference Models Tuan Anh Nguyen, Minh Binh Do, Subbarao Kambhampati, Biplav Srivastava

Plausible Repairs for Inconsistent Requirements Alexander Felfernig, Gerhard Friedrich, Monika Schubert, Monika Mandl, Markus Mairitsch, Erich Teppan

Predicting Learnt Clauses Quality in Modern SAT Solvers Gilles Audemard, Laurent Simon

Predictive Projections Nathan Sprague

Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable

Preference Functions That Score Rankings and Maximum Likelihood Estimation Vincent Conitzer, Matthew Rognlie, Lirong Xia

Preference Learning with Extreme Examples Fei Wang, Bin Zhang, Ta-Hsin Li, Wen Jun Yin, Jin Dong, Tao Li

Probabilistic Counting with Randomized Storage Benjamin Van Durme, Ashwin Lall

Probabilistic Models for Concurrent Chatting Activity Recognition Chia-chun Lian, Jane Yung-jen Hsu

Probabilistic State Translation in Extensive Games with Large Action Sets David Schnizlein, Michael H. Bowling, Duane Szafron

Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-Based Reasoning Matthias Westphal, Stefan Wölfl

Query Answering in Description Logics with Transitive Roles Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus

Ranking Structured Documents: A Large Margin Based Approach for Patent Prior Art Search Yunsong Guo, Carla P. Gomes

Reading Between the Lines Loizos Michael

Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors Thomas Ströder, Maurice Pagnucco

Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains Theodore Patkos, Dimitris Plexousakis

Reasoning with Lines in the Euclidean Space Khalil Challita

Regular Path Queries in Expressive Description Logics with Nominals Diego Calvanese, Thomas Eiter, Magdalena Ortiz

Relation Regularized Matrix Factorization Wu-Jun Li, Dit-Yan Yeung

Relational Random Forests Based on Random Relational Rules Grant Anderson, Bernhard Pfahringer

Repairing Preference-Based Argumentation Frameworks Leila Amgoud, Srdjan Vesic

Representation and Synthesis of Melodic Expression Christopher Raphael

ReTrASE: Integrating Paradigms for Approximate Probabilistic Planning Andrey Kolobov, Mausam, Daniel S. Weld

Robust Distance Metric Learning with Auxiliary Knowledge Zheng-Jun Zha, Tao Mei, Meng Wang, Zengfu Wang, Xian-Sheng Hua

Russian Doll Search with Tree Decomposition Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex

SATenstein: Automatically Building Local Search SAT Solvers from Components Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

Search Strategies for an Anytime Usage of the Branch and Prune Algorithm Raphaël Chenouard, Alexandre Goldsztejn, Christophe Jermann

Search Techniques for Fourier-Based Learning Adam Drake, Dan Ventura

Selecting Informative Universum Sample for Semi-Supervised Learning Shuo Chen, Changshui Zhang

Self-Managing Associative Memory for Dynamic Acquisition of Expertise in High-Level Domains Jacob Beal

Self-Supervised Aerial Image Analysis for Extracting Parking Lot Structure Young-Woo Seo, Nathan D. Ratliff, Chris Urmson

Semi-Supervised Classification on Evolutionary Data Yangqing Jia, Shuicheng Yan, Changshui Zhang

Semi-Supervised Classification Using Sparse Gaussian Process Regression Amrish Patel, S. Sundararajan, Shirish K. Shevade

Semi-Supervised Learning of Visual Classifiers from Web Images and Text Nicholas Morsillo, Christopher J. Pal, Randal Nelson

Semi-Supervised Metric Learning Using Pairwise Constraints Mahdieh Soleymani Baghshah, Saeed Bagheri Shouraki

Semi-Supervised Regression for Evaluating Convenience Store Location Xinxin Bai, Gang Chen, Qiming Tian, Wen Jun Yin, Jin Dong

Sensing and Predicting the Pulse of the City Through Shared Bicycling Jon Froehlich, Joachim Neumann, Nuria Oliver

Set Branching in Constraint Optimization Matthew Kitching, Fahiem Bacchus

Simple Coalitional Games with Beliefs Georgios Chalkiadakis, Edith Elkind, Nicholas R. Jennings

Simultaneous Discovery of Conservation Laws and Hidden Particles with Smith Matrix Decomposition Oliver Schulte

Situated Resolution and Generation of Spatial Referring Expressions for Robotic Assistants Hendrik Zender, Geert-Jan M. Kruijff, Ivana Kruijff-Korbayová

Sketching Techniques for Collaborative Filtering Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein

Smart PCA Yi Zhang

Solving 8x8 Hex Philip Henderson, Broderick Arneson, Ryan B. Hayward

Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder

Solving POMDPs: RTDP-Bel vs. Point-Based Algorithms Blai Bonet, Hector Geffner

Solving Strong-Fault Diagnostic Models by Model Relaxation Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

Spatial Processes for Recommender Systems Fabian Bohnert, Daniel Francis Schmidt, Ingrid Zukerman

Spatio-Temporal Event Detection Using Dynamic Conditional Random Fields Jie Yin, Derek Hao Hu, Qiang Yang

Spectral Embedded Clustering Feiping Nie, Dong Xu, Ivor W. Tsang, Changshui Zhang

Spectral Kernel Learning for Semi-Supervised Classification Wei Liu, Buyue Qian, Jingyu Cui, Jianzhuang Liu

Speeding up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence Yifeng Zeng, Prashant Doshi

Speeding up Inference in Markov Logic Networks by Preprocessing to Reduce the Size of the Resulting Grounded Network Jude W. Shavlik, Sriraam Natarajan

Strategyproof Classification with Shared Inputs Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosenschein

Stratified Planning Yixin Chen, You Xu, Guohui Yao

Streamed Learning: One-Pass SVMs Piyush Rai, Hal Daumé Iii, Suresh Venkatasubramanian

Streamlining Attacks on CAPTCHAs with a Computer Game Jeff Yan, Su-Yang Yu

Strengthening Schedules Through Uncertainty Analysis Agents Laura M. Hiatt, Terry L. Zimmerman, Stephen F. Smith, Reid G. Simmons

Structured Plans and Observation Reduction for Plans with Contexts Wei Huang, Zhonghua Wen, Yunfei Jiang, Hong Peng

Succinct Approximate Counting of Skewed Data David Talbot

Suggesting Email View Filters for Triage and Search Mark Dredze, Bill N. Schilit, Peter Norvig

Symmetric Splitting in the General Theory of Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

TBA*: Time-Bounded A* Yngvi Björnsson, Vadim Bulitko, Nathan R. Sturtevant

Temporal Planning in Domains with Linear Processes Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long

Testing Edges by Truncations Ilya Shpitser, Thomas S. Richardson, James M. Robins

The Complexity of Learning Separable Ceteris Paribus Preferences Jérôme Lang, Jérôme Mengin

Thou Shalt Covet Thy Neighbor's Cake Ariel D. Procaccia

Topic Tracking Model for Analyzing Consumer Purchase Behavior Tomoharu Iwata, Shinji Watanabe, Takeshi Yamada, Naonori Ueda

Topological Order Planner for POMDPs Jilles Steeve Dibangoye, Guy Shani, Brahim Chaib-draa, Abdel-Illah Mouaddib

Toward Unsupervised Activity Discovery Using Multi-Dimensional Motif Detection in Time Series Alireza Vahdatpour, Navid Amini, Majid Sarrafzadeh

Towards Con-Resistant Trust Models for Distributed Agent Systems Amirali Salehi-Abari, Tony White

Towards Context Aware Emotional Intelligence in Machines: Computing Contextual Appropriateness of Affective States Michal Ptaszynski, Pawel Dybala, Wenhan Shi, Rafal Rzepka, Kenji Araki

Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction Jimmy Ho-Man Lee, Ka Lun Leung

Towards Industrial-like Random SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

Towards Ontology Learning from Folksonomies Jie Tang, Ho-fung Leung, Qiong Luo, Dewei Chen, Jibin Gong

Tractable Multi-Agent Path Planning on Grid Maps Ko-Hsin Cindy Wang, Adi Botea

Trading Off Solution Quality for Faster Computation in DCOP Search Algorithms William Yeoh, Xiaoxun Sun, Sven Koenig

Transfer Learning from Minimal Target Data by Mapping Across Relational Domains Lilyana Mihalkova, Raymond J. Mooney

Transfer Learning Using Task-Level Features with Application to Information Retrieval Rong Yan, Jian Zhang

Translating HTNs to PDDL: A Small Amount of Domain Knowledge Can Go a Long Way Ronald Alford, Ugur Kuter, Dana S. Nau

Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics Emil Keyder, Hector Geffner

UCT for Tactical Assault Planning in Real-Time Strategy Games Radha-Krishna Balla, Alan Fern

Unsupervised Rank Aggregation with Domain-Specific Expertise Alexandre Klementiev, Dan Roth, Kevin Small, Ivan Titov

Using Entropy to Distinguish Shape Versus Text in Hand-Drawn Diagrams Akshay Bhat, Tracy Hammond

Using Reasoning Patterns to Help Humans Solve Complex Games Dimitrios Antos, Avi Pfeffer

Using Web Photos for Measuring Video Frame Interestingness Feng Liu, Yuzhen Niu, Michael Gleicher

Variable and Value Ordering for MPE Search Sajjad Ahmed Siddiqi, Jinbo Huang

Variety Reasoning for Multiset Constraint Propagation Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo

Web-Scale N-Gram Models for Lexical Disambiguation Shane Bergsma, Dekang Lin, Randy Goebel

Where Are the Really Hard Manipulation Problems? the Phase Transition in Manipulating the Veto Rule Toby Walsh

Which Semantics for Neighbourhood Semantics? Carlos Areces, Diego Figueira

Wikispeedia: An Online Game for Inferring Semantic Distances Between Concepts Robert West, Joelle Pineau, Doina Precup

Word Sense Disambiguation for All Words Without Hard Labor Zhi Zhong, Hwee Tou Ng