20. IJCAI 2007: Hyderabad, India
Manuela M. Veloso (Ed.): IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. 2007
Contents.
Preface.
IJCAI-07 Conference Organization.
IJCAI-07 Awards and Distinguished Papers.
IJCAI-07 Keynote and Invited Speakers.
IJCAI Organization.
Past IJCAI Conferences.
IJCAI-07 Reviewers.
Research Excellence Award
Alan Bundy: Cooperating Reasoning Processes: More than Just the Sum of Their Parts. 2-11
Computers and Thought Award
Peter Stone: Learning and Multiagent Reasoning for Autonomous Agents. 12-30
Constraint Satisfaction

Marco Benedetti, Arnaud Lallouet, Jérémie Vautard: QCSP Made Practical by Virtue of Restricted Quantification. 38-43
Christian Bessière, Remi Coletta, Barry O'Sullivan, Mathias Paulin: Query-Driven Constraint Acquisition. 50-55
Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck: A General Framework for Scheduling in a Stochastic Environment. 56-61
Sylvain Bouveret, Michel Lemaître: New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks. 62-67
Alex Ferguson, Barry O'Sullivan: Quantified Constraint Satisfaction Problems: From Relaxations to Explanations. 74-79
Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. 80-87
Georg Gottlob, Gianluigi Greco, Toni Mancini: Conditional Constraint Satisfaction: Logical Foundations and Complexity. 88-93
Carlos Grandón, Gilles Chabert, Bertrand Neveu: Generalized Interval Projection: A New Technique for Consistent Domain Extension. 94-99
Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen: Techniques for Efficient Interactive Configuration of Distribution Networks. 100-105
Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh: Distance Constraints in Constraint Satisfaction. 106-111
Philippe Jégou, Samba Ndiaye, Cyril Terrioux: Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs. 112-117

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Nogood Recording from Restarts. 131-136
Nina Narodytska, Toby Walsh: Constraint and Variable Ordering Heuristics for Compiling Configuration Problems. 149-154
Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao: A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints. 155-160
Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta: Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. 161-166
Adrian Petcu, Boi Faltings, Roger Mailler: PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization. 167-172
Sathiamoorthy Subbarayan, Henrik Reif Andersen: Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. 180-185
Xu Yang, John Bigham: A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks. 186-191
Yuanlin Zhang: Fast Algorithm for Connected Row Convex Constraints. 192-197
Knowledge Representation and Reasoning
Marco Aiello, Brammert Ottens: The Mathematical Morpho-Logical View on Reasoning about Space. 205-211
Ricardo M. Araujo, Luís C. Lamb: An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. 212-217
Jamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa D. Angelini: From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based Representations. 224-229
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. 230-235
Chitta Baral, Matt Hunsaker: Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning. 243-249
David Billington: Entailment Semantics for Rules with Priorities. 256-261
Tibor Bosse, Jan Treur: Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods. 262-267
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: EQL-Lite: Effective First-Order Query Processing in Description Logics. 274-279
Carlos Iván Chesñevar, Guillermo Ricardo Simari: A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks. 280-285
Luca Console, Claudia Picardi, Daniele Theseider Dupré: A Framework for Decentralized Qualitative Model-Based Diagnosis. 286-291
Marie-Odile Cordier, Alban Grastien: Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis. 292-297
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. 298-303
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits: Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. 304-309
Johan de Kleer: Modeling When Connections Are the Problem. 310-317
Christophe Dousson, Pierre Le Maigat: Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization. 324-329
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran: Complexity Results for Checking Equivalence of Stratified Logic Programs. 330-335

Jérôme Euzenat: Semantic Precision and Recall for Ontology Alignment Evaluation. 348-353

