Abstract Interpretation of Programs forModel-Based Debugging, 471

Acquiring a Robust Case Base for the RobotSoccer Domain, 1029

Action Description Language for IteratedBelief Change, An, 2498

Adaptation of Organizational Models forMulti-Agent Systems Based on Max FlowNetworks, 1321

Adaptive Context-Based Algorithm for TermWeighting: Application to Single-WordQuestion Answering, An, 2748

Adaptive Genetic Algorithm with Mutationand Crossover Matrices, 2330

AEMS: An Anytime Online Search Algorithmfor Approximate Policy Refinement inLarge POMDPs, 2592

Aggarwal, Jake K., 2850Ågotnes, Thomas, 1175, 1181Aha, David W., 962AI Challenges in Developing Economies,

The, xiiiAiello, Marco, 205Aine, Sandip, 2250Airiau, Stéphane, 1507Albaiceta, Guillermo M., 956Albanese, Massimiliano, 1802Aler, Ricardo, 1885Alhajj, Reda, 817All Common Subsequences, 635Allan, James, 684, 2280Allison, Ben, 1624Altman, Alon, 1187Alvarez, Isabelle, 654Amato, Christopher, 2418Ambiguous Part-of-Speech Tagging for

Improving Accuracy and DomainPortability of Syntactic Parsers, 1783

Amghar, Tassadit, 1647Amgoud, Leila, 599Amir, Eyal, 1482, 2586, 2611An, Bo, 1193An, Senjian, 2891Analogical Learning in a Turn-Based Strategy

Game, 853Analysis of Laplacian Methods for Value

Function Approximation in MDPs, An,2574

Analysis of the Use of Tags in a BlogRecommender System, An, 2772

Andelic, Edin, 660Andersen, Henrik R., 100, 180Anderson, Kenneth, 2372

Androutsopoulos, Ion, 1725Angelini, Elsa, 224Angelini, Giovanni, 2748Ansótegui, Carlos, 32Answer Set Logic Programming to

Circumscription via Logic of GK, From,441

Aoun-Allah, Mohamed, 2645Appearance Based Recognition

Methodology for RecognisingFingerspelling Alphabets, 605

Araujo, Ricardo M., 212Arbel, Tal, 2078Arc Consistency during Search, 137Arcos, Josep Lluís, 1029Arfvidsson, Joakim, 2115Argumentation Based Contract Monitoring

in Uncertain Domains, 1434Artale, Alessandro, 218Asadi, Mehran, 2054Atif, Jamal, 224Audemard, Gilles, 2256, 2262Augmented Experiment: Participatory

Design with Multiagent Simulation, 1341Automated Benchmark Model Generators

for Model-Based Diagnostic Inference,513

Automated Design of MultistageMechanisms, 1500

Automated Heart Wall Motion AbnormalityDetection from Ultrasound Images UsingBayesian Networks, 519

Automatic Acquisition of Context-SpecificLexical Paraphrases, 1789

Automatic Decision of Piano Fingering Basedon Hidden Markov Models, 2915

Automatic Gait Optimization with GaussianProcess Regression, 944

Automatic Scoring of Handwritten Essays,On the, 2880

Automatic Synthesis of New Behaviors froma Library of Available Behaviors, 1866

Automatic Verification of Knowledge andTime with NuSMV, 1384

Automatically Selecting Answer Templates toRespond to Customer Emails, 1659

Average-Reward Decentralized MarkovDecision Processes, 1997

Avesani, Paolo, 2772Avoidance of Model Re-Induction in

SVM-Based Feature Selection for TextCategorization, 889

AWA* — A Window Constrained AnytimeHeuristic Search Algorithm, 2250

Awards, 2–30Awasthi, Pranjal, 2060Axiomatic Approach to Personalized

Ranking Systems, An, 1187Azuaje, Francisco, 1101

Baader, Franz, 230Babu, Pavithra, 2880Bacchus, Fahiem, 118, 1808Bachrach, Yoram, 1470Backtracking Procedures for Hypertree,

HyperSpread and Connected HypertreeDecomposition of CSPs, 180

Badea, Liviu, 2651Bader, Sebastian, 666Badra, Fadi, 750Bagnell, J. Andrew, 1017Bahamonde, Antonio, 956Baier, Jorge A., 1808Baldridge, Jason, 1588Balog, Krisztian, 2657Baluja, Shumeet, 2663Bandouch, Jan, 2066Banerjee, Bikramjit, 672Banko, Michele, 2670Bao, Hujun, 708Bapi, Raju S., 587, 1011Baral, Chitta, 236, 243Barrett, Chris, 2268Barto, Andrew, 895, 1023Barzilay, Regina, 1713Basile, Pierpaolo, 2856Basile, Teresa Maria Altomare, 696Baskiotis, Nicolas, 2274Basu, Sumit, 877Batalin, Maxim, 2204Baumstarck, Paul, 2115Bayesian Inverse Reinforcement Learning,

2586Bayesian Tensor Inference for Sketch-Based

Facial Photo Hallucination, 2141Bayoudh, Sabri, 678Beame, Paul, 173Beck, John Christopher, 56Bedi, Punam, 2677Beetz, Michael, 2066Bekkerman, Ron, 684, 2280Belief Change Based on Global Minimisation,

2462Belief Update Revisited, 2517Bellemare, Marc G., 250

Index

IJCAI-072942

Benedetti, Marco, 38Benferhat, Salem, 2425Bent, Russell, 1816Benton, J., 1872Benyo, Brett, 489Bernard, Stephan, 654Bernstein, Daniel S., 2418Bertoli, Piergiorgio, 1972Bessiere, Christian, 44, 50Best-First Utility-Guided Search, 2378Bhagat, Rahul, 1570Bhagvati, Chakravarthy, 1011Bhattacharyya, Pushpak, 1677Bi, Jinbo, 756Bianchi, Reinaldo A. C., 690Biba, Marenglen, 696Bidding Languages and Winner

Determination for Mixed Multi-UnitCombinatorial Auctions, 1221

Bidot, Julien, 56Bigham, John, 186Billington, David, 256Bilmes, Jeff, 981, 1769Bíró, István, 1576Bloch, Isabelle, 224Block, Marco, 2231Blockeel, Hendrik, 726Bolelli, Levent, 1162Bonet, María Luisa, 32Boosting a Complete Technique to Find MSS

and MUS Thanks to a Local SearchOracle, 2300

Boosting Kernel Discriminant Analysis and ItsApplication on Tissue Classification ofGene Expression Data, 744

Borgo, Stefano, 1822Borrajo, Daniel, 1885Bosse, Tibor, 262Bostwick, Renu, 489Botea, Adi, 1828Boutilier, Craig, 1227, 1333, 1500Bouveret, Sylvain, 62Bowen, James, 137Bowling, Michael, 944Bradski, Gary, 2115Brafman, Ronen I., 2542, 2619Brandão, Anarosa A. F., 617Brandt, Felix, 1199, 1207Breck, Eric, 2683Brenner, Michael, 2072Brewka, Gerhard, 268, 2625Brinker, Klaus, 702Broadhead, Matthew, 2670, 2733Bromberg, Facundo, 2431Brooks, Rupert, 2078Bruynooghe, Maurice, 726Bryce, Daniel, 1834Bryson, Joanna J., 641, 1537Buffet, Olivier, 1942

Building Portable Options: Skill Transfer inReinforcement Learning, 895

Building Structure into Local Search for SAT,2359

Bulitko, Vadim, 1077, 2372Bundy, Alan, 2Burgard, Wolfram, 2185, 2225Burnside, Elizabeth, 2719

Cafarella, Michael J., 2670Cai, Deng, 708Cai, Lijuan, 714Call Admission Control Scheme Using

NeuroEvolution Algorithm in CellularNetworks, A, 186

Calvanese, Diego, 274Calvi, Gianguglielmo, 1458Candale, Teddy, 1215Cao, Bin, 2689Carbonell, Jaime, 937, 1653, 2492Cardie, Claire, 2683Carman, Mark James, 2695Cartwright, Joel J., 2122Casare, Sara J., 617Case Base Mining for Adaptation Knowledge

Acquisition, 750Case-Based Learning from Proactive

Communication, 999Case-Based Multilabel Ranking, 702Case-Based Techniques Used for Dialogue

Understanding and Planning in aHuman-Robot Dialogue System, 1600

Castelfranchi, Cristiano, 507, 1458Castro, Pablo Samuel, 2437Cerquides, Jesús, 1221Chabert, Gilles, 94Chaib-draa, Brahim, 2592Chakrabarti, Partha P., 2250Chakraborti, Sutanu, 1582Chalkiadakis, Georgios, 1227Chalodhorn, Rawichote, 2084Chandrasekar, Ramachandran, 2701Chandrasekaran, Dhanalakshmi, 519Chang, Chun-Yen, 1750Chang, Hong, 1138Chang, Yu-Han, 720Change of Representation for Statistical

Relational Learning, 2719Characterizing Solution Concepts in Games

Using Knowledge-Based Programs, 1300Characterizing the NP-PSPACE Gap in the

Satisfiability Problem for Modal Logic,2306

Chavira, Mark, 2443Chen, Mo, 2707Chen, Yixin, 1840, 1924Chen, Zheng, 2689, 2862Cheng, Shih-Fen, 1233Chesñevar, Carlos Iván, 280Cheung, Pak-Ming, 901Chevaleyre, Yann, 1239

