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 BibTeX
Research Excellence Award
Computers and Thought Award
Constraint Satisfaction
- Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà:
The Logic Behind Weighted CSP.
32-37
Electronic Edition (link) BibTeX
- Marco Benedetti, Arnaud Lallouet, Jérémie Vautard:
QCSP Made Practical by Virtue of Restricted Quantification.
38-43
Electronic Edition (link) BibTeX
- Christian Bessière, Remi Coletta, Thierry Petit:
Learning Implied Global Constraints.
44-49
Electronic Edition (link) BibTeX
- Christian Bessière, Remi Coletta, Barry O'Sullivan, Mathias Paulin:
Query-Driven Constraint Acquisition.
50-55
Electronic Edition (link) BibTeX
- Julien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck:
A General Framework for Scheduling in a Stochastic Environment.
56-61
Electronic Edition (link) BibTeX
- Sylvain Bouveret, Michel Lemaître:
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks.
62-67
Electronic Edition (link) BibTeX
- Martin C. Cooper, Simon de Givry, Thomas Schiex:
Optimal Soft Arc Consistency.
68-73
Electronic Edition (link) BibTeX
- Alex Ferguson, Barry O'Sullivan:
Quantified Constraint Satisfaction Problems: From Relaxations to Explanations.
74-79
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Georg Gottlob, Gianluigi Greco, Toni Mancini:
Conditional Constraint Satisfaction: Logical Foundations and Complexity.
88-93
Electronic Edition (link) BibTeX
- Carlos Grandón, Gilles Chabert, Bertrand Neveu:
Generalized Interval Projection: A New Technique for Consistent Domain Extension.
94-99
Electronic Edition (link) BibTeX
- Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks.
100-105
Electronic Edition (link) BibTeX
- Emmanuel Hebrard, Barry O'Sullivan, Toby Walsh:
Distance Constraints in Constraint Satisfaction.
106-111
Electronic Edition (link) BibTeX
- Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs.
112-117
Electronic Edition (link) BibTeX
- Matthew Kitching, Fahiem Bacchus:
Symmetric Component Caching.
118-124
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Fred Hemery:
A Study of Residual Supports in Arc Consistency.
125-130
Electronic Edition (link) BibTeX
- Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Nogood Recording from Restarts.
131-136
Electronic Edition (link) BibTeX
- Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder:
Arc Consistency during Search.
137-142
Electronic Edition (link) BibTeX
- Deepak Mehta, Marc R. C. van Dongen:
Probabilistic Consistency Boosts MAC and SAC.
143-148
Electronic Edition (link) BibTeX
- Nina Narodytska, Toby Walsh:
Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.
149-154
Electronic Edition (link) BibTeX
- Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao:
A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints.
155-160
Electronic Edition (link) BibTeX
- Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta:
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.
161-166
Electronic Edition (link) BibTeX
- Adrian Petcu, Boi Faltings, Roger Mailler:
PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization.
167-172
Electronic Edition (link) BibTeX
- Tian Sang, Paul Beame, Henry A. Kautz:
A Dynamic Approach for MPE and Weighted MAX-SAT.
173-179
Electronic Edition (link) BibTeX
- Sathiamoorthy Subbarayan, Henrik Reif Andersen:
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.
180-185
Electronic Edition (link) BibTeX
- Xu Yang, John Bigham:
A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular Networks.
186-191
Electronic Edition (link) BibTeX
- Yuanlin Zhang:
Fast Algorithm for Connected Row Convex Constraints.
192-197
Electronic Edition (link) BibTeX
- Roie Zivan, Amnon Meisels:
Conflict Directed Backjumping for Max-CSPs.
198-204
Electronic Edition (link) BibTeX
Knowledge Representation and Reasoning
- Marco Aiello, Brammert Ottens:
The Mathematical Morpho-Logical View on Reasoning about Space.
205-211
Electronic Edition (link) BibTeX
- Ricardo M. Araujo, Luís C. Lamb:
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism.
212-217
Electronic Edition (link) BibTeX
- Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change.
218-223
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
230-235
Electronic Edition (link) BibTeX
- Chitta Baral, Jicheng Zhao:
Non-monotonic Temporal Logics for Goal Specification.
236-242
Electronic Edition (link) BibTeX
- Chitta Baral, Matt Hunsaker:
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning.
243-249
Electronic Edition (link) BibTeX
- Marc G. Bellemare, Doina Precup:
Context-Driven Predictions.
250-255
Electronic Edition (link) BibTeX
- David Billington:
Entailment Semantics for Rules with Priorities.
256-261
Electronic Edition (link) BibTeX
- Tibor Bosse, Jan Treur:
Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods.
262-267
Electronic Edition (link) BibTeX
- Gerhard Brewka, Floris Roelofsen, Luciano Serafini:
Contextual Default Reasoning.
268-273
Electronic Edition (link) BibTeX
- Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics.
274-279
Electronic Edition (link) BibTeX
- Carlos Iván Chesñevar, Guillermo Ricardo Simari:
A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks.
280-285
Electronic Edition (link) BibTeX
- Luca Console, Claudia Picardi, Daniele Theseider Dupré:
A Framework for Decentralized Qualitative Model-Based Diagnosis.
286-291
Electronic Edition (link) BibTeX
- Marie-Odile Cordier, Alban Grastien:
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis.
292-297
Electronic Edition (link) BibTeX
- Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
A Logical Framework for Modularity of Ontologies.
298-303
Electronic Edition (link) BibTeX
- Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.
304-309
Electronic Edition (link) BibTeX
- Johan de Kleer:
Modeling When Connections Are the Problem.
310-317
Electronic Edition (link) BibTeX
- Clare Dixon, Michael Fisher, Boris Konev:
Tractable Temporal Reasoning.
318-323
Electronic Edition (link) BibTeX
- Christophe Dousson, Pierre Le Maigat:
Chronicle Recognition Improvement Using Temporal Focusing and Hierarchization.
324-329
Electronic Edition (link) BibTeX
- Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Complexity Results for Checking Equivalence of Stratified Logic Programs.
330-335
Electronic Edition (link) BibTeX
- Thomas Eiter, Esra Erdem, Wolfgang Faber:
On Reversing Actions: Algorithms and Complexity.
336-341
Electronic Edition (link) BibTeX
- Michael Esser, Peter Struss:
Fault-Model-Based Test Generation for Embedded Software.
342-347
Electronic Edition (link) BibTeX
- Jérôme Euzenat:
Semantic Precision and Recall for Ontology Alignment Evaluation.
348-353
Electronic Edition (link) BibTeX
- Zhao-Fu Fan, Yunfei Jiang:
Operator Component Matrix Model for IMP Program Diagnosis.
354-359
Electronic Edition (link) BibTeX
- Hélène Fargier, Pierre Marquis:
On Valued Negation Normal Form Formulas.
360-365
Electronic Edition (link) BibTeX
- Paolo Ferraris:
A Logic Program Characterization of Causal Theories.
366-371
Electronic Edition (link) BibTeX
- Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz:
A New Perspective on Stable Models.
372-379
Electronic Edition (link) BibTeX
- Ildikó Flesch, Peter J. F. Lucas, Theo P. van der Weide:
Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis.
380-
Electronic Edition (link) BibTeX
- Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Conflict-Driven Answer Set Solving.
386-
Electronic Edition (link) BibTeX
- Romain Gérard, Souhila Kaci, Henri Prade:
Ranking Alternatives on the Basis of Generic Constraints and Examples - A Possibilistic Approach.
393-398
Electronic Edition (link) BibTeX
- Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
399-404
Electronic Edition (link) BibTeX
- Ashish Gupta, David C. Noelle:
A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning.
405-410
Electronic Edition (link) BibTeX
- Daniel T. Halstead, Kenneth D. Forbus:
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem.
411-416
Electronic Edition (link) BibTeX
- Miki Hermann, Reinhard Pichler:
Counting Complexity of Propositional Abduction.
417-422
Electronic Edition (link) BibTeX
- Jizhou Huang, Ming Zhou, Dan Yang:
Extracting Chatbot Knowledge from Online Discussion Forums.
423-428
Electronic Edition (link) BibTeX
- Pallika Kanani, Andrew McCallum, Chris Pal:
Improving Author Coreference by Resource-Bounded Information Gathering from the Web.
429-434
Electronic Edition (link) BibTeX
- Sanjiang Li:
Combining Topological and Directional Information for Spatial Reasoning.
435-440
Electronic Edition (link) BibTeX
- Fangzhen Lin, Yi Zhou:
From Answer Set Logic Programming to Circumscription via Logic of GK.
441-446
Electronic Edition (link) BibTeX
- Andrew M. Lovett, Morteza Dehghani, Kenneth D. Forbus:
Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition.
447-452
Electronic Edition (link) BibTeX
- Carsten Lutz, Dirk Walther, Frank Wolter:
Conservative Extensions in Expressive Description Logics.
453-458
Electronic Edition (link) BibTeX
- Søren Tjagvad Madsen, Gerhard Widmer:
Towards a Computational Model of Melody Identification in Polyphonic Music.
459-464
Electronic Edition (link) BibTeX
- Diego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari:
Modelling Well-Structured Argumentation Lines.
465-470
Electronic Edition (link) BibTeX
- Wolfgang Mayer, Markus Stumptner:
Abstract Interpretation of Programs for Model-Based Debugging.
471-476
Electronic Edition (link) BibTeX
- Boris Motik, Riccardo Rosati:
A Faithful Integration of Description Logics with Logic Programming.
477-482
Electronic Edition (link) BibTeX
- Kasia Muldner, Cristina Conati:
Evaluating a Decision-Theoretic Approach to Tailored Example Selection.
483-488
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Isabel Navarrete, Antonio Morales, Guido Sciavicco:
Consistency Checking of Basic Cardinal Constraints over Connected Regions.
495-500
Electronic Edition (link) BibTeX
- Austin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian:
Probabilistic Go Theories.
501-506
Electronic Edition (link) BibTeX
- Michele Piunti, Cristiano Castelfranchi, Rino Falcone:
Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning.
507-512
Electronic Edition (link) BibTeX
- Gregory M. Provan, Jun Wang:
Automated Benchmark Model Generators for Model-Based Diagnostic Inference.
513-518
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jochen Renz:
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone.
526-531
Electronic Edition (link) BibTeX
- Jussi Rintanen, Alban Grastien:
Diagnosability Testing with Satisfiability Algorithms.
532-537
Electronic Edition (link) BibTeX
- Jussi Rintanen:
Diagnosers and Diagnosability of Succinct Transition Systems.
538-544
Electronic Edition (link) BibTeX
- Virginia Savova, Leonid Peshkin:
Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence.
545-550
Electronic Edition (link) BibTeX
- Vincent Schickel-Zuber, Boi Faltings:
OSS: A Semantic Similarity Function based on Hierarchical Ontologies.
551-556
Electronic Edition (link) BibTeX
- Stefan Schlobach, Michel C. A. Klein, Linda Peelen:
Description Logics with Approximate Definitions - Precise Modeling of Vague Concepts.
557-562
Electronic Edition (link) BibTeX
- Hedda Rahel Schmidtke, Woontack Woo:
A Size-Based Qualitative Approach to the Representation of Spatial Granularity.
563-568
Electronic Edition (link) BibTeX
- Steven Schockaert, Martine De Cock, Etienne E. Kerre:
Qualitative Temporal Reasoning about Vague Events.
569-574
Electronic Edition (link) BibTeX
- Anika Schumann, Yannick Pencolé:
Scalable Diagnosability Checking of Event-Driven Systems.
575-580
Electronic Edition (link) BibTeX
- Sajjad Siddiqi, Jinbo Huang:
Hierarchical Diagnosis of Multiple Faults.
581-586
Electronic Edition (link) BibTeX
- Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi:
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques.
587-592
Electronic Edition (link) BibTeX
- Peter Struss:
Model-Based Optimization of Testing through Reduction of Stimuli.
593-598
Electronic Edition (link) BibTeX
- V. S. Subrahmanian, Leila Amgoud:
A General Framework for Reasoning about Inconsistency.
599-504
Electronic Edition (link) BibTeX
- M. G. Suraj, D. S. Guru:
Appearance Based Recognition Methodology for Recognising Fingerspelling Alphabets.
605-610
Electronic Edition (link) BibTeX
- Sashank Varma:
Resource Constraints on Computation and Communication in the Brain.
611-616
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Bart Verheij:
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation.
623-628
Electronic Edition (link) BibTeX
- Huan Wang, Shuicheng Yan, Thomas S. Huang, Xiaoou Tang:
A Convengent Solution to Tensor Subspace Learning.
629-634
Electronic Edition (link) BibTeX
- Hui Wang:
All Common Subsequences.
635-640
Electronic Edition (link) BibTeX
- Mark A. Wood, Joanna Bryson:
Representations for Action Selection Learning from Real-Time Observation of Task Experts.
641-646
Electronic Edition (link) BibTeX
- Yan Zhang:
Epistemic Reasoning in Logic Programs.
647-653
Electronic Edition (link) BibTeX
Learning
- Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant:
Keep the Decision Tree and Estimate the Class Probabilities Using its Decision Boundary.
654-659
Electronic Edition (link) BibTeX
- Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth:
Updates for Nonlinear Discriminants.
660-665
Electronic Edition (link) BibTeX
- Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
666-671
Electronic Edition (link) BibTeX
- Bikramjit Banerjee, Peter Stone:
General Game Learning Using Knowledge Transfer.
672-677
Electronic Edition (link) BibTeX
- Sabri Bayoudh, Laurent Miclet, Arnaud Delhay:
Learning by Analogy: A Classification Rule for Binary and Nominal Data.
678-683
Electronic Edition (link) BibTeX
- Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi:
Interactive Clustering of Text Collections According to a User-Specified Criterion.
684-689
Electronic Edition (link) BibTeX
- Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna H. Reali Costa:
Heuristic Selection of Actions in Multiagent Reinforcement Learning.
690-695
Electronic Edition (link) BibTeX
- Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile:
Unsupervised Discretization Using Kernel Density Estimation.
696-701
Electronic Edition (link) BibTeX
- Klaus Brinker, Eyke Hüllermeier:
Case-Based Multilabel Ranking.
702-707
Electronic Edition (link) BibTeX
- Deng Cai, Xiaofei He, Kun Zhou, Jiawei Han, Hujun Bao:
Locality Sensitive Discriminant Analysis.
708-713
Electronic Edition (link) BibTeX
- Lijuan Cai, Thomas Hofmann:
Exploiting Known Taxonomies in Learning Overlapping Concepts.
714-719
Electronic Edition (link) BibTeX
- Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole R. Beal:
Learning and Transferring Action Schemas.
720-725
Electronic Edition (link) BibTeX
- Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe:
Online Learning and Exploiting Relational Models in Reinforcement Learning.
726-731
Electronic Edition (link) BibTeX
- Marco Cuturi:
Permanents, Transport Polytopes and Positive Definite Kernels on Histograms.
732-737
Electronic Edition (link) BibTeX
- William Dabney, Amy McGovern:
Utile Distinctions for Relational Reinforcement Learning.
738-743
Electronic Edition (link) BibTeX
- Guang Dai, Dit-Yan Yeung:
Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data.
744-749
Electronic Edition (link) BibTeX
- Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary:
Case Base Mining for Adaptation Knowledge Acquisition.
750-755
Electronic Edition (link) BibTeX
- Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao:
Learning Classifiers When the Training Data Is Not IID.
756-761
Electronic Edition (link) BibTeX
- Narayanan U. Edakunni, Stefan Schaal, Sethu Vijayakumar:
Kernel Carpentry for Online Regression Using Randomly Varying Coefficient Model.
762-767
Electronic Edition (link) BibTeX
- Saher Esmeir, Shaul Markovitch:
Occam's Razor Just Got Sharper.
768-773
Electronic Edition (link) BibTeX
- Santiago Fernández, Alex Graves, Jürgen Schmidhuber:
Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks.
774-779
Electronic Edition (link) BibTeX
- Nancy Fulda, Dan Ventura:
Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems.
780-785
Electronic Edition (link) BibTeX
- Glenn Fung, Rómer Rosales, R. Bharat Rao:
Feature Selection and Kernel Design via Linear Programming.
786-791
Electronic Edition (link) BibTeX
- Matteo Gagliolo, Jürgen Schmidhuber:
Learning Restart Strategies.
792-797
Electronic Edition (link) BibTeX
- Ugo Galassi, Attilio Giordana, Lorenza Saitta:
Incremental Construction of Structured Hidden Markov Models.
798-803
Electronic Edition (link) BibTeX
- Gemma C. Garriga, Roni Khardon, Luc De Raedt:
On Mining Closed Sets in Multi-Relational Data.
804-809
Electronic Edition (link) BibTeX
- Ali Ghodsi, Dana F. Wilkinson, Finnegan Southey:
Improving Embeddings by Flexible Exploitation of Side Information.
810-816
Electronic Edition (link) BibTeX
- Sertan Girgin, Faruk Polat, Reda Alhajj:
State Similarity Based Approach for Improving Performance in RL.
817-822
Electronic Edition (link) BibTeX
- Yuhong Guo, Russell Greiner:
Optimistic Active-Learning Using Mutual Information.
823-829
Electronic Edition (link) BibTeX
- András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári:
Continuous Time Associative Bandit Problems.
830-835
Electronic Edition (link) BibTeX
- Sariel Har-Peled, Dan Roth, Dav Zimak:
Maximum Margin Coresets for Active and Noise Tolerant Learning.
836-841
Electronic Edition (link) BibTeX
- Claudia Henry, Richard Nock, Frank Nielsen:
Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree.
842-847
Electronic Edition (link) BibTeX
- Manfred Hild, Frank Pasemann:
Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation.
848-852
Electronic Edition (link) BibTeX
- Thomas R. Hinrichs, Kenneth D. Forbus:
Analogical Learning in a Turn-Based Strategy Game.
853-858
Electronic Edition (link) BibTeX
- Jin Huang, Charles X. Ling:
Constructing New and Better Evaluation Measures for Machine Learning.
859-864
Electronic Edition (link) BibTeX
- Michael R. James, Michael E. Samples, Dmitri A. Dolgov:
Improving Anytime Point-Based Value Iteration Using Principled Point Selections.
865-870
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ashish Kapoor, Eric Horvitz, Sumit Basu:
Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning.
877-882
Electronic Edition (link) BibTeX
- Yohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner:
Exploiting Sensorimotor Coordination for Learning to Recognize Objects.
883-888
Electronic Edition (link) BibTeX
- Aleksander Kolcz, Abdur Chowdhury:
Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text Categorization.
889-894
Electronic Edition (link) BibTeX
- George Konidaris, Andrew G. Barto:
Building Portable Options: Skill Transfer in Reinforcement Learning.
895-900
Electronic Edition (link) BibTeX
- James T. Kwok, Pak-Ming Cheung:
Marginalized Multi-Instance Kernels.
901-906
Electronic Edition (link) BibTeX
- Niels Landwehr, Luc De Raedt:
r-grams: Relational Grams.
907-912
Electronic Edition (link) BibTeX
- Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang:
Generalized Additive Bayesian Network Classifiers.
913-918
Electronic Edition (link) BibTeX
- Wenye Li, Kwong-Sak Leung, Kin-Hong Lee:
Generalizing the Bias Term of Support Vector Machines.
919-924
Electronic Edition (link) BibTeX
- Wenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji:
Robust Object Tracking with a Case-Base Updating Strategy.
925-930
Electronic Edition (link) BibTeX
- Shiau Hong Lim, Li-Lun Wang, Gerald DeJong:
Explanation-Based Feature Construction.
931-
Electronic Edition (link) BibTeX
- Yan Liu, Jaime G. Carbonell, Vanathi Gopalakrishnan, Peter Weigele:
Protein Quaternary Fold Recognition Using Conditional Graphical Models.
937-945
Electronic Edition (link) BibTeX
- Daniel J. Lizotte, Tao Wang, Michael Bowling, Dale Schuurmans:
Automatic Gait Optimization with Gaussian Process Regression.
944-949
Electronic Edition (link) BibTeX
- Daniel Lowd, Pedro Domingos:
Recursive Random Fields.
950-955
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- David McSherry, David W. Aha:
The Ins and Outs of Critiquing.
962-967
Electronic Edition (link) BibTeX
- Loizos Michael:
Learning from Partial Observations.
968-974
Electronic Edition (link) BibTeX
- Volker Nannen, A. E. Eiben:
Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters.
975-980
Electronic Edition (link) BibTeX
- Mukund Narasimhan, Jeff Bilmes:
Local Search for Balanced Submodular Clusterings.
981-986
Electronic Edition (link) BibTeX
- Canh Hao Nguyen, Tu Bao Ho:
Kernel Matrix Evaluation.
987-992
Electronic Edition (link) BibTeX
- Feiping Nie, Shiming Xiang, Changshui Zhang:
Neighborhood MinMax Projections.
993-998
Electronic Edition (link) BibTeX
- Santiago Ontañón, Enric Plaza:
Case-based Learning from Proactive Communication.
999-1004
Electronic Edition (link) BibTeX
- Laurent Orseau:
Learning to Count by Think Aloud Imitation.
1005-1010
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nathan D. Ratliff, J. Andrew Bagnell:
Kernel Conjugate Gradient for Fast Kernel Machines.
1017-1022
Electronic Edition (link) BibTeX
- Balaraman Ravindran, Andrew G. Barto, Vimal Mathew:
Deictic Option Schemas.
1023-1028
Electronic Edition (link) BibTeX
- Raquel Ros, Josep Lluís Arcos:
Acquiring a Robust Case Base for the Robot Soccer Domain.
1029-1034
Electronic Edition (link) BibTeX
- Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet:
QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules.
1035-1040
Electronic Edition (link) BibTeX
- Manu Sharma, Michael Holmes, Juan Carlos Santamaria, Arya Irani, Charles Lee Isbell Jr., Ashwin Ram:
Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL.
1041-1046
Electronic Edition (link) BibTeX
- Young-In Shin, Donald S. Fussell:
Parametric Kernels for Sequence Data Analysis.
1047-1052
Electronic Edition (link) BibTeX
- David Silver, Richard S. Sutton, Martin Müller:
Reinforcement Learning of Local Shape in the Game of Go.
1053-1058
Electronic Edition (link) BibTeX
- Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi:
Semi-Supervised Gaussian Process Classifiers.
1059-1064
Electronic Edition (link) BibTeX
- Erik Talvitie, Satinder Singh:
An Experts Algorithm for Transfer Learning.
1065-1070
Electronic Edition (link) BibTeX
- Ah-Hwee Tan:
Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning.
1071-1076
Electronic Edition (link) BibTeX
- Brian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru:
Grounding Abstractions in Predictive State Representations.
1077-1082
Electronic Edition (link) BibTeX
- Peter Tino, Nikolaos Gianniotis:
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling.
1083-1088
Electronic Edition (link) BibTeX
- Ivor W. Tsang, James T. Kwok:
Ensembles of Partially Trained SVMs with Multiplicative Updates.
1089-1094
Electronic Edition (link) BibTeX
- Chenggang Wang, Saket Joshi, Roni Khardon:
First Order Decision Diagrams for Relational MDPs.
1095-1100
Electronic Edition (link) BibTeX
- Haiying Wang, Huiru Zheng, Francisco Azuaje:
Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery.
1101-1106
Electronic Edition (link) BibTeX
- Andreas Wendemuth:
Dynamics of Temporal Difference Learning.
1107-1112
Electronic Edition (link) BibTeX
- Jonathan Wildstrom, Peter Stone, Emmett Witchel, Michael Dahlin:
Machine Learning for On-Line Hardware Reconfiguration.
1113-1118
Electronic Edition (link) BibTeX
- Ben H. Williams, Marc Toussaint, Amos J. Storkey:
A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data.
1119-1124
Electronic Edition (link) BibTeX
- Mingrui Wu, Jason D. R. Farquhar:
A Subspace Kernel for Nonlinear Feature Extraction.
1125-1130
Electronic Edition (link) BibTeX
- Patrick W. Yaner, Ashok K. Goel:
Understanding Drawings by Compositional Analogy.
1131-1137
Electronic Edition (link) BibTeX
- Dit-Yan Yeung, Hong Chang, Guang Dai:
A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning.
1138-1143
Electronic Edition (link) BibTeX
- Peng Zang, Charles Lee Isbell Jr.:
Managing Domain Knowledge and Multiple Models with Boosting.
1144-1149
Electronic Edition (link) BibTeX
- Yi Zhang, Xiaoming Jin:
Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning.
1150-1155
Electronic Edition (link) BibTeX
- Zheng Zhao, Huan Liu:
Searching for Interacting Features.
1156-1161
Electronic Edition (link) BibTeX
- Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha:
Learning User Clicks in Web Search.
1162-1167
Electronic Edition (link) BibTeX
- Xingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi:
An Empirical Study of the Noise Impact on Cost-Sensitive Learning.
1168-1174
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge:
Quantified Coalition Logic.
1181-1186
Electronic Edition (link) BibTeX
- Alon Altman, Moshe Tennenholtz:
An Axiomatic Approach to Personalized Ranking Systems.
1187-1192
Electronic Edition (link) BibTeX
- Bo An, Chunyan Miao, Zhiqi Shen:
Market Based Resource Allocation with Incomplete Information.
1193-1198
Electronic Edition (link) BibTeX
- Felix Brandt, Felix A. Fischer, Paul Harrenstein, Yoav Shoham:
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios.
1199-1206
Electronic Edition (link) BibTeX
- Felix Brandt, Tuomas Sandholm, Yoav Shoham:
Spiteful Bidding in Sealed-Bid Auctions.
1207-1214
Electronic Edition (link) BibTeX
- Teddy Candale, Sandip Sen:
Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions.
1215-1220
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Georgios Chalkiadakis, Craig Boutilier:
Coalitional Bargaining with Agent Type Uncertainty.
1227-1232
Electronic Edition (link) BibTeX
- Shih-Fen Cheng, Michael P. Wellman:
Iterated Weaker-than-Weak Dominance.
1233-1238
Electronic Edition (link) BibTeX
- Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet:
Reaching Envy-Free States in Distributed Negotiation Settings.
1239-1244
Electronic Edition (link) BibTeX
- Samir Chopra, Laurence White:
Privacy and Artificial Agents, or, Is Google Reading My Email?
1245-1250
Electronic Edition (link) BibTeX
- Vincent Conitzer, Tuomas Sandholm:
Incremental Mechanism Design.
1251-1256
Electronic Edition (link) BibTeX
- Jonathan Dinerstein, Parris K. Egbert, Dan Ventura:
Learning Policies for Embodied Virtual Agents through Demonstration.
1257-1262
Electronic Edition (link) BibTeX
- Kurt M. Dresner, Peter Stone:
Sharing the Road: Autonomous Vehicles Meet Human Drivers.
1263-1268
Electronic Edition (link) BibTeX
- Partha Sarathi Dutta, Claudia V. Goldman, Nicholas R. Jennings:
Communicating Effectively in Resource-Constrained Multi-Agent Systems.
1269-1274
Electronic Edition (link) BibTeX
- Nicolas Gaud, Franck Gechter, Stéphane Galland, Abder Koukam:
Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment.
1275-1280
Electronic Edition (link) BibTeX
- Rajesh Gautam, Kazuo Miyashita:
Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System.
1281-1286
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Georg Gottlob, Gianluigi Greco, Toni Mancini:
Complexity of Pure Equilibria in Bayesian Games.
1294-1299
Electronic Edition (link) BibTeX
- Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs.
1300-1307
Electronic Edition (link) BibTeX
- Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe:
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control.
1308-1314
Electronic Edition (link) BibTeX
- Alan Holland, Barry O'Sullivan:
Truthful Risk-Managed Combinatorial Auctions.
1315-1320
Electronic Edition (link) BibTeX
- Mark Hoogendoorn:
Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks.
1321-1326
Electronic Edition (link) BibTeX
- Jian Huang, Adrian R. Pearce:
Collaborative Inductive Logic Programming for Path Planning.
1327-1332
Electronic Edition (link) BibTeX
- Nathanael Hyafil, Craig Boutilier:
Mechanism Design with Partial Revelation.
1333-1340
Electronic Edition (link) BibTeX
- Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi:
Augmented Experiment: Participatory Design with Multiagent Simulation.
1341-1346
Electronic Edition (link) BibTeX
- Takayuki Ito, Hiromitsu Hattori, Mark Klein:
Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces.
1347-1352
Electronic Edition (link) BibTeX
- Yichuan Jiang, Toru Ishida:
A Model for Collective Strategy Diffusion in Agent Social Law Evolution.
1353-1358
Electronic Edition (link) BibTeX
- Sven Koenig, Craig A. Tovey, Xiaoming Zheng, Ilgaz Sungur:
Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control.
1359-1365
Electronic Edition (link) BibTeX
- Jérôme Lang:
Vote and Aggregation in Combinatorial Domains with Structured Preferences.
1366-1371
Electronic Edition (link) BibTeX
- Jérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Winner Determination in Sequential Majority Voting.
1372-1377
Electronic Edition (link) BibTeX
- Seong Jae Lee, Amy R. Greenwald, Victor Naroditskiy:
RoxyBot-06: An (SAA)2 TAC Travel Agent.
1378-1383
Electronic Edition (link) BibTeX
- Alessio Lomuscio, Charles Pecheur, Franco Raimondi:
Automatic Verification of Knowledge and Time with NuSMV.
1384-1389
Electronic Edition (link) BibTeX
- Rónán Mac Ruairi, Mark T. Keane:
An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events.
1390-1395
Electronic Edition (link) BibTeX
- Vijay Kumar Mago, M. Syamala Devi:
A Multi-Agent Medical System for Indian Rural Infant and Child Care.
1396-1401
Electronic Edition (link) BibTeX
- Enrico Malizia, Luigi Palopoli, Francesco Scarcello:
Infeasibility Certificates and the Complexity of the Core in Coalitional Games.
1402-1407
Electronic Edition (link) BibTeX
- Efrat Manisterski, Ron Katz, Sarit Kraus:
Providing a Recommended Trading Agent to a Population: A Novel Approach.
1408-1414
Electronic Edition (link) BibTeX
- Efrat Manisterski, David Sarne, Sarit Kraus:
Enhancing MAS Cooperative Search Through Coalition Partitioning.
1415-1421
Electronic Edition (link) BibTeX
- Dov Monderer:
Multipotential Games.
1422-1427
Electronic Edition (link) BibTeX
- Megan Olsen, Hava Siegelmann:
Multi-Agent System that Attains Longevity via Death.
1428-1433
Electronic Edition (link) BibTeX
- Nir Oren, Timothy J. Norman, Alun D. Preece:
Argumentation Based Contract Monitoring in Uncertain Domains.
1434-
Electronic Edition (link) BibTeX
- Nardine Osman, David Robertson:
Dynamic Verification of Trust in Distributed Open Systems.
1440-1445
Electronic Edition (link) BibTeX
- Jonathan P. Pearce, Milind Tambe:
Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems.
1446-1451
Electronic Edition (link) BibTeX
- Adrian Petcu, Boi Faltings:
MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization.
1452-1457
Electronic Edition (link) BibTeX
- Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi:
DiPRA: Distributed Practical Reasoning Architecture.
1458-1463
Electronic Edition (link) BibTeX
- Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Incompleteness and Incomparability in Preference Aggregation.
1464-1469
Electronic Edition (link) BibTeX
- Ariel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein:
Gossip-Based Aggregation of Trust in Decentralized Reputation Systems.
1470-1475
Electronic Edition (link) BibTeX
- Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar:
Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination.
1476-1481
Electronic Edition (link) BibTeX
- Mark Richards, Eyal Amir:
Opponent Modeling in Scrabble.
1482-1487
Electronic Edition (link) BibTeX
- Ola Rozenfeld, Moshe Tennenholtz:
Routing Mediators.
1488-1493
Electronic Edition (link) BibTeX
- Sabyasachi Saha, Sandip Sen:
An Efficient Protocol for Negotiation over Multiple Indivisible Resources.
1494-1499
Electronic Edition (link) BibTeX
- Tuomas Sandholm, Vincent Conitzer, Craig Boutilier:
Automated Design of Multistage Mechanisms.
1500-1506
Electronic Edition (link) BibTeX
- Sandip Sen, Stéphane Airiau:
Emergence of Norms through Social Learning.
1507-1512
Electronic Edition (link) BibTeX
- Carles Sierra, John K. Debenham:
Information-Based Agency.
1513-1518
Electronic Edition (link) BibTeX
- Munindar P. Singh:
Formalizing Communication Protocols for Multiagent Systems.
1519-1524
Electronic Edition (link) BibTeX
- Arpita Sinha, Debasish Ghose:
Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit Laws.
1525-1530
Electronic Edition (link) BibTeX
- Evan Sultanik, Pragnesh Jay Modi, William C. Regli:
On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem.
1531-1536
Electronic Edition (link) BibTeX
- Emmanuel Tanguy, Philip J. Willis, Joanna Bryson:
Emotions as Durative Dynamic State for Action Selection.
1537-
Electronic Edition (link) BibTeX
- Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman:
Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents.
1543-1550
Electronic Edition (link) BibTeX
- Yonghong Wang, Munindar P. Singh:
Formal Trust Model for Multiagent Systems.
1551-1556