Paolo Ferraris: A Logic Program Characterization of Causal Theories. 366-371
Ildikó Flesch, Peter J. F. Lucas, Theo P. van der Weide: Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis. 380-
Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Conflict-Driven Answer Set Solving. 386-
Romain Gérard, Souhila Kaci, Henri Prade: Ranking Alternatives on the Basis of Generic Constraints and Examples - A Possibilistic Approach. 393-398
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. 399-404
Ashish Gupta, David C. Noelle: A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning. 405-410
Daniel T. Halstead, Kenneth D. Forbus: Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem. 411-416
Jizhou Huang, Ming Zhou, Dan Yang: Extracting Chatbot Knowledge from Online Discussion Forums. 423-428
Pallika H. Kanani, Andrew McCallum, Chris Pal: Improving Author Coreference by Resource-Bounded Information Gathering from the Web. 429-434
Sanjiang Li: Combining Topological and Directional Information for Spatial Reasoning. 435-440
Fangzhen Lin, Yi Zhou: From Answer Set Logic Programming to Circumscription via Logic of GK. 441-446
Andrew M. Lovett, Morteza Dehghani, Kenneth D. Forbus: Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition. 447-452
Carsten Lutz, Dirk Walther, Frank Wolter: Conservative Extensions in Expressive Description Logics. 453-458
Søren Tjagvad Madsen, Gerhard Widmer: Towards a Computational Model of Melody Identification in Polyphonic Music. 459-464
Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari: Modelling Well-Structured Argumentation Lines. 465-470
Wolfgang Mayer, Markus Stumptner: Abstract Interpretation of Programs for Model-Based Debugging. 471-476
Boris Motik, Riccardo Rosati: A Faithful Integration of Description Logics with Logic Programming. 477-482
Kasia Muldner, Cristina Conati: Evaluating a Decision-Theoretic Approach to Tailored Example Selection. 483-488
Alice M. Mulvehill, Brett Benyo, Michael T. Cox, Renu Kurien Bostwick: Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution. 489-494
Michele Piunti, Cristiano Castelfranchi, Rino Falcone: Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning. 507-512
Gregory M. Provan, Jun Wang: Automated Benchmark Model Generators for Model-Based Diagnostic Inference. 513-518
Maleeha Qazi, Glenn Fung, Sriram Krishnan, Rómer Rosales, Harald Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran: Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian Networks. 519-525
Jochen Renz: Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone. 526-531
Jussi Rintanen: Diagnosers and Diagnosability of Succinct Transition Systems. 538-544
Virginia Savova, Leonid Peshkin: Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence. 545-550
Vincent Schickel-Zuber, Boi Faltings: OSS: A Semantic Similarity Function based on Hierarchical Ontologies. 551-556
Stefan Schlobach, Michel C. A. Klein, Linda Peelen: Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts. 557-562
Hedda Rahel Schmidtke, Woontack Woo: A Size-Based Qualitative Approach to the Representation of Spatial Granularity. 563-568
Steven Schockaert, Martine De Cock, Etienne E. Kerre: Qualitative Temporal Reasoning about Vague Events. 569-574

Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi: Detection of Cognitive States from fMRI Data Using Machine Learning Techniques. 587-592
Peter Struss: Model-Based Optimization of Testing through Reduction of Stimuli. 593-598
M. G. Suraj, D. S. Guru: Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets. 605-610
Sashank Varma: Resource Constraints on Computation and Communication in the Brain. 611-616
Laurent Vercouter, Sara J. Casare, Jaime Simão Sichman, Anarosa Brandão: An Experience on Reputation Models Interoperability Based on a Functional Ontology. 617-622
Bart Verheij: A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. 623-628
Huan Wang, Shuicheng Yan, Thomas S. Huang, Xiaoou Tang: A Convengent Solution to Tensor Subspace Learning. 629-634
Hui Wang: All Common Subsequences. 635-640
Mark A. Wood, Joanna Bryson: Representations for Action Selection Learning from Real-Time Observation of Task Experts. 641-646
Yan Zhang: Epistemic Reasoning in Logic Programs. 647-653
Learning
Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant: Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary. 654-659
Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth: Updates for Nonlinear Discriminants. 660-665
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: A Fully Connectionist Model Generator for Covered First-Order Logic Programs. 666-671
Sabri Bayoudh, Laurent Miclet, Arnaud Delhay: Learning by Analogy: A Classification Rule for Binary and Nominal Data. 678-683
Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi: Interactive Clustering of Text Collections According to a User-Specified Criterion. 684-689
Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa: Heuristic Selection of Actions in Multiagent Reinforcement Learning. 690-695
Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile: Unsupervised Discretization Using Kernel Density Estimation. 696-701
Deng Cai, Xiaofei He, Kun Zhou, Jiawei Han, Hujun Bao: Locality Sensitive Discriminant Analysis. 708-713
Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole R. Beal: Learning and Transferring Action Schemas. 720-725
Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe: Online Learning and Exploiting Relational Models in Reinforcement Learning. 726-731
Marco Cuturi: Permanents, Transport Polytopes and Positive Definite Kernels on Histograms. 732-737
Guang Dai, Dit-Yan Yeung: Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data. 744-749
Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary: Case Base Mining for Adaptation Knowledge Acquisition. 750-755
Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao: Learning Classifiers When the Training Data Is Not IID. 756-761
Narayanan Unny Edakunni, Stefan Schaal, Sethu Vijayakumar: Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model. 762-767
Santiago Fernández, Alex Graves, Jürgen Schmidhuber: Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks. 774-779
Nancy Fulda, Dan Ventura: Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems. 780-785
Glenn Fung, Rómer Rosales, R. Bharat Rao: Feature Selection and Kernel Design via Linear Programming. 786-791
Ugo Galassi, Attilio Giordana, Lorenza Saitta: Incremental Construction of Structured Hidden Markov Models. 798-803
Gemma C. Garriga, Roni Khardon, Luc De Raedt: On Mining Closed Sets in Multi-Relational Data. 804-809
Ali Ghodsi, Dana F. Wilkinson, Finnegan Southey: Improving Embeddings by Flexible Exploitation of Side Information. 810-816
Sertan Girgin, Faruk Polat, Reda Alhajj: State Similarity Based Approach for Improving Performance in RL. 817-822
András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári: Continuous Time Associative Bandit Problems. 830-835
Sariel Har-Peled, Dan Roth, Dav Zimak: Maximum Margin Coresets for Active and Noise Tolerant Learning. 836-841
Claudia Henry, Richard Nock, Frank Nielsen: Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree. 842-847
Manfred Hild, Frank Pasemann: Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation. 848-852
Jin Huang, Charles X. Ling: Constructing New and Better Evaluation Measures for Machine Learning. 859-864
Michael R. James, Michael E. Samples, Dmitri A. Dolgov: Improving Anytime Point-Based Value Iteration Using Principled Point Selections. 865-870
M. A. Jayaram, M. C. Nataraja, C. N. Ravikumar: A Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly Ashes. 871-876
Ashish Kapoor, Eric Horvitz, Sumit Basu: Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning. 877-882
Yohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner: Exploiting Sensorimotor Coordination for Learning to Recognize Objects. 883-888
Aleksander Kolcz, Abdur Chowdhury: Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization. 889-894
George Konidaris, Andrew G. Barto: Building Portable Options: Skill Transfer in Reinforcement Learning. 895-900

Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang: Generalized Additive Bayesian Network Classifiers. 913-918
Wenye Li, Kwong-Sak Leung, Kin-Hong Lee: Generalizing the Bias Term of Support Vector Machines. 919-924
Wenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji: Robust Object Tracking with a Case-Base Updating Strategy. 925-930
Yan Liu, Jaime G. Carbonell, Vanathi Gopalakrishnan, Peter Weigele: Protein Quaternary Fold Recognition Using Conditional Graphical Models. 937-945
Daniel J. Lizotte, Tao Wang, Michael H. Bowling, Dale Schuurmans: Automatic Gait Optimization with Gaussian Process Regression. 944-949
Oscar Luaces, José Ramón Quevedo, Francisco Taboada, Guillermo M. Albaiceta, Antonio Bahamonde: Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve. 956-961
Loizos Michael: Learning from Partial Observations. 968-974
Volker Nannen, A. E. Eiben: Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters. 975-980