Chien, Lee-Feng, 1629Choi, Seungjin, 2523Choi, Yejin, 2683Chopra, Samir, 1245Choudhury, Tanzeem, 1769, 2237, 2530Chowdhury, Abdur, 889Chronicle Recognition Improvement Using

Temporal Focusing and Hierarchization,324

Chu, Wei, 1059Chung, Sukwon, 2115Ciancarini, Paolo, 2450Claßen, Jens, 1846Cluster-Based Selection of Statistical

Answering Strategies, 1653Coalitional Bargaining with Agent Type

Uncertainty, 1227Coalitions in Action Logic, 1822Cohen, Paul R., 720, 2713Coletta, Remi, 44, 50Colin, Bernard, 2790Collaborative Inductive Logic Programming

for Path Planning, 1327Collapsed Variational Dirichlet Process

Mixture Models, 2796Co-Localization from Labeled and Unlabeled

Data Using Graph Laplacian, 2166Color Learning on a Mobile Robot: Towards

Full Autonomy under ChangingIllumination, 2212

Combining Learning and Word SenseDisambiguation for Intelligent UserProfiling, 2856

Combining Topological and DirectionalInformation for Spatial Reasoning, 435

Common Sense Based Joint Training ofHuman Activity Recognizers, 2237

Communicating Effectively inResource-Constrained Multi-AgentSystems, 1269

Comparison of Time-Space Schemes forGraphical Models, A, 2346

Compilation of Stratified Belief Bases underLinear and Possibilistic Logic Policies, Onthe, 2425

Compiling Bayesian Networks by SymbolicProbability Calculation Based onZero-Suppressed BDDs, 2550

Compiling Bayesian Networks Using VariableElimination, 2443

Completing Description Logic KnowledgeBases Using Formal Concept Analysis, 230

Complexity of Pure Equilibria in BayesianGames, 1294

Complexity Results for Checking Equivalenceof Stratified Logic Programs, 330

Computation of Initial Modes for K-modesClustering Algorithm Using EvidenceAccumulation, 2784

Computational Aspects of Analyzing SocialNetwork Dynamics, 2268

Computing Semantic Relatedness UsingWikipedia-Based Explicit SemanticAnalysis, 1606

IJCAI-072943

Conati, Cristina, 483Concept Sampling: Towards Systematic

Selection in Large-Scale Mixed Conceptsin Machine Learning, 1150

Conceptual Graph Approach for theGeneration of Referring Expressions, A,2456

Conditional Constraint Satisfaction: LogicalFoundations and Complexity, 88

Conflict-Based Diagnosis: AddingUncertainty to Model-Based Diagnosis,380

Conflict Directed Backjumping forMax-CSPs, 198

Conflict-Driven Answer Set Solving, 386Conitzer, Vincent, 1251, 1500Conjunctive Query Answering for the

Description Logic SHIQ, 399Conservative Extensions in Expressive

Description Logics, 453Consistency Checking of Basic Cardinal

Constraints over Connected Regions, 495Console, Luca, 286Constraint and Variable Ordering Heuristics

for Compiling Configuration Problems,149

Constraint Partitioning for Solving PlanningProblems with Trajectory Constraints andGoal Preferences, 1924

Constraint Satisfaction, 31-203Constructing Career Histories: A Case Study

in Disentangling the Threads, 2713Constructing New and Better Evaluation

Measures for Machine Learning, 859Context-Driven Predictions, 250Contextual Default Reasoning, 268Continuous Time Associative Bandit

Problems, 830Control of Agent Swarms Using Generalized

Centroidal Cyclic Pursuit Laws, 1525Convengent Solution to Tensor Subspace

Learning, A, 629Cooper, Martin C., 68Cooperating Reasoning Processes: More

than Just the Sum of Their Parts, 2Coordination to Avoid Starvation of

Bottleneck Agents in a Large NetworkSystem, 1281

Cordier, Marie-Odile, 292Correlation Clustering for Crosslingual Link

Detection, 1744Costa, Anna H. R., 690Counting Complexity of Propositional

Abduction, 417Covell, Michele, 2663Cox, Michael, 489Cozman, Fábio G., 2023Croitoru, Madalina, 2456Croonenborghs, Tom, 726Cuenca Grau, Bernardo, 298Cushing, William, 1852Cuturi, Marco, 732

Cyber-Assisting Real World with AmbientIntelligence and Semantic Computing, xiv

Dabney, William, 738Dahlin, Mike, 1113Dai, Guang, 744, 1138Dai, Hong-Bin, 2928Dai, Peng, 1860Dances with Words, 1719Dang, Viet Dung, 2365d’Aquin, Mathieu, 750Darwiche, Adnan, 2443Das, Subrata, 2580Dash, Rajdeep K., 1287Database-Text Alignment via Structured

Multilabel Classification, 1713Davis, Jesse, 2719Davison, Katherine, 2372Dealing with Perception Errors in

Multi-Robot System Coordination, 2091de Barros, Leliane N., 2023Debenham, John, 1513de Bruijn, Jos, 304Dechter, Rina, 2346Decidable Reasoning in a Modified Situation

Calculus, 1891Decision-Theoretic Model of Assistance, A,

1879De Cock, Martine, 569Deekshatulu, Bulusu L., 1011Deffuant, Guillaume, 654de Gea, Jose, 883Degemmis, Marco, 2856De Giacomo, Giuseppe, 274, 1866de Givry, Simon, 68Dehghani, Morteza, 447Deictic Option Schemas, 1023DeJong, Gerald, 931de Kleer, Johan, 310Delgrande, James P., 2462, 2498Delhay, Arnaud, 678Dellaert, Frank, 2129, 2191Denis, Pascal, 1588Depth Estimation Using Monocular and

Stereo Cues, 2197De Raedt, Luc, 804, 907, 2468de Rijke, Maarten, 2657Description Logic of Change, A, 218Description Logics with Approximate

Definitions — Precise Modeling of VagueConcepts, 557

Design of ESSENCE: A Constraint Languagefor Specifying Combinatorial Problems,The, 80

Detect and Track Latent Factors with OnlineNonnegative Matrix Factorization, 2689

Detecting Changes in Unlabeled DataStreams Using Martingale, 1912

Detecting Stochastically Scheduled Activitiesin Video, 1802

Detection of Cognitive States from fMRIData Using Machine Learning Techniques,587

Determining Expert Profiles (With anApplication to Expert Finding), 2657

Devi, M. Syamala, 1396Diagnosability Testing with Satisfiability

Algorithms, 532Diagnosers and Diagnosability of Succinct

Transition Systems, 538Diaz, Fernando, 2727Dietterich, Thomas G., 2868Di Mauro, Nicola, 696Dinerstein, Jonathan, 1257DiPRA: Distributed Practical Reasoning

Architecture, 1458Direct Code Access in Self-Organizing

Neural Networks for ReinforcementLearning, 1071

Directed Graph Embedding, 2707Discriminative Learning of Beam-Search

Heuristics for Planning, 2041Distance Constraints in Constraint

Satisfaction, 106Distributed Architecture for Symbolic Data

Fusion, A, 2153Distributed Data Mining: Why Do More than

Aggregating Models, 2645Dixon, Clare, 318Do, Minh B., 1872, 2016, 2378Document Summarization Using Conditional

Random Fields, 2862Doherty, Patrick, xiiiDolgov, Dmitri A., 865Domain Independent Approaches for

Finding Diverse Plans, 2016Domingos, Pedro, 950Dousson, Christophe, 324Downey, Doug, 2733, 2740Dresner, Kurt, 1263Drias, Habiba, 2425Druzdzel, Marek J., 2385Dual-Layer CRFs Based Joint Decoding

Method for Cascaded Segmentation andLabeling Tasks, A, 1707

Dual-Pathway Neural Network Model ofControl Relinquishment in Motor SkillLearning, A, 405

Duan, Xiangyu, 1594Dubeau, Francois, 2790Dudek, Gregory, 2147Dumais, Susan, 2740Dundar, Murat, 756Dutta, Partha S., 1269Dynamic Approach for MPE and Weighted

MAX-SAT, A, 173Dynamic Heuristics for Backtrack Search on

Tree-Decomposition of CSPs, 112Dynamic Interactions between Goals and

Beliefs, 2625Dynamic Mixture Models for Multiple Time

Series, 2909

IJCAI-072944

Dynamic Verification of Trust in DistributedOpen Systems, 1440

Dynamic Weighting A* Search-Based MAPAlgorithm for Bayesian Networks, 2385

Dynamically Weighted Hidden MarkovModel for Spam Deobfuscation, 2523

Dynamics of Temporal Difference Learning,1107

Edakunni, Narayanan U., 762Edge Partitioning in External-Memory Graph

Search, 2410Edgington, Mark, 883Effect of Restarts on the Efficiency of Clause

Learning, The, 2318Effective Control Knowledge Transfer

through Learning Skill and RepresentationHierarchies, 2054

Efficient and Robust Independence-BasedMarkov Network Structure Discovery,2431

Efficient Bayesian Task-Level TransferLearning, 2599

Efficient Calculation of PersonalizedDocument Rankings, 2778

Efficient Failure Detection on Mobile RobotsUsing Particle Filters with GaussianProcess Proposals, 2185

