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