Laurent Orseau: Learning to Count by Think Aloud Imitation. 1005-1010
Chaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari, Bulusu Lakshmana Deekshatulu: A Tighter Error Bound for Decision Tree Learning Using PAC Learnability. 1011-1016


Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet: QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules. 1035-1040
Manu Sharma, Michael P. Holmes, Juan Carlos Santamaría, Arya Irani, Charles Lee Isbell Jr., Ashwin Ram: Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL. 1041-1046
David Silver, Richard S. Sutton, Martin Müller: Reinforcement Learning of Local Shape in the Game of Go. 1053-1058
Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi: Semi-Supervised Gaussian Process Classifiers. 1059-1064
Ah-Hwee Tan: Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning. 1071-1076
Brian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru: Grounding Abstractions in Predictive State Representations. 1077-1082
Peter Tino, Nikolaos Gianniotis: Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling. 1083-1088
Ivor W. Tsang, James T. Kwok: Ensembles of Partially Trained SVMs with Multiplicative Updates. 1089-1094
Chenggang Wang, Saket Joshi, Roni Khardon: First Order Decision Diagrams for Relational MDPs. 1095-1100
Haiying Wang, Huiru Zheng, Francisco Azuaje: Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery. 1101-1106
Andreas Wendemuth: Dynamics of Temporal Difference Learning. 1107-1112
Jonathan Wildstrom, Peter Stone, Emmett Witchel, Michael Dahlin: Machine Learning for On-Line Hardware Reconfiguration. 1113-1118
Ben H. Williams, Marc Toussaint, Amos J. Storkey: A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data. 1119-1124