Efficient HPSG Parsing with Supertaggingand CFG-Filtering, 1671

Efficient Planning of Informative Paths forMultiple Robots, 2204

Efficient Protocol for Negotiation overMultiple Indivisible Resources, An, 1494

Efficiently Exploiting Symmetries in RealTime Dynamic Programming, 2556

Egbert, Parris K., 1257Eguchi, Koji, 684Eiben, A. E., 975Eiter, Thomas, 304, 330, 336Eliasson, Karolina, 1600Embedding Non-Ground Logic Programs

into Autoepistemic Logic forKnowledge-Base Combination, 304

Emergence of Norms through SocialLearning, 1507

Emotions as Durative Dynamic State forAction Selection, 1537

Empirical Study of the Noise Impact onCost-Sensitive Learning, An, 1168

Endriss, Ulle, 1221, 1239Energy-Efficient, An, Multi-Agent Sensor

Network for Detecting Diffuse Events, An,1390

Engler, Dawson, 2510Enhancing MAS Cooperative Search

Through Coalition Partitioning, 1415Ensembles of Partially Trained SVMs with

Multiplicative Updates, 1089Entailment Semantics for Rules with

Priorities, 256Epistemic Reasoning in Logic Programs, 647EQL-Lite: Effective First-Order Query

Processing in Description Logics, 274

Erdem, Esra, 336Ernandes, Marco, 2748e-Scientist Is the Semantic Web’s Friend (or

a Friend of a Friend), The, xiiiEsmeir, Saher, 768Esposito, Floriana, 696Essa, Irfan, 2814Esser, Michael, 342Estimating the Rate of Web Page Updates,

2874Estivie, Sylvia, 1239Etzioni, Oren, 2670, 2733Euzenat, Jérôme, 348Evaluating a Decision-Theoretic Approach to

Tailored Example Selection, 483Even-Dar, Eyal, 2474Events, Patterns and Analysis: Forecasting

Conflict in the 21st Century, xivEvrim, Vesile, 2826Expectation Failure as a Basis for

Agent-Based Model Diagnosis and MixedInitiative Model Adaptation duringAnomalous Plan Execution, 489

Experience on Reputation ModelsInteroperability Based on a FunctionalOntology, An, 617

Experts Algorithm for Transfer Learning, An,1065

Explanation-Based Feature Construction, 931Exploiting Image Contents in Web Search,

2928Exploiting Independence in a Decentralised

and Incremental Approach of Diagnosis,292

Exploiting Inference Rules to ComputeLower Bounds for MAX-SAT Solving,2334

Exploiting Known Taxonomies in LearningOverlapping Concepts, 714

Exploiting Sensorimotor Coordination forLearning to Recognize Objects, 883

Extension to Conformant Planning UsingLogic Programming, An, 1991

Extracting and Visualizing Trust Relationshipsfrom Online Auction FeedbackComments, 2826

Extracting Chatbot Knowledge from OnlineDiscussion Forums, 423

Extracting Keyphrases to RepresentRelations in Social Networks from Web,2820

Eyerich, Patrick, 1846

Faber, Wolfgang, 336Face Recognition via the Overlapping Energy

Histogram, 2891Factor Graph Model for Software Bug

Finding, A, 2510Factored Planning Using Decomposition

Trees, 1942Faithful Integration of Description Logics

with Logic Programming, A, 477Falcone, Rino, 507

Faltings, Boi, 167, 551, 1452Fan, Zhao-Fu, 354Fano, Andrew, 2838Fargier, Hélène, 360Farinelli, Alessandro, 2091, 2097Farquhar, Jason, 1125Fast Algorithm for Connected Row Convex

Constraints, 192Fast Analytical Algorithm for Solving Markov

Decision Processes with Real-ValuedResources, A, 2536

Fast Image Alignment Using AnytimeAlgorithms, 2078

Fast (Incremental) Algorithms for UsefulClasses of Simple Temporal Problemswith Preferences, 1954

Fast Incremental Square Root InformationSmoothing, 2129

Fast Planning with Iterative Macros, 1828Fault-Model-Based Test Generation for

Embedded Software, 342Favini, Gian Piero, 2450Feature Based Occupancy Grid Maps for

Sonar Based Safe-Mapping, 2172Feature Mining and Neuro-Fuzzy Inference

System for Steganalysis of LSB MatchingStegangoraphy in Grayscale Images, 2808

Feature Selection and Kernel Design viaLinear Programming, 786

Felner, Ariel, 2324Ferguson, Alex, 74Ferilli, Stefano, 696Fern, Alan, 1879, 2041, 2047, 2486Fernández, Santiago, 774Fernández, Susana, 1885Ferraris, Paolo, 366, 372Ferris, Brian, 2480Fink, Michael, 330Finzi, Alberto, 2097First Order Decision Diagrams for Relational

MDPs, 1095Fischer, Felix, 1199Fisher, Michael, 318Flesch, Ildikó, 380Flexible Unsupervised PP-Attachment

Method Using Semantic Information, A,1677

Foggia, Pasquale, 2103Forbus, Kenneth, 411, 447, 853Formal Trust Model for Multiagent Systems,

1551Formalizing Communication Protocols for

Multiagent Systems, 1519Forward Search Value Iteration for

POMDPs, 2619Fouquier, Geoffroy, 224Fox, Dieter, 2109, 2185, 2480, 2530Framework for Decentralized Qualitative

Model-Based Diagnosis, A, 286Freuder, Eugene C., 137Friedman, Stephen, 2109Friedrich, Gerhard, 1960

IJCAI-072945

Fringe-Saving A* Search Algorithm - AFeasibility Study, The, 2391

Frisch, Alan M., 80Fujino, Akinori, 2754Fulda, Nancy, 780Fully Connectionist Model Generator for

Covered First-Order Logic Programs, A,666

Fung, Glenn, 519, 786Furuse, Osamu, 2760Fusion of Stacking with Dynamic Integration,

A, 2844Fussell, Donald, 1047

Gabrilovich, Evgeniy, 1606Gagliolo, Matteo, 792Gagrani, Aakanksha, 2060Galassi, Ugo, 798Galland, Stéphane, 1275Game-Theoretic Analysis of Strictly

Competitive Multiagent Scenarios, A,1199

Ganter, Bernhard, 230García, Alejandro J., 465Garera, Nikesh, 1641Garriga, Gemma C., 804Gaud, Nicolas, 1275Gaudel, Marie-Claude, 2274Gautam, Rajesh, 1281Gebser, Martin, 386Gechter, Franck, 1275Gedikli, Suat, 2066Geib, Christopher W., 1612General Framework for Reasoning about

Inconsistency, A, 599General Framework for Scheduling in a

Stochastic Environment, A, 56General Game Learning Using Knowledge

Transfer, 672Generalized Additive Bayesian Network

Classifiers, 913Generalized Interval Projection: A New

Technique for Consistent DomainExtension, 94

Generalizing Temporal Controllability, 1985Generalizing the Bias Term of Support

Vector Machines, 919Generating Bayes-Nash Equilibria to Design

Autonomous Trading Agents, 1543Generic Knowledge to Specific Reasoning

for Medical Image Interpretation UsingGraph Based Representations, From, 224

Gérard, Romain, 393Gerding, Enrico H., 1287Gerevini, Alfonso, 2016Ghani, Rayid, 2838Ghodsi, Ali, 810Ghose, Debasish, 1525Gianniotis, Nikolaos, 1083Giles, C. Lee, 1162Gilpin, Andrew, 2286

Giordana, Attilio, 798Giovannucci, Andrea, 1221Girgin, Sertan, 817Givan, Robert, 2047Glimm, Birte, 399Global/Local Dynamic Models, 2580Goble, Carole, xiiiGoebel, Randy, 2568Goel, Ashok K., 1131Goldberg, Ken, xivGoldman, Claudia V., 1269Goldsmith, Judy, 1860Gomes, Carla, 1918, 2293Goodman, Joshua, 1776Gopalakrishnan, Vanathi, 937Gori, Marco, 2748, 2766Gossip-Based Aggregation of Trust in

Decentralized Reputation Systems, 1470Gottlob, Georg, 88, 1294Gould, Stephen, 2115Gouraud, Sandrine-Dominique, 2274Grandón, Carlos, 94Graph-Based Semi-Supervised Learning as a

Generative Model, 2492Graph Connectivity Measures for

Unsupervised Word SenseDisambiguation, 1683

Graph Decomposition for EfficientMulti-Robot Path Planning, 2003

Grastien, Alban, 292, 532Graves, Alex, 774Greco, Gianluigi, 88, 1294Greenwald, Amy, 1378Grégoire, Éric, 2300Greiner, Russ, 823Grimes, David B., 2084Grochow, Keith, 2084Grounding Abstractions in Predictive State

Representations, 1077Grounding for Model Expansion in

k-Guarded Formulas with InductiveDefinitions, 161

Grum, Matthew, 80Gu, Yilan, 1891Guestrin, Carlos, 2204GUNSAT: A Greedy Local Search Algorithm

for Unsatisfiability, 2256Guo, Yuhong, 823Gupta, Aarti, 1618Gupta, Arvind, 161Gupta, Ashish, 405Gupta, Tapana, 2638Guru, D. S., 605Guthrie, David, 1624Guthrie, Louise, 1624György, András, 830

