Index Abstract Interpretation of Programs for Model-Based Debugging, 471 Acquiring a Robust Case Base for the Robot Soccer Domain, 1029 Action Description Language for Iterated Belief Change, An, 2498 Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks, 1321 Adaptive Context-Based Algorithm for Term Weighting: Application to Single-Word Question Answering, An, 2748 Adaptive Genetic Algorithm with Mutation and Crossover Matrices, 2330 AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement in Large POMDPs, 2592 Aggarwal, Jake K., 2850 Ågotnes, Thomas, 1175, 1181 Aha, David W., 962 AI Challenges in Developing Economies, The, xiii Aiello, Marco, 205 Aine, Sandip, 2250 Airiau, Stéphane, 1507 Albaiceta, Guillermo M., 956 Albanese, Massimiliano, 1802 Aler, Ricardo, 1885 Alhajj, Reda, 817 All Common Subsequences, 635 Allan, James, 684, 2280 Allison, Ben, 1624 Altman, Alon, 1187 Alvarez, Isabelle, 654 Amato, Christopher, 2418 Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic Parsers, 1783 Amghar, Tassadit, 1647 Amgoud, Leila, 599 Amir, Eyal, 1482, 2586, 2611 An, Bo, 1193 An, Senjian, 2891 Analogical Learning in a Turn-Based Strategy Game, 853 Analysis of Laplacian Methods for Value Function Approximation in MDPs, An, 2574 Analysis of the Use of Tags in a Blog Recommender System, An, 2772 Andelic, Edin, 660 Andersen, Henrik R., 100, 180 Anderson, Kenneth, 2372 Androutsopoulos, Ion, 1725 Angelini, Elsa, 224 Angelini, Giovanni, 2748 Ansótegui, Carlos, 32 Answer Set Logic Programming to Circumscription via Logic of GK, From, 441 Aoun-Allah, Mohamed, 2645 Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets, 605 Araujo, Ricardo M., 212 Arbel, Tal, 2078 Arc Consistency during Search, 137 Arcos, Josep Lluís, 1029 Arfvidsson, Joakim, 2115 Argumentation Based Contract Monitoring in Uncertain Domains, 1434 Artale, Alessandro, 218 Asadi, Mehran, 2054 Atif, Jamal, 224 Audemard, Gilles, 2256, 2262 Augmented Experiment: Participatory Design with Multiagent Simulation, 1341 Automated Benchmark Model Generators for Model-Based Diagnostic Inference, 513 Automated Design of Multistage Mechanisms, 1500 Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks, 519 Automatic Acquisition of Context-Specific Lexical Paraphrases, 1789 Automatic Decision of Piano Fingering Based on Hidden Markov Models, 2915 Automatic Gait Optimization with Gaussian Process Regression, 944 Automatic Scoring of Handwritten Essays, On the, 2880 Automatic Synthesis of New Behaviors from a Library of Available Behaviors, 1866 Automatic Verification of Knowledge and Time with NuSMV, 1384 Automatically Selecting Answer Templates to Respond to Customer Emails, 1659 Average-Reward Decentralized Markov Decision Processes, 1997 Avesani, Paolo, 2772 Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization, 889 AWA* — A Window Constrained Anytime Heuristic Search Algorithm, 2250 IJCAI-07 2942 Awards, 2–30 Awasthi, Pranjal, 2060 Axiomatic Approach to Personalized Ranking Systems, An, 1187 Azuaje, Francisco, 1101 Baader, Franz, 230 Babu, Pavithra, 2880 Bacchus, Fahiem, 118, 1808 Bachrach, Yoram, 1470 Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs, 180 Badea, Liviu, 2651 Bader, Sebastian, 666 Badra, Fadi, 750 Bagnell, J. Andrew, 1017 Bahamonde, Antonio, 956 Baier, Jorge A., 1808 Baldridge, Jason, 1588 Balog, Krisztian, 2657 Baluja, Shumeet, 2663 Bandouch, Jan, 2066 Banerjee, Bikramjit, 672 Banko, Michele, 2670 Bao, Hujun, 708 Bapi, Raju S., 587, 1011 Baral, Chitta, 236, 243 Barrett, Chris, 2268 Barto, Andrew, 895, 1023 Barzilay, Regina, 1713 Basile, Pierpaolo, 2856 Basile, Teresa Maria Altomare, 696 Baskiotis, Nicolas, 2274 Basu, Sumit, 877 Batalin, Maxim, 2204 Baumstarck, Paul, 2115 Bayesian Inverse Reinforcement Learning, 2586 Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination, 2141 Bayoudh, Sabri, 678 Beame, Paul, 173 Beck, John Christopher, 56 Bedi, Punam, 2677 Beetz, Michael, 2066 Bekkerman, Ron, 684, 2280 Belief Change Based on Global Minimisation, 2462 Belief Update Revisited, 2517 Bellemare, Marc G., 250 Benedetti, Marco, 38 Benferhat, Salem, 2425 Bent, Russell, 1816 Benton, J., 1872 Benyo, Brett, 489 Bernard, Stephan, 654 Bernstein, Daniel S., 2418 Bertoli, Piergiorgio, 1972 Bessiere, Christian, 44, 50 Best-First Utility-Guided Search, 2378 Bhagat, Rahul, 1570 Bhagvati, Chakravarthy, 1011 Bhattacharyya, Pushpak, 1677 Bi, Jinbo, 756 Bianchi, Reinaldo A. C., 690 Biba, Marenglen, 696 Bidding Languages and Winner Determination for Mixed Multi-Unit Combinatorial Auctions, 1221 Bidot, Julien, 56 Bigham, John, 186 Billington, David, 256 Bilmes, Jeff, 981, 1769 Bíró, István, 1576 Bloch, Isabelle, 224 Block, Marco, 2231 Blockeel, Hendrik, 726 Bolelli, Levent, 1162 Bonet, María Luisa, 32 Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle, 2300 Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data, 744 Borgo, Stefano, 1822 Borrajo, Daniel, 1885 Bosse, Tibor, 262 Bostwick, Renu, 489 Botea, Adi, 1828 Boutilier, Craig, 1227, 1333, 1500 Bouveret, Sylvain, 62 Bowen, James, 137 Bowling, Michael, 944 Bradski, Gary, 2115 Brafman, Ronen I., 2542, 2619 Brandão, Anarosa A. F., 617 Brandt, Felix, 1199, 1207 Breck, Eric, 2683 Brenner, Michael, 2072 Brewka, Gerhard, 268, 2625 Brinker, Klaus, 702 Broadhead, Matthew, 2670, 2733 Bromberg, Facundo, 2431 Brooks, Rupert, 2078 Bruynooghe, Maurice, 726 Bryce, Daniel, 1834 Bryson, Joanna J., 641, 1537 Buffet, Olivier, 1942 Building Portable Options: Skill Transfer in Reinforcement Learning, 895 Building Structure into Local Search for SAT, 2359 Bulitko, Vadim, 1077, 2372 Bundy, Alan, 2 Burgard, Wolfram, 2185, 2225 Burnside, Elizabeth, 2719 Cafarella, Michael J., 2670 Cai, Deng, 708 Cai, Lijuan, 714 Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks, A, 186 Calvanese, Diego, 274 Calvi, Gianguglielmo, 1458 Candale, Teddy, 1215 Cao, Bin, 2689 Carbonell, Jaime, 937, 1653, 2492 Cardie, Claire, 2683 Carman, Mark James, 2695 Cartwright, Joel J., 2122 Casare, Sara J., 617 Case Base Mining for Adaptation Knowledge Acquisition, 750 Case-Based Learning from Proactive Communication, 999 Case-Based Multilabel Ranking, 702 Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System, 1600 Castelfranchi, Cristiano, 507, 1458 Castro, Pablo Samuel, 2437 Cerquides, Jesús, 1221 Chabert, Gilles, 94 Chaib-draa, Brahim, 2592 Chakrabarti, Partha P., 2250 Chakraborti, Sutanu, 1582 Chalkiadakis, Georgios, 1227 Chalodhorn, Rawichote, 2084 Chandrasekar, Ramachandran, 2701 Chandrasekaran, Dhanalakshmi, 519 Chang, Chun-Yen, 1750 Chang, Hong, 1138 Chang, Yu-Han, 720 Change of Representation for Statistical Relational Learning, 2719 Characterizing Solution Concepts in Games Using Knowledge-Based Programs, 1300 Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic, 2306 Chavira, Mark, 2443 Chen, Mo, 2707 Chen, Yixin, 1840, 1924 Chen, Zheng, 2689, 2862 Cheng, Shih-Fen, 1233 Chesñevar, Carlos Iván, 280 Cheung, Pak-Ming, 901 Chevaleyre, Yann, 1239 IJCAI-07 2943 Chien, Lee-Feng, 1629 Choi, Seungjin, 2523 Choi, Yejin, 2683 Chopra, Samir, 1245 Choudhury, Tanzeem, 1769, 2237, 2530 Chowdhury, Abdur, 889 Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization, 324 Chu, Wei, 1059 Chung, Sukwon, 2115 Ciancarini, Paolo, 2450 Claßen, Jens, 1846 Cluster-Based Selection of Statistical Answering Strategies, 1653 Coalitional Bargaining with Agent Type Uncertainty, 1227 Coalitions in Action Logic, 1822 Cohen, Paul R., 720, 2713 Coletta, Remi, 44, 50 Colin, Bernard, 2790 Collaborative Inductive Logic Programming for Path Planning, 1327 Collapsed Variational Dirichlet Process Mixture Models, 2796 Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian, 2166 Color Learning on a Mobile Robot: Towards Full Autonomy under Changing Illumination, 2212 Combining Learning and Word Sense Disambiguation for Intelligent User Profiling, 2856 Combining Topological and Directional Information for Spatial Reasoning, 435 Common Sense Based Joint Training of Human Activity Recognizers, 2237 Communicating Effectively in Resource-Constrained Multi-Agent Systems, 1269 Comparison of Time-Space Schemes for Graphical Models, A, 2346 Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies, On the, 2425 Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs, 2550 Compiling Bayesian Networks Using Variable Elimination, 2443 Completing Description Logic Knowledge Bases Using Formal Concept Analysis, 230 Complexity of Pure Equilibria in Bayesian Games, 1294 Complexity Results for Checking Equivalence of Stratified Logic Programs, 330 Computation of Initial Modes for K-modes Clustering Algorithm Using Evidence Accumulation, 2784 Computational Aspects of Analyzing Social Network Dynamics, 2268 Computing Semantic Relatedness Using Wikipedia-Based Explicit Semantic Analysis, 1606 Conati, Cristina, 483 Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning, 1150 Conceptual Graph Approach for the Generation of Referring Expressions, A, 2456 Conditional Constraint Satisfaction: Logical Foundations and Complexity, 88 Conflict-Based Diagnosis: Adding Uncertainty to Model-Based Diagnosis, 380 Conflict Directed Backjumping for Max-CSPs, 198 Conflict-Driven Answer Set Solving, 386 Conitzer, Vincent, 1251, 1500 Conjunctive Query Answering for the Description Logic SHIQ, 399 Conservative Extensions in Expressive Description Logics, 453 Consistency Checking of Basic Cardinal Constraints over Connected Regions, 495 Console, Luca, 286 Constraint and Variable Ordering Heuristics for Compiling Configuration Problems, 149 Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences, 1924 Constraint Satisfaction, 31-203 Constructing Career Histories: A Case Study in Disentangling the Threads, 2713 Constructing New and Better Evaluation Measures for Machine Learning, 859 Context-Driven Predictions, 250 Contextual Default Reasoning, 268 Continuous Time Associative Bandit Problems, 830 Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit Laws, 1525 Convengent Solution to Tensor Subspace Learning, A, 629 Cooper, Martin C., 68 Cooperating Reasoning Processes: More than Just the Sum of Their Parts, 2 Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System, 1281 Cordier, Marie-Odile, 292 Correlation Clustering for Crosslingual Link Detection, 1744 Costa, Anna H. R., 690 Counting Complexity of Propositional Abduction, 417 Covell, Michele, 2663 Cox, Michael, 489 Cozman, Fábio G., 2023 Croitoru, Madalina, 2456 Croonenborghs, Tom, 726 Cuenca Grau, Bernardo, 298 Cushing, William, 1852 Cuturi, Marco, 732 Cyber-Assisting Real World with Ambient Intelligence and Semantic Computing, xiv Dabney, William, 738 Dahlin, Mike, 1113 Dai, Guang, 744, 1138 Dai, Hong-Bin, 2928 Dai, Peng, 1860 Dances with Words, 1719 Dang, Viet Dung, 2365 d’Aquin, Mathieu, 750 Darwiche, Adnan, 2443 Das, Subrata, 2580 Dash, Rajdeep K., 1287 Database-Text Alignment via Structured Multilabel Classification, 1713 Davis, Jesse, 2719 Davison, Katherine, 2372 Dealing with Perception Errors in Multi-Robot System Coordination, 2091 de Barros, Leliane N., 2023 Debenham, John, 1513 de Bruijn, Jos, 304 Dechter, Rina, 2346 Decidable Reasoning in a Modified Situation Calculus, 1891 Decision-Theoretic Model of Assistance, A, 1879 De Cock, Martine, 569 Deekshatulu, Bulusu L., 1011 Deffuant, Guillaume, 654 de Gea, Jose, 883 Degemmis, Marco, 2856 De Giacomo, Giuseppe, 274, 1866 de Givry, Simon, 68 Dehghani, Morteza, 447 Deictic Option Schemas, 1023 DeJong, Gerald, 931 de Kleer, Johan, 310 Delgrande, James P., 2462, 2498 Delhay, Arnaud, 678 Dellaert, Frank, 2129, 2191 Denis, Pascal, 1588 Depth Estimation Using Monocular and Stereo Cues, 2197 De Raedt, Luc, 804, 907, 2468 de Rijke, Maarten, 2657 Description Logic of Change, A, 218 Description Logics with Approximate Definitions — Precise Modeling of Vague Concepts, 557 Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems, The, 80 Detect and Track Latent Factors with Online Nonnegative Matrix Factorization, 2689 Detecting Changes in Unlabeled Data Streams Using Martingale, 1912 Detecting Stochastically Scheduled Activities in Video, 1802 IJCAI-07 2944 Detection of Cognitive States from fMRI Data Using Machine Learning Techniques, 587 Determining Expert Profiles (With an Application to Expert Finding), 2657 Devi, M. Syamala, 1396 Diagnosability Testing with Satisfiability Algorithms, 532 Diagnosers and Diagnosability of Succinct Transition Systems, 538 Diaz, Fernando, 2727 Dietterich, Thomas G., 2868 Di Mauro, Nicola, 696 Dinerstein, Jonathan, 1257 DiPRA: Distributed Practical Reasoning Architecture, 1458 Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning, 1071 Directed Graph Embedding, 2707 Discriminative Learning of Beam-Search Heuristics for Planning, 2041 Distance Constraints in Constraint Satisfaction, 106 Distributed Architecture for Symbolic Data Fusion, A, 2153 Distributed Data Mining: Why Do More than Aggregating Models, 2645 Dixon, Clare, 318 Do, Minh B., 1872, 2016, 2378 Document Summarization Using Conditional Random Fields, 2862 Doherty, Patrick, xiii Dolgov, Dmitri A., 865 Domain Independent Approaches for Finding Diverse Plans, 2016 Domingos, Pedro, 950 Dousson, Christophe, 324 Downey, Doug, 2733, 2740 Dresner, Kurt, 1263 Drias, Habiba, 2425 Druzdzel, Marek J., 2385 Dual-Layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling Tasks, A, 1707 Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning, A, 405 Duan, Xiangyu, 1594 Dubeau, Francois, 2790 Dudek, Gregory, 2147 Dumais, Susan, 2740 Dundar, Murat, 756 Dutta, Partha S., 1269 Dynamic Approach for MPE and Weighted MAX-SAT, A, 173 Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs, 112 Dynamic Interactions between Goals and Beliefs, 2625 Dynamic Mixture Models for Multiple Time Series, 2909 Dynamic Verification of Trust in Distributed Open Systems, 1440 Dynamic Weighting A* Search-Based MAP Algorithm for Bayesian Networks, 2385 Dynamically Weighted Hidden Markov Model for Spam Deobfuscation, 2523 Dynamics of Temporal Difference Learning, 1107 Edakunni, Narayanan U., 762 Edge Partitioning in External-Memory Graph Search, 2410 Edgington, Mark, 883 Effect of Restarts on the Efficiency of Clause Learning, The, 2318 Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies, 2054 Efficient and Robust Independence-Based Markov Network Structure Discovery, 2431 Efficient Bayesian Task-Level Transfer Learning, 2599 Efficient Calculation of Personalized Document Rankings, 2778 Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process Proposals, 2185 Efficient HPSG Parsing with Supertagging and CFG-Filtering, 1671 Efficient Planning of Informative Paths for Multiple Robots, 2204 Efficient Protocol for Negotiation over Multiple Indivisible Resources, An, 1494 Efficiently Exploiting Symmetries in Real Time Dynamic Programming, 2556 Egbert, Parris K., 1257 Eguchi, Koji, 684 Eiben, A. E., 975 Eiter, Thomas, 304, 330, 336 Eliasson, Karolina, 1600 Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination, 304 Emergence of Norms through Social Learning, 1507 Emotions as Durative Dynamic State for Action Selection, 1537 Empirical Study of the Noise Impact on Cost-Sensitive Learning, An, 1168 Endriss, Ulle, 1221, 1239 Energy-Efficient, An, Multi-Agent Sensor Network for Detecting Diffuse Events, An, 1390 Engler, Dawson, 2510 Enhancing MAS Cooperative Search Through Coalition Partitioning, 1415 Ensembles of Partially Trained SVMs with Multiplicative Updates, 1089 Entailment Semantics for Rules with Priorities, 256 Epistemic Reasoning in Logic Programs, 647 EQL-Lite: Effective First-Order Query Processing in Description Logics, 274 Erdem, Esra, 336 Ernandes, Marco, 2748 e-Scientist Is the Semantic Web’s Friend (or a Friend of a Friend), The, xiii Esmeir, Saher, 768 Esposito, Floriana, 696 Essa, Irfan, 2814 Esser, Michael, 342 Estimating the Rate of Web Page Updates, 2874 Estivie, Sylvia, 1239 Etzioni, Oren, 2670, 2733 Euzenat, Jérôme, 348 Evaluating a Decision-Theoretic Approach to Tailored Example Selection, 483 Even-Dar, Eyal, 2474 Events, Patterns and Analysis: Forecasting Conflict in the 21st Century, xiv Evrim, Vesile, 2826 Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution, 489 Experience on Reputation Models Interoperability Based on a Functional Ontology, An, 617 Experts Algorithm for Transfer Learning, An, 1065 Explanation-Based Feature Construction, 931 Exploiting Image Contents in Web Search, 2928 Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis, 292 Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving, 2334 Exploiting Known Taxonomies in Learning Overlapping Concepts, 714 Exploiting Sensorimotor Coordination for Learning to Recognize Objects, 883 Extension to Conformant Planning Using Logic Programming, An, 1991 Extracting and Visualizing Trust Relationships from Online Auction Feedback Comments, 2826 Extracting Chatbot Knowledge from Online Discussion Forums, 423 Extracting Keyphrases to Represent Relations in Social Networks from Web, 2820 Eyerich, Patrick, 1846 Faber, Wolfgang, 336 Face Recognition via the Overlapping Energy Histogram, 2891 Factor Graph Model for Software Bug Finding, A, 2510 Factored Planning Using Decomposition Trees, 1942 Faithful Integration of Description Logics with Logic Programming, A, 477 Falcone, Rino, 507 IJCAI-07 2945 Faltings, Boi, 167, 551, 1452 Fan, Zhao-Fu, 354 Fano, Andrew, 2838 Fargier, Hélène, 360 Farinelli, Alessandro, 2091, 2097 Farquhar, Jason, 1125 Fast Algorithm for Connected Row Convex Constraints, 192 Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources, A, 2536 Fast Image Alignment Using Anytime Algorithms, 2078 Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with Preferences, 1954 Fast Incremental Square Root Information Smoothing, 2129 Fast Planning with Iterative Macros, 1828 Fault-Model-Based Test Generation for Embedded Software, 342 Favini, Gian Piero, 2450 Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping, 2172 Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB Matching Stegangoraphy in Grayscale Images, 2808 Feature Selection and Kernel Design via Linear Programming, 786 Felner, Ariel, 2324 Ferguson, Alex, 74 Ferilli, Stefano, 696 Fern, Alan, 1879, 2041, 2047, 2486 Fernández, Santiago, 774 Fernández, Susana, 1885 Ferraris, Paolo, 366, 372 Ferris, Brian, 2480 Fink, Michael, 330 Finzi, Alberto, 2097 First Order Decision Diagrams for Relational MDPs, 1095 Fischer, Felix, 1199 Fisher, Michael, 318 Flesch, Ildikó, 380 Flexible Unsupervised PP-Attachment Method Using Semantic Information, A, 1677 Foggia, Pasquale, 2103 Forbus, Kenneth, 411, 447, 853 Formal Trust Model for Multiagent Systems, 1551 Formalizing Communication Protocols for Multiagent Systems, 1519 Forward Search Value Iteration for POMDPs, 2619 Fouquier, Geoffroy, 224 Fox, Dieter, 2109, 2185, 2480, 2530 Framework for Decentralized Qualitative Model-Based Diagnosis, A, 286 Freuder, Eugene C., 137 Friedman, Stephen, 2109 Friedrich, Gerhard, 1960 Fringe-Saving A* Search Algorithm - A Feasibility Study, The, 2391 Frisch, Alan M., 80 Fujino, Akinori, 2754 Fulda, Nancy, 780 Fully Connectionist Model Generator for Covered First-Order Logic Programs, A, 666 Fung, Glenn, 519, 786 Furuse, Osamu, 2760 Fusion of Stacking with Dynamic Integration, A, 2844 Fussell, Donald, 1047 Gabrilovich, Evgeniy, 1606 Gagliolo, Matteo, 792 Gagrani, Aakanksha, 2060 Galassi, Ugo, 798 Galland, Stéphane, 1275 Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios, A, 1199 Ganter, Bernhard, 230 García, Alejandro J., 465 Garera, Nikesh, 1641 Garriga, Gemma C., 804 Gaud, Nicolas, 1275 Gaudel, Marie-Claude, 2274 Gautam, Rajesh, 1281 Gebser, Martin, 386 Gechter, Franck, 1275 Gedikli, Suat, 2066 Geib, Christopher W., 1612 General Framework for Reasoning about Inconsistency, A, 599 General Framework for Scheduling in a Stochastic Environment, A, 56 General Game Learning Using Knowledge Transfer, 672 Generalized Additive Bayesian Network Classifiers, 913 Generalized Interval Projection: A New Technique for Consistent Domain Extension, 94 Generalizing Temporal Controllability, 1985 Generalizing the Bias Term of Support Vector Machines, 919 Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents, 1543 Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph Based Representations, From, 224 Gérard, Romain, 393 Gerding, Enrico H., 1287 Gerevini, Alfonso, 2016 Ghani, Rayid, 2838 Ghodsi, Ali, 810 Ghose, Debasish, 1525 Gianniotis, Nikolaos, 1083 Giles, C. Lee, 1162 Gilpin, Andrew, 2286 Giordana, Attilio, 798 Giovannucci, Andrea, 1221 Girgin, Sertan, 817 Givan, Robert, 2047 Glimm, Birte, 399 Global/Local Dynamic Models, 2580 Goble, Carole, xiii Goebel, Randy, 2568 Goel, Ashok K., 1131 Goldberg, Ken, xiv Goldman, Claudia V., 1269 Goldsmith, Judy, 1860 Gomes, Carla, 1918, 2293 Goodman, Joshua, 1776 Gopalakrishnan, Vanathi, 937 Gori, Marco, 2748, 2766 Gossip-Based Aggregation of Trust in Decentralized Reputation Systems, 1470 Gottlob, Georg, 88, 1294 Gould, Stephen, 2115 Gouraud, Sandrine-Dominique, 2274 Grandón, Carlos, 94 Graph-Based Semi-Supervised Learning as a Generative Model, 2492 Graph Connectivity Measures for Unsupervised Word Sense Disambiguation, 1683 Graph Decomposition for Efficient Multi-Robot Path Planning, 2003 Grastien, Alban, 292, 532 Graves, Alex, 774 Greco, Gianluigi, 88, 1294 Greenwald, Amy, 1378 Grégoire, Éric, 2300 Greiner, Russ, 823 Grimes, David B., 2084 Grochow, Keith, 2084 Grounding Abstractions in Predictive State Representations, 1077 Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions, 161 Grum, Matthew, 80 Gu, Yilan, 1891 Guestrin, Carlos, 2204 GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability, 2256 Guo, Yuhong, 823 Gupta, Aarti, 1618 Gupta, Arvind, 161 Gupta, Ashish, 405 Gupta, Tapana, 2638 Guru, D. S., 605 Guthrie, David, 1624 Guthrie, Louise, 1624 György, András, 830 Hadzic, Tarik, 100 Halpern, Joseph Y., 1300, 2306 Halstead, Daniel T., 411 IJCAI-07 2946 Han, Jiawei, 708 Handling Alternative Activities in Resource-Constrained Project Scheduling Problems, 1960 Hansen, Eric A., 2410 Hao, Guohua, 2486 Har-Peled, Sariel, 836 Harper, David, 1582 Harrenstein, Paul, 1199 Hasida, Kôiti, 2159 Haslum, Patrik, 1898 Hattori, Hiromitsu, 1347 Hawes, Nick, 2072 Hayes, Conor, 2772 He, Jingrui, 2492 He, Xiaofei, 708 Hebrard, Emmanuel, 106 Hemaspaandra, Edith, 1308 Hemaspaandra, Lane A., 1308 Hemery, Fred, 125 Henry, Claudia, 842 Hermann, Miki, 417 Hernández, Carlos, 2312 Hess, Claudia, 2778 Heuristic Search Approach to Planning with Temporally Extended Preferences, A, 1808 Heuristic Selection of Actions in Multiagent Reinforcement Learning, 690 Hickmott, Sarah, 1904 Hierarchical Diagnosis of Multiple Faults, 581 Hierarchical Heuristic Forward Search in Stochastic Domains, 2542 Hierarchical Multi-Channel Hidden Semi Markov Models, 2562 Higher-Order Potentialities and Their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods, 262 Hild, Manfred, 848 Hinrichs, Thomas R., 853 Hiroshima, Nobuaki, 2760 Hitzler, Pascal, 666 Ho, Shen-Shyang, 1912 Ho, Tu Bao, 987 Hoffmann, Gabriel, 2218 Hoffmann, Jörg, 1918, 2293 Hofmann, Thomas, 714 Holland, Alan, 1315 Hölldobler, Steffen, 666 Holmes, Michael, 1041 Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment, 1275 Hoogendoorn, Mark, 1321 Horrocks, Ian, 298, 399 Horvitz, Eric, 877, 2740 Hospedales, Timothy M., 2122 Hovy, Eduard, 1570 Hsu, Chih-Wei, 1924 Hu, Xiaohua, 2922 Huang, Jian, 1327 Huang, Jin, 859 Huang, Jinbo, 581, 1942, 2318 Huang, Jizhou, 423 Huang, Ruoyun, 1924 Huang, Thomas, 629 Huang, Wei, 1930 Huber, Manfred, 2054 Hudelot, Céline, 224 Hüllermeier, Eyke, 702 Human Nature: Art with Robots, Automation, and Networks, xiv Hunsaker, Matt, 243 Hunt III, Harry B., 2268 Hunter, Aaron, 2498 Hyafil, Nathanaël, 1333 Hybrid Elections Broaden Complexity-Theoretic Resistance to Control, 1308 Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues, A, 1750 Hybridized Planner for Stochastic Domains, A, 1972 Identifying Expressions of Opinion in Context, 2683 IJCAI-07 Awards and Distinguished Papers, xii IJCAI-07 Conference Organization, vii–xi IJCAI-07 Keynote and Invited Speakers, xiii–xiv IJCAI-07 Reviewers, xviii–xxii IJCAI Organization, xv–xvi IJCAI Conferences, xvii Image Modeling Using Tree Structured Conditional Random Fields, 2060 Improved Probabilistic Ant Based Clustering for Distributed Databases, An, 2701 Improving Activity Discovery with Automatic Neighborhood Estimation, 2814 Improving Anytime Point-Based Value Iteration Using Principled Point Selections, 865 Improving Author Coreference by Resource-Bounded Information Gathering from the Web, 429 Improving Embeddings by Flexible Exploitation of Side Information, 810 Improving LRTA*(k), 2312 Incompleteness and Incomparability in Preference Aggregation, 1464 Incremental Construction of Structured Hidden Markov Models, 798 Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition, 447 Incremental Mechanism Design, 1251 Infeasibility Certificates and the Complexity of the Core in Coalitional Games, 1402 Inferring Complex Agent Motions from Partial Trajectory Observations, 2631 Inferring Long-Term User Properties Based on Users’ Location History, 2159 Information-Based Agency, 1513 Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism, An, 212 Information-Theoretic Approaches to Branching in Search, 2286 Ingenito, Alberto, 2091 Ins and Outs of Critiquing, The, 962 Inside-Outside Probability Computation for Belief Propagation, 2605 Instance-Based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range Data, 2225 Intelligent Assistive Technology: The Present and the Future, xiv Interactive Clustering of Text Collections According to a User-Specified Criterion, 684 Irani, Arya, 1041 Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence, 545 Isahara, Hitoshi, 1731 Isbell, Charles, 1041, 1144, 2814 Ishida, Toru, 1341, 1353 Ishizuko, Mitsuru, 2820 ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines, 2766 Iterated Belief Contraction from First Principles, 2568 Iterated Weaker-than-Weak Dominance, 1233 Ito, Takayuki, 1347 Izumi, Kiyoshi, 2159 Jabbour, Saïd, 2262 Jambeiro Filho, Jorge, 2504 James, Michael R., 865 Jannach, Dietmar,1960 Jayaram, M. A., 871 Jefferson, Chris, 80 Jégou, Philippe, 112 Jennings, Nicholas R., 1269, 1287, 1543, 2365 Jeong, Iryoung, 2523 Ji, Qiang, 925 Jiang, Lijun, 2398 Jiang, Long, 1629 Jiang, Yichuan, 1353 Jiang, Yunfei, 354, 1930 Jin, Xiaoming, 1150 Jolion, Jean-Michel, 2103 Jonsson, Anders, 1936 Joshi, Saket, 1095 Judah, Kshitij, 1879 Kaci, Souhila, 393 Kaehler, Adrian, 2115 Kaelbling, Leslie P., 2599 Kaess, Michael, 2129, 2191 IJCAI-07 2947 Kaiser, William, 2204 Kakade, Sham M., 2474 Kambhampati, Subbarao, 1852, 1872, 2016 Kameoka, Hirokazu, 2915 Kanani, Pallika, 429 Kant, Shri, 2784 Kapoor, Ashish, 877 Kassahun, Yohannes, 883 Kataoka, Ryoji, 2760 Katz, Marcel, 660 Katz, Ron, 1408 Kaufmann, Benjamin, 386 Kaur, Harmeet, 2677 Kaushik, Saroj, 1659 Kautz, Henry, 173, 1769, 1918, 2530 Kazakov, Yevgeny, 298 Keane, Mark T., 1390 Keep the Decision Tree and Estimate the Class Probabilities Using Its Decision Boundary, 654 Keerthi, S. Sathiya, 1059 Kelareva, Elena, 1942 Kelleher, John, 2072 Kelly, Ryan F., 1948 Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model, 762 Kernel Conjugate Gradient for Fast Kernel Machines, 1017 Kernel Matrix Evaluation, 987 Kerre, Etienne E., 569 Khan, Shehroz S., 2784 Khardon, Roni, 804, 1095 Khoshgoftaar, Taghi M., 1168 Kim, Seungchan, 1834 Kimmig, Angelika, 2468 Kirchlechner, Bernhard, 2066 Kirchner, Frank, 883 Kishimoto, Akihiro, 2404 Kitching, Matthew, 118 Klein, Mark, 1347 Klein, Michel, 557 Knoblock, Craig A., 2695 Knowledge Representation/Reasoning, 204-652 Kocsis, Levente, 830 Koenig, Sven, 1359, 2391, 2536 Kohomban, Upali S., 1635 Kolcz, Aleksander, 889 Kompass, Raul, 2231 Konev, Boris, 318 Konidaris, George, 895 Koop, Anna, 1077 Korf, Richard E., 2324 Koukam, Abderrafiâa, 1275 Kraus, Sarit, 1408, 1415, 1563 Krause, Andreas, 2204 Krema, Marko, 2838 Kremenek, Ted, 2510 Krishna, K. Madhava, 2135, 2172 Krishnan, Sriram, 519 Krishnapuram, Balaji, 756 Krüger, Sven E., 660 Ksantini, Riadh, 2790 Kumar, Ganesh P., 2135 Kumar, Mohit, 1641 Kumar, Rajeev, 2250 Kumar, Rohit, 1750 Kumar, T. K. Satish, 1954 Kurihara, Kenichi, 2796 Kuster, Jürgen, 1960 Kwok, James T., 901, 1089 Labeling Approach to the Computation of Credulous Acceptance in Argumentation, A, 623 Laborie, Philippe, 56 Lafrogne, Sandrine, 750 Lakemeyer, Gerhard, 1846 Lallouet, Arnaud, 38 Lamb, Luis C., 212 Lambda Depth-First Proof Number Search and Its Application to Go, 2404 Lamprier, Sylvain, 1647 Landwehr, Niels, 907 Lang, Jérôme, 1366, 1372, 2462, 2517 Lapata, Mirella, 1683 Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks, A, 280 Law, Nga Lam, 2330 Lawless, David, 2580 Lawrence, Neil, 2480 Layout Analysis of Tree-Structured Scene Frames in Comic Images, 2885 Learning, 653-1173 Learning and Multiagent Reasoning for Autonomous Agents, 13 Learning and Transferring Action Schemas, 720 Learning by Analogy: A Classification Rule for Binary and Nominal Data, 678 Learning Classifiers When the Training Data Is Not IID, 756 Learning “Forgiving” Hash Functions: Algorithms and Large Scale Tests, 2663 Learning from Partial Observations, 968 Learning from the Report-Writing Behavior of Individuals, 1641 Learning Implied Global Constraints, 44 Learning Policies for Embodied Virtual Agents through Demonstration, 1257 Learning Question Paraphrases for QA from Encarta Logs, 1795 Learning Restart Strategies, 792 Learning Semantic Descriptions of Web Information Sources, 2695 Learning to Count by Think Aloud Imitation, 1005 Learning to Identify Unexpected Instances in the Test Set, 2802 Learning to Walk through Imitation, 2084 Learning User Clicks in Web Search, 1162 Lecoutre, Christophe, 125, 131 Lee, Joohyung, 372 Lee, Kin-Hong, 919 Lee, Seong Jae, 1378 Lee, Seunghak, 2523 Lee, Wee Sun, 1635 Le Maigat, Pierre, 324 Lemaître, Michel, 62 Lembo, Domenico, 274 Lenzerini, Maurizio, 274 Leung, Kwong-Sak, 919 Levesque, Hector, 2029 Levrat, Bernard, 1647 Levy, Jordi, 32 Li, Hua, 2862 Li, Jia, 1162 Li, Jianguo, 913 Li, Lida, 2868 Li, Sanjiang, 435 Li, Sheng, 1789 Li, Tsai-Yen, 1750 Li, Wenye, 919 Li, Xiao-Li, 2802 Liao, Lin, 2530 Liao, Wenhui, 925 Lieber, Jean, 750 Lifschitz, Vladimir, 372 Likitvivatanavong, Chavalit, 137 Lim, Shiau Hong, 931 Limongiello, Alessandro, 2103 Lin, Dekang, 1756 Lin, Fangzhen, 441 Lin, Han, 2334 Ling, Charles X., 859 Lita, Lucian Vlad, 1653 Liu, Bing, 2802 Liu, Huan, 1156 Liu, Jianzhuang, 2141 Liu, Qingzhong, 2808 Liu, Ting, 1789, 1795 Liu, Wanquan, 2891 Liu, Wei, 2141 Liu, Yan, 937, 2492, 2838 Liu, Yongmei, 161 Lizotte, Daniel, 944 Local Search for Balanced Submodular Clusterings, 981 Locality Sensitive Discriminant Analysis, 708 Locating Complex Named Entities in Web Text, 2733 Logic behind Weighted CSP, The, 32 Logic of Normative Systems, On the, 1175 Logic Program Characterization of Causal Theories, A, 366 Logical Circuit Filtering, 2611 Logical Framework for Modularity of Ontologies, A, 298 IJCAI-07 2948 Logistic Regression Models for a Fast CBIR Method Based on Feature Selection, 2790 Loh, Wesley, 2631 Lomuscio, Alessio, 1384 Long-Distance Mutual Exclusion for Propositional Planning, 1840 Loopy SAM, 2191 Lops, Pasquale, 2856 Lothian, Robert, 1582 Lovett, Andrew, 447 Lowd, Daniel, 950 Lu, Jieshan, 2372 Luaces, Oscar, 956 Lucas, Peter, 380 Lukasiewicz, Thomas, 2097 Lutz, Carsten, 218, 399, 453 Machine Learning Approach for Statistical Software Testing, A, 2274 Machine Learning for On-Line Hardware Reconfiguration, 1113 Mac Ruairí, Rónán, 1390 Madsen, Søren Tjagvad, 459 Mago, Vijay Kumar, 1396 Maheswaran, Rajiv T., 2638 Mailler, Roger, 167 Malik, Rahul, 1659 Malizia, Enrico, 1402 Managing Domain Knowledge and Multiple Models with Boosting, 1144 Mancini, Toni, 88, 1294 Mandow, Lawrence, 2340 Manifold-Ranking Based Topic-Focused Multi-Document Summarization, 2903 Manisterski, Efrat, 1408, 1415 Mansour, Yishay, 2474 Manyà, Felip, 32 Marathe, Madhav V., 2268 Marecki, Janusz, 2536 Margaritis, Dimitris, 2431 Marginalized Multi-Instance Kernels, 901 Marinakis, Dimitri, 2147 Market Based Resource Allocation with Incomplete Information, 1193 Markovitch, Shaul, 768, 1606 Marom, Yuval, 1665 Marquis, Pierre, 360 Martínez, Diego C., 465 Martínez Hernández, Bernadette, 80 Martínez Mozos, Óscar, 2225 Marwaha, Sudeep, 2677 Mastrogiovanni, Fulvio, 2153 Mateas, Michael, 1557 Mateescu, Robert, 2346 Mathematical Morpho-Logical View on Reasoning about Space, The, 205 Mathew, Vimal, 1023 Matsuo, Yutaka, 2159, 2820 Matsuzaki, Takuya, 1671 Mattmüller, Robert, 1966 Maudet, Nicolas, 1239 Mausam, 1852, 1972 Maximum Margin Coresets for Active and Noise Tolerant Learning, 836 Mayer, Wolfgang, 471 Mazure, Bertrand, 2300 MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization, 1452 McCallum, Andrew, 429 McGovern, Amy, 738 McIlraith, Sheila A., 1808 McLeod, Dennis, 2826 McSherry, David, 962 Mechanism Design with Partial Revelation, 1333 Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction, 2072 Medimi, Srinivas, 1677 Mehta, Deepak, 143 Mehta, Manish, 1557 Meisels, Amnon, 198 Memory-Bounded Dynamic Programming for DEC-POMDPs, 2009 Mercier, Luc, 1979 Meseguer, Pedro, 2312 MESH-Based Active Monte Carlo Recognition (MESH-AMCR), 2231 Messner, Marius, 2115 Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling, 1083 Metzler, Donald, 2727 Meuleau, Nicolas, 2542 Miao, Chunyan, 1193 Michael, Loizos, 968 Miclet, Laurent, 678 Miguel, Ian, 80 Minato, Shin-ichi, 2550 Mineau, Guy, 2645 Mining Closed Sets in Multi-Relational Data, On, 804 Mining Complex Patterns across Sequences with Gap Requirements, 2934 Minnen, David, 2814 Mitchell, Tom M., 155 Miyamichi, Juichi, 2885 Miyao, Yusuke, 1671, 1783 Miyapuram, Krishna P., 587 Miyashita, Kazuo, 1281 Model-Based Optimization of Testing through Reduction of Stimuli, 593 Model for Collective Strategy Diffusion in Agent Social Law Evolution, A, 1353 Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem, On, 1531 Modeling When Connections Are the Problem, 310 Modelling Well-Structured Argumentation Lines, 465 Models of Searching and Browsing: Languages, Studies, and Application, 2740 Modi, Pragnesh Jay, 1531 Moffitt, Michael D., 1985 Monderer, Dov, 1422 Morales, A. Ricardo, 1991 Morales, Antonio, 495 Mori, Junichiro, 2820 Morphological Annotation of a Large Spontaneous Speech Corpus in Japanese, 1731 Morrison, Clayton T., 720 Moscato, Vincenzo, 1802 Moses, Yoram, 1300 Motik, Boris, 477 Mukras, Rahman, 1582 Muldner, Kasia, 483 Müller, Martin, 1053, 1828, 2404 Multi-Agent Medical System for Indian Rural Infant and Child Care, A, 1396 Multi-Agent System that Attains Longevity via Death, 1428 Multiagent Systems, 1174-1568 Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions, 1215 Multi-Document Summarization by Maximizing Informative Content-Words, 1776 Multi-Issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces, 1347 Multiobjective Frontier Search Algorithm, A, 2340 Multipotential Games, 1422 Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination, 1476 Mulvehill, Alice, 489 Murakami, Yohei, 1341 Nakajima, Yuu, 1341 Nakamura, Yoshiyuki, 2159 Nakanishi, Hideyuki, 1341 Nakashima, Hideyuki, xiv, 2159 Named Entity Translation with Web Mining and Transliteration, 1629 Nannen, Volker, 975 Napoli, Amedeo, 750 Narasimhan, Mukund, 981 Narayanamurthy, Shravan Matthur, 2556 Nardi, Daniele, 2091 Naroditskiy, Victor, 1378 Narodytska, Nina, 149 Nataraja, M. C., 871 Natarajan, Pradeep, 2562 Natarajan, Sriraam, 1879 Nath, Mainak, 2172 Natural Language Processing, 1569-1800 IJCAI-07 2949 Natural Language Processing and Plan Recognition, On, 1612 Natural Language Query Recommendation in Conversation Systems, 1701 Nau, Dana, 501 Navarrete, Isabel, 495 Navigli, Roberto, 1683, 2897 Nayak, Abhaya C., 2568 Ndiaye, Samba Ndojh, 112 Near-Optimal Anytime Coalition Structure Generation, 2365 Nebel, Bernhard, 1846 Neighborhood MinMax Projections, 993 Neumann, André, 386 Nevatia, Ramakant, 2562 Neveu, Bertrand, 94 New Approach for Stereo Matching in Autonomous Mobile Robot Applications, A, 2103 New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks, 62 New Perspective on Stable Models, A, 372 Ng, Andrew Y., 2115, 2178, 2197, 2510 Ng, Brenda, 2580 Ng, Hwee Tou, 1763 Ng, See-Kiong, 2802 Ng, Vincent, 1689 Nguyen, Canh Hao, 987 Nguyen, Minh Le, 1695 Nguyen, Thanh Tri, 1695 Nguyen, Tuan A., 2016 Niculescu, Radu Stefan, 155 Nie, Feiping, 993 Nielsen, Frank, 842 Nishimura, Takuichi, 2159 Niu, Cheng, 1629 Nock, Richard, 842 Noelle, David C., 405 Nogood Recording from Restarts, 131 Non-Monotonic Temporal Logics for Goal Specification, 236 Norman, Timothy J., 1434 Nortet, Cyril, 1035 Oates, Tim, 1618 Observation Reduction for Strong Plans, 1930 Occam’s Razor Just Got Sharper, 768 O’Donovan, John, 2826 Okazaki, Naoaki, 2159 Olsen, Megan, 1428 One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition, On, 1763 Ong, Irene, 2719 Online Learning and Exploiting Relational Models in Reinforcement Learning, 726 Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous Driving, 2218 Ontañón, Santi, 999 Open Information Extraction from the Web, 2670 Operator Component Matrix Model for IMP Program Diagnosis, 354 Opinion Sentence Search Engine on Open-Domain Blog, 2760 Opponent Modeling in Scrabble, 1482 Optimal Multi-Sensor Based Multi Target Detection by Moving Sensors to the Maximal Clique in a Covering Graph, 2135 Optimal Soft Arc Consistency, 68 Optimistic Active-Learning Using Mutual Information, 823 Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Word Sense Classes, 1635 Oren, Nir, 1434 Orgun, Mehmet A., 2568 Orseau, Laurent, 1005 Osman, Nardine, 1440 OSS: A Semantic Similarity Function Based on Hierarchical Ontologies, 551 O’Sullivan, Barry, 50, 74, 106, 1315 Ottens, Brammert, 205 Paduraru, Cosmin, 1077 Page, David, 2719 Pal, Chris, 429 Palopoli, Luigi, 1402 Pan, Jeffrey Junfeng, 2166 Pan, Shimei, 1701 Pandey, Amit Kumar, 2172 Parametric Kernels for Sequence Data Analysis, 1047 Parker, Austin, 501 Pasca, Marius, 2832 Pasemann, Frank, 848 Pasula, Hanna, 2109 Patterson, David, 2844 Patterson, Murray, 161 Paulin, Mathias, 50 PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization, 167 Pearce, Adrian R., 1327, 1948 Pearce, Jonathan P., 1446 Pecheur, Charles, 1384 Peelen, Linda, 557 Pencolé, Yannick, 575 Pentney, William, 2237 Pérez de la Cruz, José Luis, 2340 Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs, 1979 Peripheral-Foveal Vision for Real-Time Object Recognition and Tracking in Video, 2115 Permanents, Transportation Polytopes and Positive Definite Kernels on Histograms, 732 Perny, Patrice, 2353 Perzylo, Alexander, 2066 Peshkin, Leonid, 545 Petcu, Adrian, 167, 1452 Petit, Michaël, 2897 Petit, Thierry, 44 Petrik, Marek, 1997, 2574 Petrovskaya, Anna, 2178 Pezzulo, Giovanni, 1458 Pfeffer, Avi, 2580 Pham, Duc Nghia, 2359 Philipose, Matthai, 2237 Phonetic Models for Generating Spelling Variants, 1570 Picardi, Claudia, 286 Picariello, Antonio, 1802 Pichler, Reinhard, 417 Pichuka, Chaithanya, 1011 Piette, Cédric, 2300 Pini, Maria Silvia, 1372, 1464 Piunti, Michele, 507 Plagemann, Christian, 2185 Planning and Scheduling, 1801-2052 Planning for Gene Regulatory Network Intervention, 1834 Planning for Temporally Extended Goals as Propositional Satisfiability, 1966 Planning under Risk and Knightian Uncertainty, 2023 Planning via Petri Net Unfolding, 1904 Planning with Goal Utility Dependencies, 1872 Plaza, Enric, 999 Polat, Faruk, 817 Poldermans, Don, 519 Pollack, Martha E., xiv, 1985 Polleres, Axel, 304 Popescu, Ana-Maria, 2237 Prade, Henri, 393 Praveen, G., 1738 Precup, Doina, 250, 2078, 2437 Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems, 780 Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve, 956 Predictive Approach to Help-Desk Response Generation, A, 1665 Preece, Alun, 1434 Preface, vi Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data, A, 1119 Privacy and Artificial Agents, or, Is Google Reading My Email?, 1245 Privacy-Sensitive Approach to Modeling Multi-Person Conversations, A, 1769 Probabilistic Consistency Boosts MAC and SAC, 143 Probabilistic Go Theories, 501 IJCAI-07 2950 Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening Doors, 2178 ProbLog: A Probabilistic Prolog and Its Application in Link Discovery, 2468 Probst, Katharina, 2838 Procaccia, Ariel D., 1470, 1476 Progression of Situation Calculus Action Theories with Incomplete Information, 2029 Property Persistence in the Situation Calculus, 1948 Protein Quaternary Fold Recognition Using Conditional Graphical Models, 937 Provan, Gregory, 513 Providing a Recommended Trading Agent to a Population: A Novel Approach, 1408 Pseudo-Aligned Multilingual Corpora, 2727 Pucci, Augusto, 2766 Pujari, Arun K., 1011 Qazi, Maleeha, 519 QCSP Made Practical by Virtue of Restricted Quantification, 38 Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone, 526 Qualitative Temporal Reasoning about Vague Events, 569 Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems, 1446 Quantified Coalition Logic, 1181 Quantified Constraint Satisfaction Problems: From Relaxations to Explanations, 74 QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules, 1035 Query-Driven Constraint Acquisition, 50 Quevedo, José R., 956 Raghavan, Hema, 684 Rahwan, Talal, 2365 Raimondi, Franco, 1384 Ram, Ashwin, 1041, 1557 Ramachandran, Deepak, 2586 Ramchurn, Sarvapali D., 2365 Ramon, Jan, 726 Ranganathan, Ananth, 2129, 2191 Ranking Alternatives on the Basis of Generic Constraints and Examples — A Possibilistic Approach, 393 Ranking Approach to Pronoun Resolution, A, 1588 Rao, R. Bharat, 155, 519, 756, 786 Rao, Rajesh P. N., 2084 Ratliff, Nathan D., 1017 Ravi, S. S., 2268 Ravikumar, C. N., 871 Ravindran, Balaraman, 1023, 2060, 2556 Rayner, D. Chris, 2372 Reaching Envy-Free States in Distributed Negotiation Settings, 1239 Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree, 842 Real-Time Detection of Task Switches of Desktop Users, 2868 Real-Time Heuristic Search with a Priority Queue, 2372 Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem, 2324 Recursive Random Fields, 950 Reddy, Raj, xiii Reducing Accidental Complexity in Planning Problems, 1898 Regli, William C., 1531 Rêgo, Leandro Chaves, 2306 Reinforcement Learning of Local Shape in the Game of Go, 1053 Relational Knowledge with Predictive State Representations, 2035 Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters, 975 Renz, Jochen, 526 Representations for Action Selection Learning from Real-Time Observation of Task Experts, 641 Representing Kriegspiel States with Metapositions, 2450 Resource Constraints on Computation and Communication in the Brain, 611 Reversing Actions: Algorithms and Complexity, On, 336 Revisiting Output Coding for Sequential Supervised Learning, 2486 r-grams: Relational Grams, 907 Ribeiro, Carlos H. C., 690 Richards, Mark, 1482 Rigutini, Leonardo, 2748 Rintanen, Jussi, 532, 538, 1904, 1966 Robertson, David, 1440 Robotics, 2053-2248 Robust Human-Computer Interaction System Guiding a User by Providing Feedback, 2850 Robust Object Tracking with a Case-Base Updating Strategy, 925 Rodríguez-Aguilar, Juan A., 1175, 1221 Roelofsen, Floris, 268 Rogers, Alex, 1287 Rojas, Raúl, 2231 Role of Macros in Tractable Planning over Causal Graphs, The, 1936 Rooney, Niall, 2844 Ros, Raquel, 1029 Rosales, Romer, 519, 786 Rosati, Riccardo, 274, 477 Rosé, Carolyn Penstein, 1750 Rosenkrantz, Daniel J., 2268 Rosenschein, Jeffrey S., 1470, 1476, 1563 Ross, Stéphane, 2592 Rossi, Francesca, 1372, 1464 Roth, Dan, 836 Rothe, Jörg, 1308 Routing Mediators, 1488 RoxyBot-06: An (SAA)2 TAC Travel Agent, 1378 Roy, Daniel M., 2599 Rozenfeld, Ola, 1488 Rudnicky, Alexander I., 1641 Ruml, Wheeler, 2378 Ryan, Malcolm, 2003 Ryoo, Michael S., 2850 Sabharwal, Ashish, 2293 Sagayama, Shigeki, 2915 Saha, Sabyasachi, 1494 Saïs, Lakhdar, 131, 2262 Saito, Kazumi, 2754 Saitta, Lorenza, 798 Salleb-Aouissi, Ansaf, 1035 Samples, Michael E., 865 Sampling to Model Counting, From, 2293 Sanand, D. Rama, 1738 Sandholm, Tuomas, 1207, 1251, 1500, 2286 Sang, Tian, 173 Santamaria, Juan, 1041 Santos Costa, Vítor, 2719 Sapp, Benjamin, 2115 Sardina, Sebastian, 1866 Sarne, David, 1415 SAT Encodings of State-Space Reachability Problems in Numeric Domains, 1918 Sato, Taisuke, 2550, 2605 Satoh, Ken, 2550 Sattar, Abdul, 2359 Sattler, Ulrike, 230, 298, 399 Saubion, Frederic, 1647 Savova, Virginia, 545 Saxena, Ashutosh, 2197 Scalable Diagnosability Checking of Event-Driven Systems, 575 Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning, A, 1138 Scarcello, Francesco, 1402 Scarselli, Franco, 2748 Scerri, Paul, 2091 Schaal, Stefan, 762 Schaeffer, Jonathan, 1828 Schafföner, Martin, 660 Schaub, Torsten, 386, 2462 Schickel-Zuber, Vincent, 551 Schiex, Thomas, 68 Schlobach, Stefan, 557 Schmidhuber, Jürgen, 774, 792 Schmidt, Jochen, 2243 Schmidt, Richard, 2225 Schmidtke, Hedda R., 563 Schockaert, Steven, 569 Schulte, Jamie, 2197 Schumann, Anika, 575 Schuurmans, Dale, 944, 1756 IJCAI-07 2951 Sciavicco, Guido, 495 Search, 2249-2416 Searching for Interacting Features, 1156 Sebag, Michèle, 2274 SegGen: A Genetic Algorithm for Linear Text Segmentation, 1647 Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning, 877 Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery, 1101 Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation, 848 Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction Fees, 1287 Selman, Bart, 1543, 1918, 2293 Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community, 2897 Semantic Precision and Recall for Ontology Alignment Evaluation, 348 Semantic Smoothing of Document Models for Agglomerative Clustering, 2922 Semeraro, Giovanni, 2856 Semi-Supervised Gaussian Process Classifiers, 1059 Semi-Supervised Learning for Multi-Component Data Classification, 2754 Semi-Supervised Learning of Attribute-Value Pairs from Product Descriptions, 2838 Sen, Sandip, 1215, 1494, 1507 Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks, 774 Sequence Prediction Exploiting Similarity Information, 1576 Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control, 1359 Serafini, Luciano, 268 Serina, Ivan, 2016 Sertkaya, Baris, 230 Seuken, Sven, 2009 Sgorbissa, Antonio, 2153 Shadbolt, Nigel R., 2398 Shahaf, Dafna, 2611 Shallow Semantics for Coreference Resolution, 1689 Shani, Guy, 2619 Shannon, Scott, 137 Shapiro, Steven, 2625 Sharing the Road: Autonomous Vehicles Meet Human Drivers, 1263 Sharma, Manu, 1041 Shaw, James, 1701 Shen, Dou, 2689, 2862 Shen, Jianqiang, 2868 Shen, Zhiqi, 1193 Shi, Yanxin, 1707 Shi, Yong, 1168 Shimazu, Akira, 1695 Shimony, Solomon E., 2619 Shin, Young-In, 1047 Shoham, Yoav, 1199, 1207 Shoji, Kenji, 2885 Sichman, Jaime S., 617 Siddiqi, Sajjad, 581 Siegelmann, Hava, 1428 Sierra, Carles, 1175, 1513 Silver, David, 1053 Simari, Guillermo R., 280, 465 Simon, Laurent, 2256 Simple Training of Dependency Parsers via Structured Boosting, 1756 Sindhwani, Vikas, 1059 Singh, Amarjeet, 2204 Singh, Munindar P., 1519, 1551 Singh, Sanasam Ranbir, 2874 Singh, Satinder, 1065, 2035 Singh, Vishwajeet, 587 Sinha, Arpita, 1525 Size-Based Qualitative Approach to the Representation of Spatial Granularity, A, 563 Smyth, Barry, 2826 Snyder, Benjamin, 1713 Soderland, Stephen, 2670 Solving POMDPs Using Quadratically Constrained Linear Programs, 2418 Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem, 411 Son, Tran Cao, 1991 Soni, Vishal, 2035 Soutchanski, Mikhail, 1891 Southey, Finnegan, 810, 2631 Spanjaard, Olivier, 2353 Speaker-Invariant Features for Automatic Speech Recognition, 1738 Spiteful Bidding in Sealed-Bid Auctions, 1207 Sridharan, Mohan, 2212 Srihari, Rohini, 2880 Srihari, Sargur, 2880 Srinivasan, Harish, 2880 Srinivasan, Thanukrishnan, 2701 Srivastava, Biplav, 2016 Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations, 2651 Starner, Thad, 2814 State Similarity Based Approach for Improving Performance in RL, 817 State Space Search for Risk-Averse Agents, 2353 Stavens, David, 2218 Stearns, Richard E., 2268 Steck, Harald, 519 Steedman, Mark, 1612 Stein, Klaus, 2778 Stock, Oliviero, 1719 Stone, Peter, 13, 672, 1113, 1263, 2212 Storkey, Amos J., 1119 Storme, Louis-Xavier, 2353 Strapparava, Carlo, 1719 Structure Inference for Bayesian Multisensory Perception and Tracking, 2122 Struss, Peter, 342, 593 Struyf, Jan, 2719 Study of Residual Supports in Arc Consistency, A, 125 Stumptner, Markus, 471 Su, Kaile, 2334 Subbarayan, Sathiamoorthy, 180 Subrahmanian, V. S., 501, 599, 1802 Subramaniam, L. Venkata, 1659 Subramanian, Devika, xiv Subspace Kernel for Nonlinear Feature Extraction, A, 1125 Subtree Mining for Question Classification Problem, 1695 Sultanik, Evan A., 1531 Sun, Jian-Tao, 2689, 2862 Sun, Jimeng, 2909 Sun, Xiaoxun, 2385, 2391 Sung, Andrew H., 2808 Sungur, Ilgaz, 1359 Supervised Latent Semantic Indexing Using Adaptive Sprinkling, 1582 Suraj, M. G., 605 Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning, 507 Sutton, Richard, 1053 Suzuki, Hisami, 1776 Symmetric Component Caching, 118 Symmetry Breaking in Quantified Boolean Formulae, 2262 Szabó, Ivett, 830 Szamonek, Zoltán, 1576 Szathmary, Laszlo, 750 Szepesvári, Csaba, 830, 1576 Szeto, Kwok Yip, 2330 Tabary, Sébastien, 131 Taboada, Francisco, 956 Tadepalli, Prasad, 1879 Talvitie, Erik, 1065 Tambe, Milind, 1446, 2536, 2638 Tan, Ah-Hwee, 1071 Tanaka, Takamasa, 2885 Tang, Xiaoou, 629, 2141, 2707 Tanguy, Emmanuel, 1537 Tanner, Brian, 1077 Team Programming in Golog under Partial Observability, 2097 Techniques for Efficient Interactive Configuration of Distribution Networks, 100 Teh, Yee Whye, 2796 Tennenholtz, Moshe, 1187, 1488 IJCAI-07 2952 Ternovska, Eugenia, 161 Terrioux, Cyril, 112 Thakur, Mayur, 2268 Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints, A, 155 Theseider Duprè, Daniele, 286 Thiébaux, Sylvie, 1904, 1942 Thornton, John, 2359 Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly Ashes, A, 871 Thrun, Sebastian, 2218 Tighter Error Bound for Decision Tree Learning Using PAC Learnability, A, 1011 Tilivea, Doina, 2651 Tino, Peter, 1083 Tjahyadi, Ronny, 2891 Toivonen, Hannu, 2468 Toman, David, 218 Tompits, Hans, 304, 330 Tong, Yan, 925 Topological Mapping through Distributed, Passive Sensors, 2147 Topological Value Iteration Algorithm for Markov Decision Processes, 1860 Toussaint, Marc, 1119 Tovey, Craig, 1359 Towards a Computational Model of Melody Identification in Polyphonic Music, 459 Towards an Integration of Golog and Planning, 1846 Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected Value Approximation and Dynamic Disjunctive Beliefs, 2638 Towards Runtime Behavior Adaptation for Embodied Characters, 1557 Toyama, Fubito, 2885 Tractable Temporal Reasoning, 318 Training Conditional Random Fields Using Virtual Evidence Boosting, 2530 Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL, 1041 Transferring Learned Control-Knowledge between Planners, 1885 Treur, Jan, 262 Trevizan, Felipe W., 2023 Triebel, Rudolph, 2225 Trust Based Recommender System for Semantic Web, 2677 Truthful Risk-Managed Combinatorial Auctions, 1315 Tsang, Ivor W., 1089 Tsatsaronis, George, 1725 Tsujii, Jun’ichi, 1671, 1783 Tsuruoka, Yoshimasa, 1783 Tu, Phan Huy, 1991 Uchimoto, Kiyotaka, 1731 Udrea, Octavian, 1802 Ueda, Naonori, 2754 Umesh, Srinivasan, 1738 Uncertainty, 2417-2643 Understanding Drawings by Compositional Analogy, 1131 Unmanned Aerial Vehicle Research: Challenges and Prospects, xiii Unsupervised Anomaly Detection, 1624 Unsupervised Discretization Using Kernel Density Estimation, 696 Updates for Nonlinear Discriminants, 660 Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem, 2504 Using a Mobile Robot for Cognitive Mapping, 2243 Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions, 1563 Using Graph Algebra to Optimize Neighborhood for Isometric Mapping, 2398 Using Learned Policies in Heuristic-Search Planning, 2047 Using Linear Programming for Bayesian Exploration in Markov Decision Processes, 2437 Using Ontologies and the Web to Learn Lexical Semantics, 1618 Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning, 243 Utile Distinctions for Relational Reinforcement Learning, 738 Valitutti, Alessandro, 1719 Value of Observation for Monitoring Dynamic Systems, The, 2474 Valued Negation Normal Form Formulas, On, 360 van Deemter, Kees, 2456 van den Briel, Menkes, 1872 van der Hoek, Wiebe, 1175, 1181 van der Weide, Theo, 380 Vanderwende, Lucy, 1776 van Dongen, M. R. C., 143 Van Durme, Benjamin, 2832 Van Gael, Jurgen, 1744 Van Hentenryck, Pascal, 1816, 1979 Varakantham, Pradeep, 2638 Varma, Sashank, 611 Vassos, Stavros, 2029 Vautard, Jérémie, 38 Vazirgiannis, Michalis, 1725 Veeramachaneni, Sriharsha, 2772 Velardi, Paola, 2897 Veloso, Manuela, vi Venable, K. Brent, 1372, 1464 Venkatesh, Svetha, 2891 Vento, Mario, 2103 Ventura, Dan, 780, 1257 Vercouter, Laurent, 617 Verheij, Bart, 623 Vetsikas, Ioannis A., 1543 Vidal, Thierry, 56 Vidal, Vincent, 131 Vijayakumar, Sethu, 762, 2122 Visually Tracking Football Games Based on TV Broadcasts, 2066 von Hoyningen-Huene, Nico, 2066 von Hundelshausen, Felix, 2231 Voronoi Random Fields: Extracting the Topological Structure of Indoor Environments via Place Labeling, 2109 Vote and Aggregation in Combinatorial Domains with Structured Preferences, 1366 Vrain, Christel, 1035 Wah, Benjamin W., 1924 Wainer, Jacques, 2504 Waiting and Relocation Strategies in Online Stochastic Vehicle Routing, 1816 Walsh, Toby, 106, 149, 1372, 1464 Walther, Dirk, 453 Wan, Xiaojun, 2903 Wang, Chenggang, 1095 Wang, Haiying, 1101 Wang, Hao-Chuan, 1750 Wang, Huan, 629 Wang, Hui, 635 Wang, Jun, 513 Wang, Li-Lun, 931 Wang, Mengqiu, 1707 Wang, Qin Iris, 1756 Wang, Shiaokai, 2237 Wang, Tao, 913, 944 Wang, Xuanhui, 2689 Wang, Xuerui, 2909 Wang, Yonghong, 1551 Wasowski, Andrzej, 100 Watt, Stuart, 1582 Web/Data Mining, 2644-2939 Web Page Clustering Using Heuristic Search in the Web Graph, 2280 Wechsler, Harry, 1912 Wei, Xing, 2909 Weigele, Peter, 937 Weld, Daniel S., 1852, 1972 Welling, Max, 2796 Wellman, Michael P., 1233 Wen, Guihua, 2398 Wen, Zhonghua, 1930 Wendemuth, Andreas, 660, 1107 What You Seek Is What You Get: Extraction of Class Attributes from Query Logs, 2832 When Is Temporal Planning Really Temporal?, 1852 White, Lang, 1904 White, Laurence, 1245 IJCAI-07 2953 Widmer, Gerhard, 459 WiFi-SLAM Using Gaussian Process Latent Variable Models, 2480 Wildstrom, Jonathan, 1113 Wilkinson, Dana, 810, 2631 Wilks, Yorick, 1624 Williams, Ben H., 1119 Willis, Philip, 1537 Wingate, David, 2035 Winner Determination in Sequential Majority Voting, 1372 Wiratunga, Nirmalie, 1582 Witchel, Emmett, 1113 Witzel, Andreas, 666 Wolfe, Britton, 2035 Wolter, Frank, 453 Woltran, Stefan, 330 Wong, Chee K., 2243 Wong, Yingchuan, 1763 Woo, Woontack, 563 Wood, Mark A., 641 Wooldridge, Michael, 1175, 1181 Word Sense Disambiguation through Sememe Labeling, 1594 Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri, 1725 Wu, Lihua, 1930 Wu, Mingrui, 1125 Wu, Xindong, 1168, 2934 Wünsche, H. J., 2231 Wyatt, Danny, 1769 Wyatt, Jeremy, 2072 Xiang, Shiming, 993 Xiao, Jianguo, 2903 Xing, Zhao, 1840 Xu, Bo, 1594 Xu, Yuehua, 2041 Yahi, Safa, 2425 Yamada, Setsuo, 2760 Yaman, Fusun, 501 Yan, Shuicheng, 629 Yaner, Patrick W., 1131 Yang, Dan, 423 Yang, Jianwu, 2903 Yang, Qiang, 2166, 2689, 2862 Yang, Qiong, 2707 Yang, Xu, 186 Yeap, Wai K., 2243 Yeung, Dit-Yan, 744, 1138 Yih, Wen-tau, 1776 Yonebayashi, Yuichiro, 2915 Yoon, SungWook, 2041, 2047 Yoshida, Kazuhiro, 1783 Yoshizoe, Kazuki, 2404 Yuan, Changhe, 2385 Yuan, Xincheng, 1789 Zaccaria, Renato, 2153 Zang, Peng, 1144, 1557 Zha, Hongyuan, 1162 Zhang, Changshui, 913, 993 Zhang, Weixiong, 1840 Zhang, Xiaodan, 2922 Zhang, Yan, 647 Zhang, Yi, 1150 Zhang, Yimin, 913 Zhang, Yu, 1789 Zhang, Yuanlin, 137, 192 Zhao, Jicheng, 236 Zhao, Jun, 1594 Zhao, Shiqi, 1789, 1795 Zhao, Zheng, 1156 Zheng, Huiru, 1101 Zheng, Xiaoming, 1359 Zhou, Ding, 1162 Zhou, Kun, 708 Zhou, Ming, 423, 1629, 1795 Zhou, Rong, 2410 Zhou, Xiaohua, 2922 Zhou, Yi, 441 Zhou, Zhi-Hua, 2928 Zhu, Xiaojin, 1744 Zhu, Xingquan, 1168, 2934 Zhu, Zhiwei, 925 Zilberstein, Shlomo, 1997, 2009, 2280, 2418 Zimak, Dav, 836 Ziou, Djemel, 2790 Zivan, Roie, 198 Zohar, Aviv, 1476 Zuckerman, Inon, 1563 Zukerman, Ingrid, 1665 IJCAI-07 2954