Dit-Yan Yeung, Hong Chang, Guang Dai: A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning. 1138-1143
Peng Zang, Charles Lee Isbell Jr.: Managing Domain Knowledge and Multiple Models with Boosting. 1144-1149
Yi Zhang, Xiaoming Jin: Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning. 1150-1155
Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha: Learning User Clicks in Web Search. 1162-1167
Xingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi: An Empirical Study of the Noise Impact on Cost-Sensitive Learning. 1168-1174
Multiagent Systems
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge: On the Logic of Normative Systems. 1175-1180

Bo An, Chunyan Miao, Zhiqi Shen: Market Based Resource Allocation with Incomplete Information. 1193-1198
Felix Brandt, Felix A. Fischer, Paul Harrenstein, Yoav Shoham: A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios. 1199-1206
Teddy Candale, Sandip Sen: Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions. 1215-1220
Jesús Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodríguez-Aguilar: Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions. 1221-1226
Georgios Chalkiadakis, Craig Boutilier: Coalitional Bargaining with Agent Type Uncertainty. 1227-1232
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet: Reaching Envy-Free States in Distributed Negotiation Settings. 1239-1244
Samir Chopra, Laurence White: Privacy and Artificial Agents, or, Is Google Reading My Email? 1245-1250
Jonathan Dinerstein, Parris K. Egbert, Dan Ventura: Learning Policies for Embodied Virtual Agents through Demonstration. 1257-1262
Partha Sarathi Dutta, Claudia V. Goldman, Nicholas R. Jennings: Communicating Effectively in Resource-Constrained Multi-Agent Systems. 1269-1274
Nicolas Gaud, Franck Gechter, Stéphane Galland, Abder Koukam: Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment. 1275-1280
Rajesh Gautam, Kazuo Miyashita: Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System. 1281-1286
Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, Nicholas R. Jennings: Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction Fees. 1287-1293
Georg Gottlob, Gianluigi Greco, Toni Mancini: Complexity of Pure Equilibria in Bayesian Games. 1294-1299
Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. 1300-1307
Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe: Hybrid Elections Broaden Complexity-Theoretic Resistance to Control. 1308-1314
Mark Hoogendoorn: Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks. 1321-1326
Jian Huang, Adrian R. Pearce: Collaborative Inductive Logic Programming for Path Planning. 1327-1332
Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi: Augmented Experiment: Participatory Design with Multiagent Simulation. 1341-1346
Takayuki Ito, Hiromitsu Hattori, Mark Klein: Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces. 1347-1352
Yichuan Jiang, Toru Ishida: A Model for Collective Strategy Diffusion in Agent Social Law Evolution. 1353-1358
Sven Koenig, Craig A. Tovey, Xiaoming Zheng, Ilgaz Sungur: Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control. 1359-1365
Jérôme Lang: Vote and Aggregation in Combinatorial Domains with Structured Preferences. 1366-1371
Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Winner Determination in Sequential Majority Voting. 1372-1377
Alessio Lomuscio, Charles Pecheur, Franco Raimondi: Automatic Verification of Knowledge and Time with NuSMV. 1384-1389
Rónán Mac Ruairi, Mark T. Keane: An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events. 1390-1395
Vijay Kumar Mago, M. Syamala Devi: A Multi-Agent Medical System for Indian Rural Infant and Child Care. 1396-1401
Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Infeasibility Certificates and the Complexity of the Core in Coalitional Games. 1402-1407
Efrat Manisterski, Ron Katz, Sarit Kraus: Providing a Recommended Trading Agent to a Population: A Novel Approach. 1408-1414
Efrat Manisterski, David Sarne, Sarit Kraus: Enhancing MAS Cooperative Search Through Coalition Partitioning. 1415-1421
Dov Monderer: Multipotential Games. 1422-1427
Nir Oren, Timothy J. Norman, Alun D. Preece: Argumentation Based Contract Monitoring in Uncertain Domains. 1434-
Nardine Osman, David Robertson: Dynamic Verification of Trust in Distributed Open Systems. 1440-1445
Jonathan P. Pearce, Milind Tambe: Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems. 1446-1451
Adrian Petcu, Boi Faltings: MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization. 1452-1457
Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi: DiPRA: Distributed Practical Reasoning Architecture. 1458-1463
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Incompleteness and Incomparability in Preference Aggregation. 1464-1469
Ariel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein: Gossip-Based Aggregation of Trust in Decentralized Reputation Systems. 1470-1475
Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar: Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination. 1476-1481