Hadzic, Tarik, 100Halpern, Joseph Y., 1300, 2306Halstead, Daniel T., 411

Han, Jiawei, 708Handling Alternative Activities in

Resource-Constrained Project SchedulingProblems, 1960

Hansen, Eric A., 2410Hao, Guohua, 2486Har-Peled, Sariel, 836Harper, David, 1582Harrenstein, Paul, 1199Hasida, Kôiti, 2159Haslum, Patrik, 1898Hattori, Hiromitsu, 1347Hawes, Nick, 2072Hayes, Conor, 2772He, Jingrui, 2492He, Xiaofei, 708Hebrard, Emmanuel, 106Hemaspaandra, Edith, 1308Hemaspaandra, Lane A., 1308Hemery, Fred, 125Henry, Claudia, 842Hermann, Miki, 417Hernández, Carlos, 2312Hess, Claudia, 2778Heuristic Search Approach to Planning with

Temporally Extended Preferences, A,1808

Heuristic Selection of Actions in MultiagentReinforcement Learning, 690

Hickmott, Sarah, 1904Hierarchical Diagnosis of Multiple Faults, 581Hierarchical Heuristic Forward Search in

Stochastic Domains, 2542Hierarchical Multi-Channel Hidden Semi

Markov Models, 2562Higher-Order Potentialities and Their

Reducers: A Philosophical FoundationUnifying Dynamic Modeling Methods, 262

Hild, Manfred, 848Hinrichs, Thomas R., 853Hiroshima, Nobuaki, 2760Hitzler, Pascal, 666Ho, Shen-Shyang, 1912Ho, Tu Bao, 987Hoffmann, Gabriel, 2218Hoffmann, Jörg, 1918, 2293Hofmann, Thomas, 714Holland, Alan, 1315Hölldobler, Steffen, 666Holmes, Michael, 1041Holonic Multiagent Multilevel Simulation:

Application to Real-Time PedestrianSimulation in Urban Environment, 1275

Hoogendoorn, Mark, 1321Horrocks, Ian, 298, 399Horvitz, Eric, 877, 2740Hospedales, Timothy M., 2122Hovy, Eduard, 1570Hsu, Chih-Wei, 1924Hu, Xiaohua, 2922

IJCAI-072946

Huang, Jian, 1327Huang, Jin, 859Huang, Jinbo, 581, 1942, 2318Huang, Jizhou, 423Huang, Ruoyun, 1924Huang, Thomas, 629Huang, Wei, 1930Huber, Manfred, 2054Hudelot, Céline, 224Hüllermeier, Eyke, 702Human Nature: Art with Robots,

Automation, and Networks, xivHunsaker, Matt, 243Hunt III, Harry B., 2268Hunter, Aaron, 2498Hyafil, Nathanaël, 1333Hybrid Elections Broaden

Complexity-Theoretic Resistance toControl, 1308

Hybrid Ontology Directed FeedbackSelection Algorithm for SupportingCreative Problem Solving Dialogues, A,1750

Hybridized Planner for Stochastic Domains,A, 1972

Identifying Expressions of Opinion inContext, 2683

IJCAI-07 Awards and Distinguished Papers,xii

IJCAI-07 Conference Organization, vii–xiIJCAI-07 Keynote and Invited Speakers,

xiii–xivIJCAI-07 Reviewers, xviii–xxiiIJCAI Organization, xv–xviIJCAI Conferences, xviiImage Modeling Using Tree Structured

Conditional Random Fields, 2060Improved Probabilistic Ant Based Clustering

for Distributed Databases, An, 2701Improving Activity Discovery with Automatic

Neighborhood Estimation, 2814Improving Anytime Point-Based Value

Iteration Using Principled Point Selections,865

Improving Author Coreference byResource-Bounded Information Gatheringfrom the Web, 429

Improving Embeddings by FlexibleExploitation of Side Information, 810

Improving LRTA*(k), 2312Incompleteness and Incomparability in

Preference Aggregation, 1464Incremental Construction of Structured

Hidden Markov Models, 798Incremental Learning of Perceptual

Categories for Open-Domain SketchRecognition, 447

Incremental Mechanism Design, 1251Infeasibility Certificates and the Complexity

of the Core in Coalitional Games, 1402Inferring Complex Agent Motions from

Partial Trajectory Observations, 2631

Inferring Long-Term User Properties Basedon Users’ Location History, 2159

Information-Based Agency, 1513Information-Theoretic Analysis of Memory

Bounds in a Distributed ResourceAllocation Mechanism, An, 212

Information-Theoretic Approaches toBranching in Search, 2286

Ingenito, Alberto, 2091Ins and Outs of Critiquing, The, 962Inside-Outside Probability Computation for

Belief Propagation, 2605Instance-Based AMN Classification for

Improved Object Recognition in 2D and3D Laser Range Data, 2225

Intelligent Assistive Technology: The Presentand the Future, xiv

Interactive Clustering of Text CollectionsAccording to a User-Specified Criterion,684

Irani, Arya, 1041Is the Turing Test Good Enough? The Fallacy

of Resource-Unbounded Intelligence, 545Isahara, Hitoshi, 1731Isbell, Charles, 1041, 1144, 2814Ishida, Toru, 1341, 1353Ishizuko, Mitsuru, 2820ItemRank: A Random-Walk Based Scoring

Algorithm for Recommender Engines,2766

Iterated Belief Contraction from FirstPrinciples, 2568

Iterated Weaker-than-Weak Dominance,1233

Ito, Takayuki, 1347Izumi, Kiyoshi, 2159

Jabbour, Saïd, 2262Jambeiro Filho, Jorge, 2504James, Michael R., 865Jannach, Dietmar,1960Jayaram, M. A., 871Jefferson, Chris, 80Jégou, Philippe, 112Jennings, Nicholas R., 1269, 1287, 1543, 2365Jeong, Iryoung, 2523Ji, Qiang, 925Jiang, Lijun, 2398Jiang, Long, 1629Jiang, Yichuan, 1353Jiang, Yunfei, 354, 1930Jin, Xiaoming, 1150Jolion, Jean-Michel, 2103Jonsson, Anders, 1936Joshi, Saket, 1095Judah, Kshitij, 1879

Kaci, Souhila, 393Kaehler, Adrian, 2115Kaelbling, Leslie P., 2599Kaess, Michael, 2129, 2191

Kaiser, William, 2204Kakade, Sham M., 2474Kambhampati, Subbarao, 1852, 1872, 2016Kameoka, Hirokazu, 2915Kanani, Pallika, 429Kant, Shri, 2784Kapoor, Ashish, 877Kassahun, Yohannes, 883Kataoka, Ryoji, 2760Katz, Marcel, 660Katz, Ron, 1408Kaufmann, Benjamin, 386Kaur, Harmeet, 2677Kaushik, Saroj, 1659Kautz, Henry, 173, 1769, 1918, 2530Kazakov, Yevgeny, 298Keane, Mark T., 1390Keep the Decision Tree and Estimate the

Class Probabilities Using Its DecisionBoundary, 654

Keerthi, S. Sathiya, 1059Kelareva, Elena, 1942Kelleher, John, 2072Kelly, Ryan F., 1948Kernel Carpentry for Online Regression

Using Randomly Varying CoefficientModel, 762

Kernel Conjugate Gradient for Fast KernelMachines, 1017

Kernel Matrix Evaluation, 987Kerre, Etienne E., 569Khan, Shehroz S., 2784Khardon, Roni, 804, 1095Khoshgoftaar, Taghi M., 1168Kim, Seungchan, 1834Kimmig, Angelika, 2468Kirchlechner, Bernhard, 2066Kirchner, Frank, 883Kishimoto, Akihiro, 2404Kitching, Matthew, 118Klein, Mark, 1347Klein, Michel, 557Knoblock, Craig A., 2695Knowledge Representation/Reasoning,

204-652Kocsis, Levente, 830Koenig, Sven, 1359, 2391, 2536Kohomban, Upali S., 1635Kolcz, Aleksander, 889Kompass, Raul, 2231Konev, Boris, 318Konidaris, George, 895Koop, Anna, 1077Korf, Richard E., 2324Koukam, Abderrafiâa, 1275Kraus, Sarit, 1408, 1415, 1563Krause, Andreas, 2204Krema, Marko, 2838Kremenek, Ted, 2510Krishna, K. Madhava, 2135, 2172

IJCAI-072947

Krishnan, Sriram, 519Krishnapuram, Balaji, 756Krüger, Sven E., 660Ksantini, Riadh, 2790Kumar, Ganesh P., 2135Kumar, Mohit, 1641Kumar, Rajeev, 2250Kumar, Rohit, 1750Kumar, T. K. Satish, 1954Kurihara, Kenichi, 2796Kuster, Jürgen, 1960Kwok, James T., 901, 1089

Labeling Approach to the Computation ofCredulous Acceptance in Argumentation,A, 623

Laborie, Philippe, 56Lafrogne, Sandrine, 750Lakemeyer, Gerhard, 1846Lallouet, Arnaud, 38Lamb, Luis C., 212Lambda Depth-First Proof Number Search

and Its Application to Go, 2404Lamprier, Sylvain, 1647Landwehr, Niels, 907Lang, Jérôme, 1366, 1372, 2462, 2517Lapata, Mirella, 1683Lattice-Based Approach to Computing

Warranted Beliefs in SkepticalArgumentation Frameworks, A, 280

Law, Nga Lam, 2330Lawless, David, 2580Lawrence, Neil, 2480Layout Analysis of Tree-Structured Scene

Frames in Comic Images, 2885Learning, 653-1173Learning and Multiagent Reasoning for

Autonomous Agents, 13Learning and Transferring Action Schemas,

720Learning by Analogy: A Classification Rule for

Binary and Nominal Data, 678Learning Classifiers When the Training Data

Is Not IID, 756Learning “Forgiving” Hash Functions:

Algorithms and Large Scale Tests, 2663Learning from Partial Observations, 968Learning from the Report-Writing Behavior

of Individuals, 1641Learning Implied Global Constraints, 44Learning Policies for Embodied Virtual

Agents through Demonstration, 1257Learning Question Paraphrases for QA from

Encarta Logs, 1795Learning Restart Strategies, 792Learning Semantic Descriptions of Web

Information Sources, 2695Learning to Count by Think Aloud Imitation,

1005Learning to Identify Unexpected Instances in

the Test Set, 2802Learning to Walk through Imitation, 2084

Learning User Clicks in Web Search, 1162Lecoutre, Christophe, 125, 131Lee, Joohyung, 372Lee, Kin-Hong, 919Lee, Seong Jae, 1378Lee, Seunghak, 2523Lee, Wee Sun, 1635Le Maigat, Pierre, 324Lemaître, Michel, 62Lembo, Domenico, 274Lenzerini, Maurizio, 274Leung, Kwong-Sak, 919Levesque, Hector, 2029Levrat, Bernard, 1647Levy, Jordi, 32Li, Hua, 2862Li, Jia, 1162Li, Jianguo, 913Li, Lida, 2868Li, Sanjiang, 435Li, Sheng, 1789Li, Tsai-Yen, 1750Li, Wenye, 919Li, Xiao-Li, 2802Liao, Lin, 2530Liao, Wenhui, 925Lieber, Jean, 750Lifschitz, Vladimir, 372Likitvivatanavong, Chavalit, 137Lim, Shiau Hong, 931Limongiello, Alessandro, 2103Lin, Dekang, 1756Lin, Fangzhen, 441Lin, Han, 2334Ling, Charles X., 859Lita, Lucian Vlad, 1653Liu, Bing, 2802Liu, Huan, 1156Liu, Jianzhuang, 2141Liu, Qingzhong, 2808Liu, Ting, 1789, 1795Liu, Wanquan, 2891Liu, Wei, 2141Liu, Yan, 937, 2492, 2838Liu, Yongmei, 161Lizotte, Daniel, 944Local Search for Balanced Submodular

Clusterings, 981Locality Sensitive Discriminant Analysis, 708Locating Complex Named Entities in Web

Text, 2733Logic behind Weighted CSP, The, 32Logic of Normative Systems, On the, 1175Logic Program Characterization of Causal

Theories, A, 366Logical Circuit Filtering, 2611Logical Framework for Modularity of

Ontologies, A, 298

Logistic Regression Models for a Fast CBIRMethod Based on Feature Selection, 2790

Loh, Wesley, 2631Lomuscio, Alessio, 1384Long-Distance Mutual Exclusion for

Propositional Planning, 1840Loopy SAM, 2191Lops, Pasquale, 2856Lothian, Robert, 1582Lovett, Andrew, 447Lowd, Daniel, 950Lu, Jieshan, 2372Luaces, Oscar, 956Lucas, Peter, 380Lukasiewicz, Thomas, 2097Lutz, Carsten, 218, 399, 453

Machine Learning Approach for StatisticalSoftware Testing, A, 2274

Machine Learning for On-Line HardwareReconfiguration, 1113

Mac Ruairí, Rónán, 1390Madsen, Søren Tjagvad, 459Mago, Vijay Kumar, 1396Maheswaran, Rajiv T., 2638Mailler, Roger, 167Malik, Rahul, 1659Malizia, Enrico, 1402Managing Domain Knowledge and Multiple

Models with Boosting, 1144Mancini, Toni, 88, 1294Mandow, Lawrence, 2340Manifold-Ranking Based Topic-Focused

Multi-Document Summarization, 2903Manisterski, Efrat, 1408, 1415Mansour, Yishay, 2474Manyà, Felip, 32Marathe, Madhav V., 2268Marecki, Janusz, 2536Margaritis, Dimitris, 2431Marginalized Multi-Instance Kernels, 901Marinakis, Dimitri, 2147Market Based Resource Allocation with

Incomplete Information, 1193Markovitch, Shaul, 768, 1606Marom, Yuval, 1665Marquis, Pierre, 360Martínez, Diego C., 465Martínez Hernández, Bernadette, 80Martínez Mozos, Óscar, 2225Marwaha, Sudeep, 2677Mastrogiovanni, Fulvio, 2153Mateas, Michael, 1557Mateescu, Robert, 2346Mathematical Morpho-Logical View on

Reasoning about Space, The, 205Mathew, Vimal, 1023Matsuo, Yutaka, 2159, 2820Matsuzaki, Takuya, 1671Mattmüller, Robert, 1966

IJCAI-072948

Maudet, Nicolas, 1239Mausam, 1852, 1972Maximum Margin Coresets for Active and

Noise Tolerant Learning, 836Mayer, Wolfgang, 471Mazure, Bertrand, 2300MB-DPOP: A New Memory-Bounded

Algorithm for Distributed Optimization,1452

McCallum, Andrew, 429McGovern, Amy, 738McIlraith, Sheila A., 1808McLeod, Dennis, 2826McSherry, David, 962Mechanism Design with Partial Revelation,

1333Mediating between Qualitative and

Quantitative Representations forTask-Orientated Human-RobotInteraction, 2072

Medimi, Srinivas, 1677Mehta, Deepak, 143Mehta, Manish, 1557Meisels, Amnon, 198Memory-Bounded Dynamic Programming

for DEC-POMDPs, 2009Mercier, Luc, 1979Meseguer, Pedro, 2312MESH-Based Active Monte Carlo

Recognition (MESH-AMCR), 2231Messner, Marius, 2115Metric Properties of Structured Data

Visualizations through GenerativeProbabilistic Modeling, 1083

Metzler, Donald, 2727Meuleau, Nicolas, 2542Miao, Chunyan, 1193Michael, Loizos, 968Miclet, Laurent, 678Miguel, Ian, 80Minato, Shin-ichi, 2550Mineau, Guy, 2645Mining Closed Sets in Multi-Relational Data,

On, 804Mining Complex Patterns across Sequences

with Gap Requirements, 2934Minnen, David, 2814Mitchell, Tom M., 155Miyamichi, Juichi, 2885Miyao, Yusuke, 1671, 1783Miyapuram, Krishna P., 587Miyashita, Kazuo, 1281Model-Based Optimization of Testing

through Reduction of Stimuli, 593Model for Collective Strategy Diffusion in

Agent Social Law Evolution, A, 1353Modeling Multiagent Task Scheduling as a

Distributed Constraint OptimizationProblem, On, 1531

Modeling When Connections Are theProblem, 310

Modelling Well-Structured ArgumentationLines, 465

Models of Searching and Browsing:Languages, Studies, and Application, 2740

Modi, Pragnesh Jay, 1531Moffitt, Michael D., 1985Monderer, Dov, 1422Morales, A. Ricardo, 1991Morales, Antonio, 495Mori, Junichiro, 2820Morphological Annotation of a Large

Spontaneous Speech Corpus in Japanese,1731

Morrison, Clayton T., 720Moscato, Vincenzo, 1802Moses, Yoram, 1300Motik, Boris, 477Mukras, Rahman, 1582Muldner, Kasia, 483Müller, Martin, 1053, 1828, 2404Multi-Agent Medical System for Indian Rural

Infant and Child Care, A, 1396Multi-Agent System that Attains Longevity

via Death, 1428Multiagent Systems, 1174-1568Multi-Dimensional Bid Improvement

Algorithm for Simultaneous Auctions,1215

Multi-Document Summarization byMaximizing Informative Content-Words,1776

Multi-Issue Negotiation Protocol for Agents:Exploring Nonlinear Utility Spaces, 1347

Multiobjective Frontier Search Algorithm, A,2340

Multipotential Games, 1422Multi-Winner Elections: Complexity of

Manipulation, Control andWinner-Determination, 1476

Mulvehill, Alice, 489Murakami, Yohei, 1341

Nakajima, Yuu, 1341Nakamura, Yoshiyuki, 2159Nakanishi, Hideyuki, 1341Nakashima, Hideyuki, xiv, 2159Named Entity Translation with Web Mining

and Transliteration, 1629Nannen, Volker, 975Napoli, Amedeo, 750Narasimhan, Mukund, 981Narayanamurthy, Shravan Matthur, 2556Nardi, Daniele, 2091Naroditskiy, Victor, 1378Narodytska, Nina, 149Nataraja, M. C., 871Natarajan, Pradeep, 2562Natarajan, Sriraam, 1879Nath, Mainak, 2172Natural Language Processing, 1569-1800

Natural Language Processing and PlanRecognition, On, 1612

Natural Language Query Recommendationin Conversation Systems, 1701