Sabyasachi Saha, Sandip Sen: An Efficient Protocol for Negotiation over Multiple Indivisible Resources. 1494-1499
Tuomas Sandholm, Vincent Conitzer, Craig Boutilier: Automated Design of Multistage Mechanisms. 1500-1506

Munindar P. Singh: Formalizing Communication Protocols for Multiagent Systems. 1519-1524
Arpita Sinha, Debasish Ghose: Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit Laws. 1525-1530
Evan Sultanik, Pragnesh Jay Modi, William C. Regli: On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem. 1531-1536
Emmanuel Tanguy, Philip J. Willis, Joanna Bryson: Emotions as Durative Dynamic State for Action Selection. 1537-
Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman: Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents. 1543-1550
Peng Zang, Manish Mehta, Michael Mateas, Ashwin Ram: Towards Runtime Behavior Adaptation for Embodied Characters. 1557-1562
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein: Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions. 1563-1569
Natural Language Processing

István Bíró, Zoltán Szamonek, Csaba Szepesvári: Sequence Prediction Exploiting Similary Information. 1576-1581
Sutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga, Stuart N. K. Watt, David J. Harper: Supervised Latent Semantic Indexing Using Adaptive Sprinkling. 1582-1587

Karolina Eliasson: Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System. 1600-1605
Evgeniy Gabrilovich, Shaul Markovitch: Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic Analysis. 1606-1611


Long Jiang, Ming Zhou, Lee-Feng Chien, Cheng Niu: Named Entity Translation with Web Mining and Transliteration. 1629-1634
Upali Sathyajith Kohomban, Wee Sun Lee: Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense Classes. 1635-1640
Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky: Learning from the Report-writing Behavior of Individuals. 1641-1646
Sylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frédéric Saubion: SegGen: A Genetic Algorithm for Linear Text Segmentation. 1647-1652
Lucian Vlad Lita, Jaime G. Carbonell: Cluster-Based Selection of Statistical Answering Strategies. 1653-1658
Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik: Automatically Selecting Answer Templates to Respond to Customer Emails. 1659-1664
Takuya Matsuzaki, Yusuke Miyao, Jun'ichi Tsujii: Efficient HPSG Parsing with Supertagging and CFG-Filtering. 1671-1676
Srinivas Medimi, Pushpak Bhattacharyya: A Flexible Unsupervised PP-Attachment Method Using Semantic Information. 1677-1682
Vincent Ng: Shallow Semantics for Coreference Resolution. 1689-1694
Minh Le Nguyen, Nguyen Thanh Tri, Akira Shimazu: Subtree Mining for Question Classification Problem. 1695-1700
Yanxin Shi, Mengqiu Wang: A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling Tasks. 1707-1712
Benjamin Snyder, Regina Barzilay: Database-Text Alignment via Structured Multilabel Classification. 1713-1718
George Tsatsaronis, Michalis Vazirgiannis, Ion Androutsopoulos: Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri. 1725-1730
Kiyotaka Uchimoto, Hitoshi Isahara: Morphological Annotation of a Large Spontaneous Speech Corpus in Japanese. 1731-1737
Srinivasan Umesh, D. Rama Sanand, G. Praveen: Speaker-Invariant Features for Automatic Speech Recognition. 1738-1743
Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Rosé, Tsai-Yen Li, Chun-Yen Chang: A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues. 1750-1755
Qin Iris Wang, Dekang Lin, Dale Schuurmans: Simple Training of Dependency Parsers via Structured Boosting. 1756-1762
Yingchuan Wong, Hwee Tou Ng: One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition. 1763-1768
Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz: A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. 1769-1775
Wen-tau Yih, Joshua Goodman, Lucy Vanderwende, Hisami Suzuki: Multi-Document Summarization by Maximizing Informative Content-Words. 1776-1782
Kazuhiro Yoshida, Yoshimasa Tsuruoka, Yusuke Miyao, Jun'ichi Tsujii: Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic Parsers. 1783-1788
Shiqi Zhao, Ting Liu, Xincheng Yuan, Sheng Li, Yu Zhang: Automatic Acquisition of Context-Specific Lexical Paraphrases. 1789-1794
Planning and Scheduling
Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, Octavian Udrea: Detecting Stochastically Scheduled Activities in Video. 1802-1807
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A Heuristic Search Approach to Planning with Temporally Extended Preferences. 1808-1815
Russell Bent, Pascal Van Hentenryck: Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. 1816-1821
Stefano Borgo: Coalitions in Action Logic. 1822-1827