Nau, Dana, 501Navarrete, Isabel, 495Navigli, Roberto, 1683, 2897Nayak, Abhaya C., 2568Ndiaye, Samba Ndojh, 112Near-Optimal Anytime Coalition Structure

Generation, 2365Nebel, Bernhard, 1846Neighborhood MinMax Projections, 993Neumann, André, 386Nevatia, Ramakant, 2562Neveu, Bertrand, 94New Approach for Stereo Matching in

Autonomous Mobile Robot Applications,A, 2103

New Constraint Programming Approachesfor the Computation of Leximin-OptimalSolutions in Constraint Networks, 62

New Perspective on Stable Models, A, 372Ng, Andrew Y., 2115, 2178, 2197, 2510Ng, Brenda, 2580Ng, Hwee Tou, 1763Ng, See-Kiong, 2802Ng, Vincent, 1689Nguyen, Canh Hao, 987Nguyen, Minh Le, 1695Nguyen, Thanh Tri, 1695Nguyen, Tuan A., 2016Niculescu, Radu Stefan, 155Nie, Feiping, 993Nielsen, Frank, 842Nishimura, Takuichi, 2159Niu, Cheng, 1629Nock, Richard, 842Noelle, David C., 405Nogood Recording from Restarts, 131Non-Monotonic Temporal Logics for Goal

Specification, 236Norman, Timothy J., 1434Nortet, Cyril, 1035

Oates, Tim, 1618Observation Reduction for Strong Plans,

1930Occam’s Razor Just Got Sharper, 768O’Donovan, John, 2826Okazaki, Naoaki, 2159Olsen, Megan, 1428One Class per Named Entity: Exploiting

Unlabeled Text for Named EntityRecognition, On, 1763

Ong, Irene, 2719Online Learning and Exploiting Relational

Models in Reinforcement Learning, 726Online Speed Adaptation Using Supervised

Learning for High-Speed, Off-RoadAutonomous Driving, 2218

IJCAI-072949

Ontañón, Santi, 999Open Information Extraction from the Web,

2670Operator Component Matrix Model for IMP

Program Diagnosis, 354Opinion Sentence Search Engine on

Open-Domain Blog, 2760Opponent Modeling in Scrabble, 1482Optimal Multi-Sensor Based Multi Target

Detection by Moving Sensors to theMaximal Clique in a Covering Graph,2135

Optimal Soft Arc Consistency, 68Optimistic Active-Learning Using Mutual

Information, 823Optimizing Classifier Performance in Word

Sense Disambiguation by RedefiningWord Sense Classes, 1635

Oren, Nir, 1434Orgun, Mehmet A., 2568Orseau, Laurent, 1005Osman, Nardine, 1440OSS: A Semantic Similarity Function Based

on Hierarchical Ontologies, 551O’Sullivan, Barry, 50, 74, 106, 1315Ottens, Brammert, 205

Paduraru, Cosmin, 1077Page, David, 2719Pal, Chris, 429Palopoli, Luigi, 1402Pan, Jeffrey Junfeng, 2166Pan, Shimei, 1701Pandey, Amit Kumar, 2172Parametric Kernels for Sequence Data

Analysis, 1047Parker, Austin, 501Pasca, Marius, 2832Pasemann, Frank, 848Pasula, Hanna, 2109Patterson, David, 2844Patterson, Murray, 161Paulin, Mathias, 50PC-DPOP: A New Partial Centralization

Algorithm for Distributed Optimization,167

Pearce, Adrian R., 1327, 1948Pearce, Jonathan P., 1446Pecheur, Charles, 1384Peelen, Linda, 557Pencolé, Yannick, 575Pentney, William, 2237Pérez de la Cruz, José Luis, 2340Performance Analysis of Online Anticipatory

Algorithms for Large Multistage StochasticInteger Programs, 1979

Peripheral-Foveal Vision for Real-TimeObject Recognition and Tracking in Video,2115

Permanents, Transportation Polytopes andPositive Definite Kernels on Histograms,732

Perny, Patrice, 2353Perzylo, Alexander, 2066Peshkin, Leonid, 545Petcu, Adrian, 167, 1452Petit, Michaël, 2897Petit, Thierry, 44Petrik, Marek, 1997, 2574Petrovskaya, Anna, 2178Pezzulo, Giovanni, 1458Pfeffer, Avi, 2580Pham, Duc Nghia, 2359Philipose, Matthai, 2237Phonetic Models for Generating Spelling

Variants, 1570Picardi, Claudia, 286Picariello, Antonio, 1802Pichler, Reinhard, 417Pichuka, Chaithanya, 1011Piette, Cédric, 2300Pini, Maria Silvia, 1372, 1464Piunti, Michele, 507Plagemann, Christian, 2185Planning and Scheduling, 1801-2052Planning for Gene Regulatory Network

Intervention, 1834Planning for Temporally Extended Goals as

Propositional Satisfiability, 1966Planning under Risk and Knightian

Uncertainty, 2023Planning via Petri Net Unfolding, 1904Planning with Goal Utility Dependencies,

1872Plaza, Enric, 999Polat, Faruk, 817Poldermans, Don, 519Pollack, Martha E., xiv, 1985Polleres, Axel, 304Popescu, Ana-Maria, 2237Prade, Henri, 393Praveen, G., 1738Precup, Doina, 250, 2078, 2437Predicting and Preventing Coordination

Problems in Cooperative Q-learningSystems, 780

Prediction of Probability of Survival inCritically Ill Patients Optimizing the Areaunder the ROC Curve, 956

Predictive Approach to Help-Desk ResponseGeneration, A, 1665

Preece, Alun, 1434Preface, viPrimitive Based Generative Model to Infer

Timing Information in UnpartitionedHandwriting Data, A, 1119

Privacy and Artificial Agents, or, Is GoogleReading My Email?, 1245

Privacy-Sensitive Approach to ModelingMulti-Person Conversations, A, 1769

Probabilistic Consistency Boosts MAC andSAC, 143

Probabilistic Go Theories, 501

Probabilistic Mobile Manipulation in DynamicEnvironments, with Application toOpening Doors, 2178

ProbLog: A Probabilistic Prolog and ItsApplication in Link Discovery, 2468

Probst, Katharina, 2838Procaccia, Ariel D., 1470, 1476Progression of Situation Calculus Action

Theories with Incomplete Information,2029

Property Persistence in the SituationCalculus, 1948

Protein Quaternary Fold Recognition UsingConditional Graphical Models, 937

Provan, Gregory, 513Providing a Recommended Trading Agent to

a Population: A Novel Approach, 1408Pseudo-Aligned Multilingual Corpora, 2727Pucci, Augusto, 2766Pujari, Arun K., 1011

Qazi, Maleeha, 519QCSP Made Practical by Virtue of Restricted

Quantification, 38Qualitative Spatial and Temporal Reasoning:

Efficient Algorithms for Everyone, 526Qualitative Temporal Reasoning about Vague

Events, 569Quality Guarantees on k-Optimal Solutions

for Distributed Constraint OptimizationProblems, 1446

Quantified Coalition Logic, 1181Quantified Constraint Satisfaction Problems:

From Relaxations to Explanations, 74QuantMiner: A Genetic Algorithm for

Mining Quantitative Association Rules,1035

Query-Driven Constraint Acquisition, 50Quevedo, José R., 956

Raghavan, Hema, 684Rahwan, Talal, 2365Raimondi, Franco, 1384Ram, Ashwin, 1041, 1557Ramachandran, Deepak, 2586Ramchurn, Sarvapali D., 2365Ramon, Jan, 726Ranganathan, Ananth, 2129, 2191Ranking Alternatives on the Basis of Generic

Constraints and Examples — APossibilistic Approach, 393

Ranking Approach to Pronoun Resolution, A,1588

Rao, R. Bharat, 155, 519, 756, 786Rao, Rajesh P. N., 2084Ratliff, Nathan D., 1017Ravi, S. S., 2268Ravikumar, C. N., 871Ravindran, Balaraman, 1023, 2060, 2556Rayner, D. Chris, 2372Reaching Envy-Free States in Distributed

Negotiation Settings, 1239

IJCAI-072950

Real Boosting a la Carte with an Applicationto Boosting Oblique Decision Tree, 842

Real-Time Detection of Task Switches ofDesktop Users, 2868

Real-Time Heuristic Search with a PriorityQueue, 2372

Recent Progress in Heuristic Search: A CaseStudy of the Four-Peg Towers of HanoiProblem, 2324

Recursive Random Fields, 950Reddy, Raj, xiiiReducing Accidental Complexity in Planning

Problems, 1898Regli, William C., 1531Rêgo, Leandro Chaves, 2306Reinforcement Learning of Local Shape in

the Game of Go, 1053Relational Knowledge with Predictive State

Representations, 2035Relevance Estimation and Value Calibration

of Evolutionary Algorithm Parameters,975

Renz, Jochen, 526Representations for Action Selection

Learning from Real-Time Observation ofTask Experts, 641

Representing Kriegspiel States withMetapositions, 2450

Resource Constraints on Computation andCommunication in the Brain, 611

Reversing Actions: Algorithms andComplexity, On, 336

Revisiting Output Coding for SequentialSupervised Learning, 2486

r-grams: Relational Grams, 907Ribeiro, Carlos H. C., 690Richards, Mark, 1482Rigutini, Leonardo, 2748Rintanen, Jussi, 532, 538, 1904, 1966Robertson, David, 1440Robotics, 2053-2248Robust Human-Computer Interaction

System Guiding a User by ProvidingFeedback, 2850

Robust Object Tracking with a Case-BaseUpdating Strategy, 925

Rodríguez-Aguilar, Juan A., 1175, 1221Roelofsen, Floris, 268Rogers, Alex, 1287Rojas, Raúl, 2231Role of Macros in Tractable Planning over

Causal Graphs, The, 1936Rooney, Niall, 2844Ros, Raquel, 1029Rosales, Romer, 519, 786Rosati, Riccardo, 274, 477Rosé, Carolyn Penstein, 1750Rosenkrantz, Daniel J., 2268Rosenschein, Jeffrey S., 1470, 1476, 1563Ross, Stéphane, 2592Rossi, Francesca, 1372, 1464Roth, Dan, 836

Rothe, Jörg, 1308Routing Mediators, 1488RoxyBot-06: An (SAA)2 TAC Travel Agent,

1378Roy, Daniel M., 2599Rozenfeld, Ola, 1488Rudnicky, Alexander I., 1641Ruml, Wheeler, 2378Ryan, Malcolm, 2003Ryoo, Michael S., 2850

Sabharwal, Ashish, 2293Sagayama, Shigeki, 2915Saha, Sabyasachi, 1494Saïs, Lakhdar, 131, 2262Saito, Kazumi, 2754Saitta, Lorenza, 798Salleb-Aouissi, Ansaf, 1035Samples, Michael E., 865Sampling to Model Counting, From, 2293Sanand, D. Rama, 1738Sandholm, Tuomas, 1207, 1251, 1500, 2286Sang, Tian, 173Santamaria, Juan, 1041Santos Costa, Vítor, 2719Sapp, Benjamin, 2115Sardina, Sebastian, 1866Sarne, David, 1415SAT Encodings of State-Space Reachability

Problems in Numeric Domains, 1918Sato, Taisuke, 2550, 2605Satoh, Ken, 2550Sattar, Abdul, 2359Sattler, Ulrike, 230, 298, 399Saubion, Frederic, 1647Savova, Virginia, 545Saxena, Ashutosh, 2197Scalable Diagnosability Checking of

Event-Driven Systems, 575Scalable Kernel-Based Algorithm for

Semi-Supervised Metric Learning, A, 1138Scarcello, Francesco, 1402Scarselli, Franco, 2748Scerri, Paul, 2091Schaal, Stefan, 762Schaeffer, Jonathan, 1828Schafföner, Martin, 660Schaub, Torsten, 386, 2462Schickel-Zuber, Vincent, 551Schiex, Thomas, 68Schlobach, Stefan, 557Schmidhuber, Jürgen, 774, 792Schmidt, Jochen, 2243Schmidt, Richard, 2225Schmidtke, Hedda R., 563Schockaert, Steven, 569Schulte, Jamie, 2197Schumann, Anika, 575Schuurmans, Dale, 944, 1756

Sciavicco, Guido, 495Search, 2249-2416Searching for Interacting Features, 1156Sebag, Michèle, 2274SegGen: A Genetic Algorithm for Linear Text

Segmentation, 1647Selective Supervision: Guiding Supervised

Learning with Decision-Theoretic ActiveLearning, 877

Self-Adaptive Neural Networks Based on aPoisson Approach for KnowledgeDiscovery, 1101

Self-Adjusting Ring Modules (SARMs) forFlexible Gait Pattern Generation, 848

Sellers Competing for Buyers in OnlineMarkets: Reserve Prices, Shill Bids, andAuction Fees, 1287

Selman, Bart, 1543, 1918, 2293Semantic Indexing of a Competence Map to

Support Scientific Collaboration in aResearch Community, 2897

Semantic Precision and Recall for OntologyAlignment Evaluation, 348

Semantic Smoothing of Document Modelsfor Agglomerative Clustering, 2922

Semeraro, Giovanni, 2856Semi-Supervised Gaussian Process

Classifiers, 1059Semi-Supervised Learning for

Multi-Component Data Classification,2754

Semi-Supervised Learning of Attribute-ValuePairs from Product Descriptions, 2838

Sen, Sandip, 1215, 1494, 1507Sequence Labelling in Structured Domains

with Hierarchical Recurrent NeuralNetworks, 774

Sequence Prediction Exploiting SimilarityInformation, 1576

Sequential Bundle-Bid Single-Sale AuctionAlgorithms for Decentralized Control,1359

Serafini, Luciano, 268Serina, Ivan, 2016Sertkaya, Baris, 230Seuken, Sven, 2009Sgorbissa, Antonio, 2153Shadbolt, Nigel R., 2398Shahaf, Dafna, 2611Shallow Semantics for Coreference

Resolution, 1689Shani, Guy, 2619Shannon, Scott, 137Shapiro, Steven, 2625Sharing the Road: Autonomous Vehicles

Meet Human Drivers, 1263Sharma, Manu, 1041Shaw, James, 1701Shen, Dou, 2689, 2862Shen, Jianqiang, 2868Shen, Zhiqi, 1193Shi, Yanxin, 1707Shi, Yong, 1168

IJCAI-072951

Shimazu, Akira, 1695Shimony, Solomon E., 2619Shin, Young-In, 1047Shoham, Yoav, 1199, 1207Shoji, Kenji, 2885Sichman, Jaime S., 617Siddiqi, Sajjad, 581Siegelmann, Hava, 1428Sierra, Carles, 1175, 1513Silver, David, 1053Simari, Guillermo R., 280, 465Simon, Laurent, 2256Simple Training of Dependency Parsers via

Structured Boosting, 1756Sindhwani, Vikas, 1059Singh, Amarjeet, 2204Singh, Munindar P., 1519, 1551Singh, Sanasam Ranbir, 2874Singh, Satinder, 1065, 2035Singh, Vishwajeet, 587Sinha, Arpita, 1525Size-Based Qualitative Approach to the

Representation of Spatial Granularity, A,563

Smyth, Barry, 2826Snyder, Benjamin, 1713Soderland, Stephen, 2670Solving POMDPs Using Quadratically

Constrained Linear Programs, 2418Some Effects of a Reduced Relational

Vocabulary on the Whodunit Problem,411

Son, Tran Cao, 1991Soni, Vishal, 2035Soutchanski, Mikhail, 1891Southey, Finnegan, 810, 2631Spanjaard, Olivier, 2353Speaker-Invariant Features for Automatic

Speech Recognition, 1738Spiteful Bidding in Sealed-Bid Auctions, 1207Sridharan, Mohan, 2212Srihari, Rohini, 2880Srihari, Sargur, 2880Srinivasan, Harish, 2880Srinivasan, Thanukrishnan, 2701Srivastava, Biplav, 2016Stable Biclustering of Gene Expression Data

with Nonnegative Matrix Factorizations,2651

Starner, Thad, 2814State Similarity Based Approach for

Improving Performance in RL, 817State Space Search for Risk-Averse Agents,

2353Stavens, David, 2218Stearns, Richard E., 2268Steck, Harald, 519Steedman, Mark, 1612Stein, Klaus, 2778Stock, Oliviero, 1719

Stone, Peter, 13, 672, 1113, 1263, 2212Storkey, Amos J., 1119Storme, Louis-Xavier, 2353Strapparava, Carlo, 1719Structure Inference for Bayesian

Multisensory Perception and Tracking,2122

Struss, Peter, 342, 593Struyf, Jan, 2719Study of Residual Supports in Arc

Consistency, A, 125Stumptner, Markus, 471Su, Kaile, 2334Subbarayan, Sathiamoorthy, 180Subrahmanian, V. S., 501, 599, 1802Subramaniam, L. Venkata, 1659Subramanian, Devika, xivSubspace Kernel for Nonlinear Feature

Extraction, A, 1125Subtree Mining for Question Classification

Problem, 1695Sultanik, Evan A., 1531Sun, Jian-Tao, 2689, 2862Sun, Jimeng, 2909Sun, Xiaoxun, 2385, 2391Sung, Andrew H., 2808Sungur, Ilgaz, 1359Supervised Latent Semantic Indexing Using

Adaptive Sprinkling, 1582Suraj, M. G., 605Surprise as Shortcut for Anticipation:

Clustering Mental States in Reasoning, 507Sutton, Richard, 1053Suzuki, Hisami, 1776Symmetric Component Caching, 118Symmetry Breaking in Quantified Boolean

Formulae, 2262Szabó, Ivett, 830Szamonek, Zoltán, 1576Szathmary, Laszlo, 750Szepesvári, Csaba, 830, 1576Szeto, Kwok Yip, 2330

Tabary, Sébastien, 131Taboada, Francisco, 956Tadepalli, Prasad, 1879Talvitie, Erik, 1065Tambe, Milind, 1446, 2536, 2638Tan, Ah-Hwee, 1071Tanaka, Takamasa, 2885Tang, Xiaoou, 629, 2141, 2707Tanguy, Emmanuel, 1537Tanner, Brian, 1077Team Programming in Golog under Partial

Observability, 2097Techniques for Efficient Interactive

Configuration of Distribution Networks,100

Teh, Yee Whye, 2796Tennenholtz, Moshe, 1187, 1488