Yixin Chen, Zhao Xing, Weixiong Zhang: Long-Distance Mutual Exclusion for Propositional Planning. 1840-1845
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel: Towards an Integration of Golog and Planning. 1846-1851
William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld: When is Temporal Planning Really Temporal? 1852-1859
Peng Dai, Judy Goldsmith: Topological Value Iteration Algorithm for Markov Decision Processes. 1860-1865
Giuseppe De Giacomo, Sebastian Sardiña: Automatic Synthesis of New Behaviors from a Library of Available Behaviors. 1866-1871
Minh Binh Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati: Planning with Goal Utility Dependencies. 1872-1878
Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli: A Decision-Theoretic Model of Assistance. 1879-1884
Susana Fernández, Ricardo Aler, Daniel Borrajo: Transferring Learned Control-Knowledge between Planners. 1885-1890
Patrik Haslum: Reducing Accidental Complexity in Planning Problems. 1898-1903
Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White: Planning via Petri Net Unfolding. 1904-1911
Shen-Shyang Ho, Harry Wechsler: Detecting Changes in Unlabeled Data Streams Using Martingale. 1912-1917
Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz: SAT Encodings of State-Space Reachability Problems in Numeric Domains. 1918-1923
Chih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen: Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences. 1924-1929
Anders Jonsson: The Role of Macros in Tractable Planning over Causal Graphs. 1936-1941
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux: Factored Planning Using Decomposition Trees. 1942-1947
T. K. Satish Kumar: Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with Preferences. 1954-1959
Jürgen Kuster, Dietmar Jannach, Gerhard Friedrich: Handling Alternative Activities in Resource-Constrained Project Scheduling Problems. 1960-1965
Robert Mattmüller, Jussi Rintanen: Planning for Temporally Extended Goals as Propositional Satisfiability. 1966-
Luc Mercier, Pascal Van Hentenryck: Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs. 1979-1984
A. Ricardo Morales, Phan Huy Tu, Tran Cao Son: An Extension to Conformant Planning Using Logic Programming. 1991-1996
Malcolm R. K. Ryan: Graph Decomposition for Efficient Multi-Robot Path Planning. 2003-2008
Biplav Srivastava, Tuan Anh Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina: Domain Independent Approaches for Finding Diverse Plans. 2016-2022
Felipe W. Trevizan, Fabio Gagliardi Cozman, Leliane Nunes de Barros: Planning under Risk and Knightian Uncertainty. 2023-2028
Stavros Vassos, Hector J. Levesque: Progression of Situation Calculus Action Theories with Incomplete Information. 2029-2024
David Wingate, Vishal Soni, Britton Wolfe, Satinder P. Singh: Relational Knowledge with Predictive State Representations. 2035-2040
Yuehua Xu, Alan Fern, Sung Wook Yoon: Discriminative Learning of Beam-Search Heuristics for Planning. 2041-2046
Sung Wook Yoon, Alan Fern, Robert Givan: Using Learned Policies in Heuristic-Search Planning. 2047-2053
Robotics
Mehran Asadi, Manfred Huber: Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies. 2054-2059
Pranjal Awasthi, Aakanksha Gagrani, Balaraman Ravindran: Image Modeling Using Tree Structured Conditional Random Fields. 2060-2065
Michael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von Hoyningen-Huene, Alexander Clifford Perzylo: Visually Tracking Football Games Based on TV Broadcasts. 2066-2071
Michael Brenner, Nick Hawes, John D. Kelleher, Jeremy L. Wyatt: Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction. 2072-2077