Ternovska, Eugenia, 161Terrioux, Cyril, 112Thakur, Mayur, 2268Theoretical Framework for Learning

Bayesian Networks with ParameterInequality Constraints, A, 155

Theseider Duprè, Daniele, 286Thiébaux, Sylvie, 1904, 1942Thornton, John, 2359Three-Stage Neural Model for Attribute

Based Classification and Indexing of FlyAshes, A, 871

Thrun, Sebastian, 2218Tighter Error Bound for Decision Tree

Learning Using PAC Learnability, A, 1011Tilivea, Doina, 2651Tino, Peter, 1083Tjahyadi, Ronny, 2891Toivonen, Hannu, 2468Toman, David, 218Tompits, Hans, 304, 330Tong, Yan, 925Topological Mapping through Distributed,

Passive Sensors, 2147Topological Value Iteration Algorithm for

Markov Decision Processes, 1860Toussaint, Marc, 1119Tovey, Craig, 1359Towards a Computational Model of Melody

Identification in Polyphonic Music, 459Towards an Integration of Golog and

Planning, 1846Towards Efficient Computation of Error

Bounded Solutions in POMDPs: ExpectedValue Approximation and DynamicDisjunctive Beliefs, 2638

Towards Runtime Behavior Adaptation forEmbodied Characters, 1557

Toyama, Fubito, 2885Tractable Temporal Reasoning, 318Training Conditional Random Fields Using

Virtual Evidence Boosting, 2530Transfer Learning in Real-Time Strategy

Games Using Hybrid CBR/RL, 1041Transferring Learned Control-Knowledge

between Planners, 1885Treur, Jan, 262Trevizan, Felipe W., 2023Triebel, Rudolph, 2225Trust Based Recommender System for

Semantic Web, 2677Truthful Risk-Managed Combinatorial

Auctions, 1315Tsang, Ivor W., 1089Tsatsaronis, George, 1725Tsujii, Jun’ichi, 1671, 1783Tsuruoka, Yoshimasa, 1783Tu, Phan Huy, 1991

Uchimoto, Kiyotaka, 1731Udrea, Octavian, 1802Ueda, Naonori, 2754

IJCAI-072952

Umesh, Srinivasan, 1738Uncertainty, 2417-2643Understanding Drawings by Compositional

Analogy, 1131Unmanned Aerial Vehicle Research:

Challenges and Prospects, xiiiUnsupervised Anomaly Detection, 1624Unsupervised Discretization Using Kernel

Density Estimation, 696Updates for Nonlinear Discriminants, 660Using a Hierarchical Bayesian Model to

Handle High Cardinality Attributes withRelevant Interactions in a ClassificationProblem, 2504

Using a Mobile Robot for CognitiveMapping, 2243

Using Focal Point Learning to Improve TacticCoordination in Human-MachineInteractions, 1563

Using Graph Algebra to OptimizeNeighborhood for Isometric Mapping,2398

Using Learned Policies in Heuristic-SearchPlanning, 2047

Using Linear Programming for BayesianExploration in Markov DecisionProcesses, 2437

Using Ontologies and the Web to LearnLexical Semantics, 1618

Using the Probabilistic Logic ProgrammingLanguage P-log for Causal andCounterfactual Reasoning and Non-NaiveConditioning, 243

Utile Distinctions for RelationalReinforcement Learning, 738

Valitutti, Alessandro, 1719Value of Observation for Monitoring

Dynamic Systems, The, 2474Valued Negation Normal Form Formulas,

On, 360van Deemter, Kees, 2456van den Briel, Menkes, 1872van der Hoek, Wiebe, 1175, 1181van der Weide, Theo, 380Vanderwende, Lucy, 1776van Dongen, M. R. C., 143Van Durme, Benjamin, 2832Van Gael, Jurgen, 1744Van Hentenryck, Pascal, 1816, 1979Varakantham, Pradeep, 2638Varma, Sashank, 611Vassos, Stavros, 2029Vautard, Jérémie, 38Vazirgiannis, Michalis, 1725Veeramachaneni, Sriharsha, 2772Velardi, Paola, 2897Veloso, Manuela, viVenable, K. Brent, 1372, 1464Venkatesh, Svetha, 2891Vento, Mario, 2103Ventura, Dan, 780, 1257

Vercouter, Laurent, 617Verheij, Bart, 623Vetsikas, Ioannis A., 1543Vidal, Thierry, 56Vidal, Vincent, 131Vijayakumar, Sethu, 762, 2122Visually Tracking Football Games Based on

TV Broadcasts, 2066von Hoyningen-Huene, Nico, 2066von Hundelshausen, Felix, 2231Voronoi Random Fields: Extracting the

Topological Structure of IndoorEnvironments via Place Labeling, 2109

Vote and Aggregation in CombinatorialDomains with Structured Preferences,1366

Vrain, Christel, 1035

Wah, Benjamin W., 1924Wainer, Jacques, 2504Waiting and Relocation Strategies in Online

Stochastic Vehicle Routing, 1816Walsh, Toby, 106, 149, 1372, 1464Walther, Dirk, 453Wan, Xiaojun, 2903Wang, Chenggang, 1095Wang, Haiying, 1101Wang, Hao-Chuan, 1750Wang, Huan, 629Wang, Hui, 635Wang, Jun, 513Wang, Li-Lun, 931Wang, Mengqiu, 1707Wang, Qin Iris, 1756Wang, Shiaokai, 2237Wang, Tao, 913, 944Wang, Xuanhui, 2689Wang, Xuerui, 2909Wang, Yonghong, 1551Wasowski, Andrzej, 100Watt, Stuart, 1582Web/Data Mining, 2644-2939Web Page Clustering Using Heuristic Search

in the Web Graph, 2280Wechsler, Harry, 1912Wei, Xing, 2909Weigele, Peter, 937Weld, Daniel S., 1852, 1972Welling, Max, 2796Wellman, Michael P., 1233Wen, Guihua, 2398Wen, Zhonghua, 1930Wendemuth, Andreas, 660, 1107What You Seek Is What You Get: Extraction

of Class Attributes from Query Logs,2832

When Is Temporal Planning ReallyTemporal?, 1852

White, Lang, 1904White, Laurence, 1245

Widmer, Gerhard, 459WiFi-SLAM Using Gaussian Process Latent

Variable Models, 2480Wildstrom, Jonathan, 1113Wilkinson, Dana, 810, 2631Wilks, Yorick, 1624Williams, Ben H., 1119Willis, Philip, 1537Wingate, David, 2035Winner Determination in Sequential

Majority Voting, 1372Wiratunga, Nirmalie, 1582Witchel, Emmett, 1113Witzel, Andreas, 666Wolfe, Britton, 2035Wolter, Frank, 453Woltran, Stefan, 330Wong, Chee K., 2243Wong, Yingchuan, 1763Woo, Woontack, 563Wood, Mark A., 641Wooldridge, Michael, 1175, 1181Word Sense Disambiguation through

Sememe Labeling, 1594Word Sense Disambiguation with Spreading

Activation Networks Generated fromThesauri, 1725

Wu, Lihua, 1930Wu, Mingrui, 1125Wu, Xindong, 1168, 2934Wünsche, H. J., 2231Wyatt, Danny, 1769Wyatt, Jeremy, 2072

Xiang, Shiming, 993Xiao, Jianguo, 2903Xing, Zhao, 1840Xu, Bo, 1594Xu, Yuehua, 2041

Yahi, Safa, 2425Yamada, Setsuo, 2760Yaman, Fusun, 501Yan, Shuicheng, 629Yaner, Patrick W., 1131Yang, Dan, 423Yang, Jianwu, 2903Yang, Qiang, 2166, 2689, 2862Yang, Qiong, 2707Yang, Xu, 186Yeap, Wai K., 2243Yeung, Dit-Yan, 744, 1138Yih, Wen-tau, 1776Yonebayashi, Yuichiro, 2915Yoon, SungWook, 2041, 2047Yoshida, Kazuhiro, 1783Yoshizoe, Kazuki, 2404Yuan, Changhe, 2385Yuan, Xincheng, 1789

IJCAI-072953

Zaccaria, Renato, 2153Zang, Peng, 1144, 1557Zha, Hongyuan, 1162Zhang, Changshui, 913, 993Zhang, Weixiong, 1840Zhang, Xiaodan, 2922Zhang, Yan, 647Zhang, Yi, 1150Zhang, Yimin, 913Zhang, Yu, 1789Zhang, Yuanlin, 137, 192Zhao, Jicheng, 236Zhao, Jun, 1594Zhao, Shiqi, 1789, 1795Zhao, Zheng, 1156Zheng, Huiru, 1101Zheng, Xiaoming, 1359Zhou, Ding, 1162Zhou, Kun, 708Zhou, Ming, 423, 1629, 1795Zhou, Rong, 2410Zhou, Xiaohua, 2922Zhou, Yi, 441Zhou, Zhi-Hua, 2928Zhu, Xiaojin, 1744Zhu, Xingquan, 1168, 2934Zhu, Zhiwei, 925Zilberstein, Shlomo, 1997, 2009, 2280, 2418Zimak, Dav, 836Ziou, Djemel, 2790Zivan, Roie, 198Zohar, Aviv, 1476Zuckerman, Inon, 1563Zukerman, Ingrid, 1665

IJCAI-072954