Abstract is missing.
- IJCAI-07 Reviewers [doi]
- IJCAI Organization [doi]
- IJCAI-07 Awards and Distinguished Papers [doi]
- Past IJCAI Conferences [doi]
- Preface [doi]
- IJCAI-07 Conference Organization [doi]
- Contents [doi]
- IJCAI-07 Keynote and Invited Speakers [doi]
- Cooperating Reasoning Processes: More than Just the Sum of Their PartsAlan Bundy. 2-11 [doi]
- Learning and Multiagent Reasoning for Autonomous AgentsPeter Stone. 12-30 [doi]
- The Logic Behind Weighted CSPCarlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà. 32-37 [doi]
- QCSP Made Practical by Virtue of Restricted QuantificationMarco Benedetti, Arnaud Lallouet, Jérémie Vautard. 38-43 [doi]
- Learning Implied Global ConstraintsChristian Bessière, Remi Coletta, Thierry Petit. 44-49 [doi]
- Query-Driven Constraint AcquisitionChristian Bessière, Remi Coletta, Barry O Sullivan, Mathias Paulin. 50-55 [doi]
- A General Framework for Scheduling in a Stochastic EnvironmentJulien Bidot, Thierry Vidal, Philippe Laborie, J. Christopher Beck. 56-61 [doi]
- New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint NetworksSylvain Bouveret, Michel Lemaître. 62-67 [doi]
- Optimal Soft Arc ConsistencyMartin C. Cooper, Simon de Givry, Thomas Schiex. 68-73 [doi]
- Quantified Constraint Satisfaction Problems: From Relaxations to ExplanationsAlex Ferguson, Barry O Sullivan. 74-79 [doi]
- The Design of ESSENCE: A Constraint Language for Specifying Combinatorial ProblemsAlan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel. 80-87 [doi]
- Conditional Constraint Satisfaction: Logical Foundations and ComplexityGeorg Gottlob, Gianluigi Greco, Toni Mancini. 88-93 [doi]
- Generalized Interval Projection: A New Technique for Consistent Domain ExtensionCarlos Grandón, Gilles Chabert, Bertrand Neveu. 94-99 [doi]
- Techniques for Efficient Interactive Configuration of Distribution NetworksTarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen. 100-105 [doi]
- Distance Constraints in Constraint SatisfactionEmmanuel Hebrard, Barry O Sullivan, Toby Walsh. 106-111 [doi]
- Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPsPhilippe Jégou, Samba Ndiaye, Cyril Terrioux. 112-117 [doi]
- Symmetric Component CachingMatthew Kitching, Fahiem Bacchus. 118-124 [doi]
- A Study of Residual Supports in Arc ConsistencyChristophe Lecoutre, Fred Hemery. 125-130 [doi]
- Nogood Recording from RestartsChristophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal. 131-136 [doi]
- Arc Consistency during SearchChavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder. 137-142 [doi]
- Probabilistic Consistency Boosts MAC and SACDeepak Mehta, Marc R. C. van Dongen. 143-148 [doi]
- Constraint and Variable Ordering Heuristics for Compiling Configuration ProblemsNina Narodytska, Toby Walsh. 149-154 [doi]
- A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality ConstraintsRadu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao. 155-160 [doi]
- Grounding for Model Expansion in k-Guarded Formulas with Inductive DefinitionsMurray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta. 161-166 [doi]
- PC-DPOP: A New Partial Centralization Algorithm for Distributed OptimizationAdrian Petcu, Boi Faltings, Roger Mailler. 167-172 [doi]
- A Dynamic Approach for MPE and Weighted MAX-SATTian Sang, Paul Beame, Henry A. Kautz. 173-179 [doi]
- Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPsSathiamoorthy Subbarayan, Henrik Reif Andersen. 180-185 [doi]
- A Call Admission Control Scheme Using NeuroEvolution Algorithm in Cellular NetworksXu Yang, John Bigham. 186-191 [doi]
- Fast Algorithm for Connected Row Convex ConstraintsYuanlin Zhang. 192-197 [doi]
- Conflict Directed Backjumping for Max-CSPsRoie Zivan, Amnon Meisels. 198-204 [doi]
- The Mathematical Morpho-Logical View on Reasoning about SpaceMarco Aiello, Brammert Ottens. 205-211 [doi]
- An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation MechanismRicardo M. Araujo, Luís C. Lamb. 212-217 [doi]
- A Description Logic of ChangeAlessandro Artale, Carsten Lutz, David Toman. 218-223 [doi]
- From Generic Knowledge to Specific Reasoning for Medical Image Interpretation Using Graph based RepresentationsJamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa D. Angelini. 224-229 [doi]
- Completing Description Logic Knowledge Bases Using Formal Concept AnalysisFranz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler. 230-235 [doi]
- Non-monotonic Temporal Logics for Goal SpecificationChitta Baral, Jicheng Zhao. 236-242 [doi]
- Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive ConditioningChitta Baral, Matt Hunsaker. 243-249 [doi]
- Context-Driven PredictionsMarc G. Bellemare, Doina Precup. 250-255 [doi]
- Entailment Semantics for Rules with PrioritiesDavid Billington. 256-261 [doi]
- Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling MethodsTibor Bosse, Jan Treur. 262-267 [doi]
- Contextual Default ReasoningGerhard Brewka, Floris Roelofsen, Luciano Serafini. 268-273 [doi]
- EQL-Lite: Effective First-Order Query Processing in Description LogicsDiego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. 274-279 [doi]
- A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation FrameworksCarlos Iván Chesñevar, Guillermo Ricardo Simari. 280-285 [doi]
- A Framework for Decentralized Qualitative Model-Based DiagnosisLuca Console, Claudia Picardi, Daniele Theseider Dupré. 286-291 [doi]
- Exploiting Independence in a Decentralised and Incremental Approach of DiagnosisMarie-Odile Cordier, Alban Grastien. 292-297 [doi]
- A Logical Framework for Modularity of OntologiesBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. 298-303 [doi]
- Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base CombinationJos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits. 304-309 [doi]
- Modeling When Connections Are the ProblemJohan de Kleer. 310-317 [doi]
- Tractable Temporal ReasoningClare Dixon, Michael Fisher, Boris Konev. 318-323 [doi]
- Chronicle Recognition Improvement Using Temporal Focusing and HierarchizationChristophe Dousson, Pierre Le Maigat. 324-329 [doi]
- Complexity Results for Checking Equivalence of Stratified Logic ProgramsThomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. 330-335 [doi]
- On Reversing Actions: Algorithms and ComplexityThomas Eiter, Esra Erdem, Wolfgang Faber. 336-341 [doi]
- Fault-Model-Based Test Generation for Embedded SoftwareMichael Esser, Peter Struss. 342-347 [doi]
- Semantic Precision and Recall for Ontology Alignment EvaluationJérôme Euzenat. 348-353 [doi]
- Operator Component Matrix Model for IMP Program DiagnosisZhao-Fu Fan, Yunfei Jiang. 354-359 [doi]
- On Valued Negation Normal Form FormulasHélène Fargier, Pierre Marquis. 360-365 [doi]
- A Logic Program Characterization of Causal TheoriesPaolo Ferraris. 366-371 [doi]
- A New Perspective on Stable ModelsPaolo Ferraris, Joohyung Lee, Vladimir Lifschitz. 372-379 [doi]
- Conflict-Based Diagnosis: Adding Uncertainty to Model-based DiagnosisIldikó Flesch, Peter J. F. Lucas, Theo P. van der Weide. 380 [doi]
- Conflict-Driven Answer Set SolvingMartin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub. 386 [doi]
- Ranking Alternatives on the Basis of Generic Constraints and Examples - A Possibilistic ApproachRomain Gérard, Souhila Kaci, Henri Prade. 393-398 [doi]
- Conjunctive Query Answering for the Description Logic SHIQBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. 399-404 [doi]
- A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill LearningAshish Gupta, David C. Noelle. 405-410 [doi]
- Some Effects of a Reduced Relational Vocabulary on the Whodunit ProblemDaniel T. Halstead, Kenneth D. Forbus. 411-416 [doi]
- Counting Complexity of Propositional AbductionMiki Hermann, Reinhard Pichler. 417-422 [doi]
- Extracting Chatbot Knowledge from Online Discussion ForumsJizhou Huang, Ming Zhou, Dan Yang. 423-428 [doi]
- Improving Author Coreference by Resource-Bounded Information Gathering from the WebPallika Kanani, Andrew McCallum, Chris Pal. 429-434 [doi]
- Combining Topological and Directional Information for Spatial ReasoningSanjiang Li. 435-440 [doi]
- From Answer Set Logic Programming to Circumscription via Logic of GKFangzhen Lin, Yi Zhou. 441-446 [doi]
- Incremental Learning of Perceptual Categories for Open-Domain Sketch RecognitionAndrew M. Lovett, Morteza Dehghani, Kenneth D. Forbus. 447-452 [doi]
- Conservative Extensions in Expressive Description LogicsCarsten Lutz, Dirk Walther, Frank Wolter. 453-458 [doi]
- Towards a Computational Model of Melody Identification in Polyphonic MusicSøren Tjagvad Madsen, Gerhard Widmer. 459-464 [doi]
- Modelling Well-Structured Argumentation LinesDiego C. Martínez, Alejandro Javier García, Guillermo Ricardo Simari. 465-470 [doi]
- Abstract Interpretation of Programs for Model-Based DebuggingWolfgang Mayer, Markus Stumptner. 471-476 [doi]
- A Faithful Integration of Description Logics with Logic ProgrammingBoris Motik, Riccardo Rosati. 477-482 [doi]
- Evaluating a Decision-Theoretic Approach to Tailored Example SelectionKasia Muldner, Cristina Conati. 483-488 [doi]
- Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan ExecutionAlice M. Mulvehill, Brett Benyo, Michael T. Cox, Renu Kurien Bostwick. 489-494 [doi]
- Consistency Checking of Basic Cardinal Constraints over Connected RegionsIsabel Navarrete, Antonio Morales, Guido Sciavicco. 495-500 [doi]
- Probabilistic Go TheoriesAustin Parker, Fusun Yaman, Dana S. Nau, V. S. Subrahmanian. 501-506 [doi]
- Surprise as Shortcut for Anticipation: Clustering Mental States in ReasoningMichele Piunti, Cristiano Castelfranchi, Rino Falcone. 507-512 [doi]
- Automated Benchmark Model Generators for Model-Based Diagnostic InferenceGregory M. Provan, Jun Wang. 513-518 [doi]
- Automated Heart Wall Motion Abnormality Detection from Ultrasound Images Using Bayesian NetworksMaleeha Qazi, Glenn Fung, Sriram Krishnan, Rómer Rosales, Harald Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran. 519-525 [doi]
- Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for EveryoneJochen Renz. 526-531 [doi]
- Diagnosability Testing with Satisfiability AlgorithmsJussi Rintanen, Alban Grastien. 532-537 [doi]
- Diagnosers and Diagnosability of Succinct Transition SystemsJussi Rintanen. 538-544 [doi]
- Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded IntelligenceVirginia Savova, Leonid Peshkin. 545-550 [doi]
- OSS: A Semantic Similarity Function based on Hierarchical OntologiesVincent Schickel-Zuber, Boi Faltings. 551-556 [doi]
- Description Logics with Approximate Definitions - Precise Modeling of Vague ConceptsStefan Schlobach, Michel C. A. Klein, Linda Peelen. 557-562 [doi]
- A Size-Based Qualitative Approach to the Representation of Spatial GranularityHedda Rahel Schmidtke, Woontack Woo. 563-568 [doi]
- Qualitative Temporal Reasoning about Vague EventsSteven Schockaert, Martine De Cock, Etienne E. Kerre. 569-574 [doi]
- Scalable Diagnosability Checking of Event-Driven SystemsAnika Schumann, Yannick Pencolé. 575-580 [doi]
- Hierarchical Diagnosis of Multiple FaultsSajjad Siddiqi, Jinbo Huang. 581-586 [doi]
- Detection of Cognitive States from fMRI Data Using Machine Learning TechniquesVishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi. 587-592 [doi]
- Model-Based Optimization of Testing through Reduction of StimuliPeter Struss. 593-598 [doi]
- A General Framework for Reasoning about InconsistencyV. S. Subrahmanian, Leila Amgoud. 599-504 [doi]
- Appearance Based Recognition Methodology for Recognising Fingerspelling AlphabetsM. G. Suraj, D. S. Guru. 605-610 [doi]
- Resource Constraints on Computation and Communication in the BrainSashank Varma. 611-616 [doi]
- An Experience on Reputation Models Interoperability Based on a Functional OntologyLaurent Vercouter, Sara J. Casare, Jaime Simão Sichman, Anarosa Brandão. 617-622 [doi]
- A Labeling Approach to the Computation of Credulous Acceptance in ArgumentationBart Verheij. 623-628 [doi]
- A Convengent Solution to Tensor Subspace LearningHuan Wang, Shuicheng Yan, Thomas S. Huang, Xiaoou Tang. 629-634 [doi]
- All Common SubsequencesHui Wang. 635-640 [doi]
- Representations for Action Selection Learning from Real-Time Observation of Task ExpertsMark A. Wood, Joanna Bryson. 641-646 [doi]
- Epistemic Reasoning in Logic ProgramsYan Zhang. 647-653 [doi]
- Keep the Decision Tree and Estimate the Class Probabilities Using its Decision BoundaryIsabelle Alvarez, Stephan Bernard, Guillaume Deffuant. 654-659 [doi]
- Updates for Nonlinear DiscriminantsEdin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth. 660-665 [doi]
- A Fully Connectionist Model Generator for Covered First-Order Logic ProgramsSebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel. 666-671 [doi]
- General Game Learning Using Knowledge TransferBikramjit Banerjee, Peter Stone. 672-677 [doi]
- Learning by Analogy: A Classification Rule for Binary and Nominal DataSabri Bayoudh, Laurent Miclet, Arnaud Delhay. 678-683 [doi]
- Interactive Clustering of Text Collections According to a User-Specified CriterionRon Bekkerman, Hema Raghavan, James Allan, Koji Eguchi. 684-689 [doi]
- Heuristic Selection of Actions in Multiagent Reinforcement LearningReinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna Helena Reali Costa. 690-695 [doi]
- Unsupervised Discretization Using Kernel Density EstimationMarenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile. 696-701 [doi]
- Case-Based Multilabel RankingKlaus Brinker, Eyke Hüllermeier. 702-707 [doi]
- Locality Sensitive Discriminant AnalysisDeng Cai, Xiaofei He, Kun Zhou, Jiawei Han, Hujun Bao. 708-713 [doi]
- Exploiting Known Taxonomies in Learning Overlapping ConceptsLijuan Cai, Thomas Hofmann. 714-719 [doi]
- Learning and Transferring Action SchemasPaul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole R. Beal. 720-725 [doi]
- Online Learning and Exploiting Relational Models in Reinforcement LearningTom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe. 726-731 [doi]
- Permanents, Transport Polytopes and Positive Definite Kernels on HistogramsMarco Cuturi. 732-737 [doi]
- Utile Distinctions for Relational Reinforcement LearningWilliam Dabney, Amy McGovern. 738-743 [doi]
- Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression DataGuang Dai, Dit-Yan Yeung. 744-749 [doi]
- Case Base Mining for Adaptation Knowledge AcquisitionMathieu d Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary. 750-755 [doi]
- Learning Classifiers When the Training Data Is Not IIDMurat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao. 756-761 [doi]
- Kernel Carpentry for Online Regression Using Randomly Varying Coefficient ModelNarayanan U. Edakunni, Stefan Schaal, Sethu Vijayakumar. 762-767 [doi]
- Occam s Razor Just Got SharperSaher Esmeir, Shaul Markovitch. 768-773 [doi]
- Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural NetworksSantiago Fernández, Alex Graves, Jürgen Schmidhuber. 774-779 [doi]
- Predicting and Preventing Coordination Problems in Cooperative Q-learning SystemsNancy Fulda, Dan Ventura. 780-785 [doi]
- Feature Selection and Kernel Design via Linear ProgrammingGlenn Fung, Rómer Rosales, R. Bharat Rao. 786-791 [doi]
- Learning Restart StrategiesMatteo Gagliolo, Jürgen Schmidhuber. 792-797 [doi]
- Incremental Construction of Structured Hidden Markov ModelsUgo Galassi, Attilio Giordana, Lorenza Saitta. 798-803 [doi]
- On Mining Closed Sets in Multi-Relational DataGemma C. Garriga, Roni Khardon, Luc De Raedt. 804-809 [doi]
- Improving Embeddings by Flexible Exploitation of Side InformationAli Ghodsi, Dana F. Wilkinson, Finnegan Southey. 810-816 [doi]
- State Similarity Based Approach for Improving Performance in RLSertan Girgin, Faruk Polat, Reda Alhajj. 817-822 [doi]
- Optimistic Active-Learning Using Mutual InformationYuhong Guo, Russell Greiner. 823-829 [doi]
- Continuous Time Associative Bandit ProblemsAndrás György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári. 830-835 [doi]
- Maximum Margin Coresets for Active and Noise Tolerant LearningSariel Har-Peled, Dan Roth, Dav Zimak. 836-841 [doi]
- Real Boosting a la Carte with an Application to Boosting Oblique Decision TreeClaudia Henry, Richard Nock, Frank Nielsen. 842-847 [doi]
- Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern GenerationManfred Hild, Frank Pasemann. 848-852 [doi]
- Analogical Learning in a Turn-Based Strategy GameThomas R. Hinrichs, Kenneth D. Forbus. 853-858 [doi]
- Constructing New and Better Evaluation Measures for Machine LearningJin Huang, Charles X. Ling. 859-864 [doi]
- Improving Anytime Point-Based Value Iteration Using Principled Point SelectionsMichael R. James, Michael E. Samples, Dmitri A. Dolgov. 865-870 [doi]
- A Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly AshesM. A. Jayaram, M. C. Nataraja, C. N. Ravikumar. 871-876 [doi]
- Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active LearningAshish Kapoor, Eric Horvitz, Sumit Basu. 877-882 [doi]
- Exploiting Sensorimotor Coordination for Learning to Recognize ObjectsYohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner. 883-888 [doi]
- Avoidance of Model Re-Induction in SVM-Based Feature Selection for Text CategorizationAleksander Kolcz, Abdur Chowdhury. 889-894 [doi]
- Building Portable Options: Skill Transfer in Reinforcement LearningGeorge Konidaris, Andrew G. Barto. 895-900 [doi]
- Marginalized Multi-Instance KernelsJames T. Kwok, Pak-Ming Cheung. 901-906 [doi]
- r-grams: Relational GramsNiels Landwehr, Luc De Raedt. 907-912 [doi]
- Generalized Additive Bayesian Network ClassifiersJianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang. 913-918 [doi]
- Generalizing the Bias Term of Support Vector MachinesWenye Li, Kwong-Sak Leung, Kin-Hong Lee. 919-924 [doi]
- Robust Object Tracking with a Case-Base Updating StrategyWenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji. 925-930 [doi]
- Explanation-Based Feature ConstructionShiau Hong Lim, Li-Lun Wang, Gerald DeJong. 931 [doi]
- Protein Quaternary Fold Recognition Using Conditional Graphical ModelsYan Liu, Jaime G. Carbonell, Vanathi Gopalakrishnan, Peter Weigele. 937-945 [doi]
- Automatic Gait Optimization with Gaussian Process RegressionDaniel J. Lizotte, Tao Wang, Michael H. Bowling, Dale Schuurmans. 944-949 [doi]
- Recursive Random FieldsDaniel Lowd, Pedro Domingos. 950-955 [doi]
- Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC CurveOscar Luaces, José Ramón Quevedo, Francisco Taboada, Guillermo M. Albaiceta, Antonio Bahamonde. 956-961 [doi]
- The Ins and Outs of CritiquingDavid McSherry, David W. Aha. 962-967 [doi]
- Learning from Partial ObservationsLoizos Michael. 968-974 [doi]
- Relevance Estimation and Value Calibration of Evolutionary Algorithm ParametersVolker Nannen, A. E. Eiben. 975-980 [doi]
- Local Search for Balanced Submodular ClusteringsMukund Narasimhan, Jeff Bilmes. 981-986 [doi]
- Kernel Matrix EvaluationCanh Hao Nguyen, Tu Bao Ho. 987-992 [doi]
- Neighborhood MinMax ProjectionsFeiping Nie, Shiming Xiang, Changshui Zhang. 993-998 [doi]
- Case-based Learning from Proactive CommunicationSantiago Ontañón, Enric Plaza. 999-1004 [doi]
- Learning to Count by Think Aloud ImitationLaurent Orseau. 1005-1010 [doi]
- A Tighter Error Bound for Decision Tree Learning Using PAC LearnabilityChaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari, Bulusu Lakshmana Deekshatulu. 1011-1016 [doi]
- Kernel Conjugate Gradient for Fast Kernel MachinesNathan D. Ratliff, J. Andrew Bagnell. 1017-1022 [doi]
- Deictic Option SchemasBalaraman Ravindran, Andrew G. Barto, Vimal Mathew. 1023-1028 [doi]
- Acquiring a Robust Case Base for the Robot Soccer DomainRaquel Ros, Josep Lluís Arcos. 1029-1034 [doi]
- QuantMiner: A Genetic Algorithm for Mining Quantitative Association RulesAnsaf Salleb-Aouissi, Christel Vrain, Cyril Nortet. 1035-1040 [doi]
- Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RLManu Sharma, Michael P. Holmes, Juan Carlos Santamaría, Arya Irani, Charles Lee Isbell Jr., Ashwin Ram. 1041-1046 [doi]
- Parametric Kernels for Sequence Data AnalysisYoung-In Shin, Donald S. Fussell. 1047-1052 [doi]
- Reinforcement Learning of Local Shape in the Game of GoDavid Silver, Richard S. Sutton, Martin Müller 0003. 1053-1058 [doi]
- Semi-Supervised Gaussian Process ClassifiersVikas Sindhwani, Wei Chu, S. Sathiya Keerthi. 1059-1064 [doi]
- An Experts Algorithm for Transfer LearningErik Talvitie, Satinder Singh. 1065-1070 [doi]
- Direct Code Access in Self-Organizing Neural Networks for Reinforcement LearningAh-Hwee Tan. 1071-1076 [doi]
- Grounding Abstractions in Predictive State RepresentationsBrian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru. 1077-1082 [doi]
- Metric Properties of Structured Data Visualizations through Generative Probabilistic ModelingPeter Tino, Nikolaos Gianniotis. 1083-1088 [doi]
- Ensembles of Partially Trained SVMs with Multiplicative UpdatesIvor W. Tsang, James T. Kwok. 1089-1094 [doi]
- First Order Decision Diagrams for Relational MDPsChenggang Wang, Saket Joshi, Roni Khardon. 1095-1100 [doi]
- Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge DiscoveryHaiying Wang, Huiru Zheng, Francisco Azuaje. 1101-1106 [doi]
- Dynamics of Temporal Difference LearningAndreas Wendemuth. 1107-1112 [doi]
- Machine Learning for On-Line Hardware ReconfigurationJonathan Wildstrom, Peter Stone, Emmett Witchel, Michael Dahlin. 1113-1118 [doi]
- A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting DataBen H. Williams, Marc Toussaint, Amos J. Storkey. 1119-1124 [doi]
- A Subspace Kernel for Nonlinear Feature ExtractionMingrui Wu, Jason D. R. Farquhar. 1125-1130 [doi]
- Understanding Drawings by Compositional AnalogyPatrick W. Yaner, Ashok K. Goel. 1131-1137 [doi]
- A Scalable Kernel-Based Algorithm for Semi-Supervised Metric LearningDit-Yan Yeung, Hong Chang, Guang Dai. 1138-1143 [doi]
- Managing Domain Knowledge and Multiple Models with BoostingPeng Zang, Charles Lee Isbell Jr.. 1144-1149 [doi]
- Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine LearningYi Zhang, Xiaoming Jin. 1150-1155 [doi]
- Searching for Interacting FeaturesZheng Zhao, Huan Liu. 1156-1161 [doi]
- Learning User Clicks in Web SearchDing Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha. 1162-1167 [doi]
- An Empirical Study of the Noise Impact on Cost-Sensitive LearningXingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi. 1168-1174 [doi]
- On the Logic of Normative SystemsThomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge. 1175-1180 [doi]
- Quantified Coalition LogicThomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge. 1181-1186 [doi]
- An Axiomatic Approach to Personalized Ranking SystemsAlon Altman, Moshe Tennenholtz. 1187-1192 [doi]
- Market Based Resource Allocation with Incomplete InformationBo An, Chunyan Miao, Zhiqi Shen. 1193-1198 [doi]
- A Game-Theoretic Analysis of Strictly Competitive Multiagent ScenariosFelix Brandt, Felix A. Fischer, Paul Harrenstein, Yoav Shoham. 1199-1206 [doi]
- Spiteful Bidding in Sealed-Bid AuctionsFelix Brandt, Tuomas Sandholm, Yoav Shoham. 1207-1214 [doi]
- Multi-Dimensional Bid Improvement Algorithm for Simultaneous AuctionsTeddy Candale, Sandip Sen. 1215-1220 [doi]
- Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial AuctionsJesús Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodríguez-Aguilar. 1221-1226 [doi]
- Coalitional Bargaining with Agent Type UncertaintyGeorgios Chalkiadakis, Craig Boutilier. 1227-1232 [doi]
- Iterated Weaker-than-Weak DominanceShih-Fen Cheng, Michael P. Wellman. 1233-1238 [doi]
- Reaching Envy-Free States in Distributed Negotiation SettingsYann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet. 1239-1244 [doi]
- Privacy and Artificial Agents, or, Is Google Reading My Email?Samir Chopra, Laurence White. 1245-1250 [doi]
- Incremental Mechanism DesignVincent Conitzer, Tuomas Sandholm. 1251-1256 [doi]
- Learning Policies for Embodied Virtual Agents through DemonstrationJonathan Dinerstein, Parris K. Egbert, Dan Ventura. 1257-1262 [doi]
- Sharing the Road: Autonomous Vehicles Meet Human DriversKurt M. Dresner, Peter Stone. 1263-1268 [doi]
- Communicating Effectively in Resource-Constrained Multi-Agent SystemsPartha Sarathi Dutta, Claudia V. Goldman, Nicholas R. Jennings. 1269-1274 [doi]
- Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban EnvironmentNicolas Gaud, Franck Gechter, Stéphane Galland, Abder Koukam. 1275-1280 [doi]
- Coordination to Avoid Starvation of Bottleneck Agents in a Large Network SystemRajesh Gautam, Kazuo Miyashita. 1281-1286 [doi]
- Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction FeesEnrico H. Gerding, Alex Rogers, Rajdeep K. Dash, Nicholas R. Jennings. 1287-1293 [doi]
- Complexity of Pure Equilibria in Bayesian GamesGeorg Gottlob, Gianluigi Greco, Toni Mancini. 1294-1299 [doi]
- Characterizing Solution Concepts in Games Using Knowledge-Based ProgramsJoseph Y. Halpern, Yoram Moses. 1300-1307 [doi]
- Hybrid Elections Broaden Complexity-Theoretic Resistance to ControlEdith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. 1308-1314 [doi]
- Truthful Risk-Managed Combinatorial AuctionsAlan Holland, Barry O Sullivan. 1315-1320 [doi]
- Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow NetworksMark Hoogendoorn. 1321-1326 [doi]
- Collaborative Inductive Logic Programming for Path PlanningJian Huang, Adrian R. Pearce. 1327-1332 [doi]
- Mechanism Design with Partial RevelationNathanael Hyafil, Craig Boutilier. 1333-1340 [doi]
- Augmented Experiment: Participatory Design with Multiagent SimulationToru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi. 1341-1346 [doi]
- Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility SpacesTakayuki Ito, Hiromitsu Hattori, Mark Klein. 1347-1352 [doi]
- A Model for Collective Strategy Diffusion in Agent Social Law EvolutionYichuan Jiang, Toru Ishida. 1353-1358 [doi]
- Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized ControlSven Koenig, Craig A. Tovey, Xiaoming Zheng, Ilgaz Sungur. 1359-1365 [doi]
- Vote and Aggregation in Combinatorial Domains with Structured PreferencesJérôme Lang. 1366-1371 [doi]
- Winner Determination in Sequential Majority VotingJérôme Lang, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. 1372-1377 [doi]
- RoxyBot-06: An (SAA)2 TAC Travel AgentSeong Jae Lee, Amy R. Greenwald, Victor Naroditskiy. 1378-1383 [doi]
- Automatic Verification of Knowledge and Time with NuSMVAlessio Lomuscio, Charles Pecheur, Franco Raimondi. 1384-1389 [doi]
- An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse EventsRónán Mac Ruairi, Mark T. Keane. 1390-1395 [doi]
- A Multi-Agent Medical System for Indian Rural Infant and Child CareVijay Kumar Mago, M. Syamala Devi. 1396-1401 [doi]
- Infeasibility Certificates and the Complexity of the Core in Coalitional GamesEnrico Malizia, Luigi Palopoli, Francesco Scarcello. 1402-1407 [doi]
- Providing a Recommended Trading Agent to a Population: A Novel ApproachEfrat Manisterski, Ron Katz, Sarit Kraus. 1408-1414 [doi]
- Enhancing MAS Cooperative Search Through Coalition PartitioningEfrat Manisterski, David Sarne, Sarit Kraus. 1415-1421 [doi]
- Multipotential GamesDov Monderer. 1422-1427 [doi]
- Multi-Agent System that Attains Longevity via DeathMegan Olsen, Hava T. Siegelmann. 1428-1433 [doi]
- Argumentation Based Contract Monitoring in Uncertain DomainsNir Oren, Timothy J. Norman, Alun D. Preece. 1434 [doi]
- Dynamic Verification of Trust in Distributed Open SystemsNardine Osman, David Robertson. 1440-1445 [doi]
- Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization ProblemsJonathan P. Pearce, Milind Tambe. 1446-1451 [doi]
- MB-DPOP: A New Memory-Bounded Algorithm for Distributed OptimizationAdrian Petcu, Boi Faltings. 1452-1457 [doi]
- DiPRA: Distributed Practical Reasoning ArchitectureGiovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi. 1458-1463 [doi]
- Incompleteness and Incomparability in Preference AggregationMaria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh. 1464-1469 [doi]
- Gossip-Based Aggregation of Trust in Decentralized Reputation SystemsAriel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein. 1470-1475 [doi]
- Multi-Winner Elections: Complexity of Manipulation, Control and Winner-DeterminationAriel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar. 1476-1481 [doi]
- Opponent Modeling in ScrabbleMark Richards, Eyal Amir. 1482-1487 [doi]
- Routing MediatorsOla Rozenfeld, Moshe Tennenholtz. 1488-1493 [doi]
- An Efficient Protocol for Negotiation over Multiple Indivisible ResourcesSabyasachi Saha, Sandip Sen. 1494-1499 [doi]
- Automated Design of Multistage MechanismsTuomas Sandholm, Vincent Conitzer, Craig Boutilier. 1500-1506 [doi]
- Emergence of Norms through Social LearningSandip Sen, Stéphane Airiau. 1507-1512 [doi]
- Information-Based AgencyCarles Sierra, John K. Debenham. 1513-1518 [doi]
- Formalizing Communication Protocols for Multiagent SystemsMunindar P. Singh. 1519-1524 [doi]
- Control of Agent Swarms Using Generalized Centroidal Cyclic Pursuit LawsArpita Sinha, Debasish Ghose. 1525-1530 [doi]
- On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization ProblemEvan Sultanik, Pragnesh Jay Modi, William C. Regli. 1531-1536 [doi]
- Emotions as Durative Dynamic State for Action SelectionEmmanuel Tanguy, Philip J. Willis, Joanna Bryson. 1537 [doi]
- Generating Bayes-Nash Equilibria to Design Autonomous Trading AgentsIoannis A. Vetsikas, Nicholas R. Jennings, Bart Selman. 1543-1550 [doi]
- Formal Trust Model for Multiagent SystemsYonghong Wang, Munindar P. Singh. 1551-1556 [doi]
- Towards Runtime Behavior Adaptation for Embodied CharactersPeng Zang, Manish Mehta, Michael Mateas, Ashwin Ram. 1557-1562 [doi]
- Using Focal Point Learning to Improve Tactic Coordination in Human-Machine InteractionsInon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein. 1563-1569 [doi]
- Phonetic Models for Generating Spelling VariantsRahul Bhagat, Eduard H. Hovy. 1570-1575 [doi]
- Sequence Prediction Exploiting Similary InformationIstván Bíró, Zoltán Szamonek, Csaba Szepesvári. 1576-1581 [doi]
- Supervised Latent Semantic Indexing Using Adaptive SprinklingSutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga, Stuart N. K. Watt, David J. Harper. 1582-1587 [doi]
- A Ranking Approach to Pronoun ResolutionPascal Denis, Jason Baldridge. 1588-1593 [doi]
- Word Sense Disambiguation through Sememe LabelingXiangyu Duan, Jun Zhao, Bo Xu. 1594-1599 [doi]
- Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue SystemKarolina Eliasson. 1600-1605 [doi]
- Computing Semantic Relatedness Using Wikipedia-based Explicit Semantic AnalysisEvgeniy Gabrilovich, Shaul Markovitch. 1606-1611 [doi]
- On Natural Language Processing and Plan RecognitionChristopher W. Geib, Mark Steedman. 1612-1617 [doi]
- Using Ontologies and the Web to Learn Lexical SemanticsAarti Gupta, Tim Oates. 1618-1623 [doi]
- Unsupervised Anomaly DetectionDavid Guthrie, Louise Guthrie, Ben Allison, Yorick Wilks. 1624-1628 [doi]
- Named Entity Translation with Web Mining and TransliterationLong Jiang, Ming Zhou, Lee-Feng Chien, Cheng Niu. 1629-1634 [doi]
- Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense ClassesUpali Sathyajith Kohomban, Wee Sun Lee. 1635-1640 [doi]
- Learning from the Report-writing Behavior of IndividualsMohit Kumar, Nikesh Garera, Alexander I. Rudnicky. 1641-1646 [doi]
- SegGen: A Genetic Algorithm for Linear Text SegmentationSylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frédéric Saubion. 1647-1652 [doi]
- Cluster-Based Selection of Statistical Answering StrategiesLucian Vlad Lita, Jaime G. Carbonell. 1653-1658 [doi]
- Automatically Selecting Answer Templates to Respond to Customer EmailsRahul Malik, L. Venkata Subramaniam, Saroj Kaushik. 1659-1664 [doi]
- A Predictive Approach to Help-Desk Response GenerationYuval Marom, Ingrid Zukerman. 1665-1670 [doi]
- Efficient HPSG Parsing with Supertagging and CFG-FilteringTakuya Matsuzaki, Yusuke Miyao, Jun-ichi Tsujii. 1671-1676 [doi]
- A Flexible Unsupervised PP-Attachment Method Using Semantic InformationSrinivas Medimi, Pushpak Bhattacharyya. 1677-1682 [doi]
- Graph Connectivity Measures for Unsupervised Word Sense DisambiguationRoberto Navigli, Mirella Lapata. 1683-1688 [doi]
- Shallow Semantics for Coreference ResolutionVincent Ng. 1689-1694 [doi]
- Subtree Mining for Question Classification ProblemMinh Le Nguyen, Nguyen Thanh Tri, Akira Shimazu. 1695-1700 [doi]
- Natural Language Query Recommendation in Conversation SystemsShimei Pan, James Shaw. 1701-1706 [doi]
- A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling TasksYanxin Shi, Mengqiu Wang. 1707-1712 [doi]
- Database-Text Alignment via Structured Multilabel ClassificationBenjamin Snyder, Regina Barzilay. 1713-1718 [doi]
- Dances with WordsCarlo Strapparava, Alessandro Valitutti, Oliviero Stock. 1719-1724 [doi]
- Word Sense Disambiguation with Spreading Activation Networks Generated from ThesauriGeorge Tsatsaronis, Michalis Vazirgiannis, Ion Androutsopoulos. 1725-1730 [doi]
- Morphological Annotation of a Large Spontaneous Speech Corpus in JapaneseKiyotaka Uchimoto, Hitoshi Isahara. 1731-1737 [doi]
- Speaker-Invariant Features for Automatic Speech RecognitionSrinivasan Umesh, D. Rama Sanand, G. Praveen. 1738-1743 [doi]
- Correlation Clustering for Crosslingual Link DetectionJurgen Van Gael, Xiaojin Zhu. 1744-1749 [doi]
- A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving DialoguesHao-Chuan Wang, Rohit Kumar, Carolyn Penstein Rosé, Tsai-Yen Li, Chun-Yen Chang. 1750-1755 [doi]
- Simple Training of Dependency Parsers via Structured BoostingQin Iris Wang, Dekang Lin, Dale Schuurmans. 1756-1762 [doi]
- One Class per Named Entity: Exploiting Unlabeled Text for Named Entity RecognitionYingchuan Wong, Hwee Tou Ng. 1763-1768 [doi]
- A Privacy-Sensitive Approach to Modeling Multi-Person ConversationsDanny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry A. Kautz. 1769-1775 [doi]
- Multi-Document Summarization by Maximizing Informative Content-WordsWen-tau Yih, Joshua Goodman, Lucy Vanderwende, Hisami Suzuki. 1776-1782 [doi]
- Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of Syntactic ParsersKazuhiro Yoshida, Yoshimasa Tsuruoka, Yusuke Miyao, Jun-ichi Tsujii. 1783-1788 [doi]
- Automatic Acquisition of Context-Specific Lexical ParaphrasesShiqi Zhao, Ting Liu, Xincheng Yuan, Sheng Li, Yu Zhang. 1789-1794 [doi]
- Learning Question Paraphrases for QA from Encarta LogsShiqi Zhao, Ming Zhou, Ting Liu. 1795-1801 [doi]
- Detecting Stochastically Scheduled Activities in VideoMassimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, Octavian Udrea. 1802-1807 [doi]
- A Heuristic Search Approach to Planning with Temporally Extended PreferencesJorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith. 1808-1815 [doi]
- Waiting and Relocation Strategies in Online Stochastic Vehicle RoutingRussell Bent, Pascal Van Hentenryck. 1816-1821 [doi]
- Coalitions in Action LogicStefano Borgo. 1822-1827 [doi]
- Fast Planning with Iterative MacrosAdi Botea, Martin Müller 0003, Jonathan Schaeffer. 1828-1833 [doi]
- Planning for Gene Regulatory Network InterventionDaniel Bryce, Seungchan Kim. 1834-1839 [doi]
- Long-Distance Mutual Exclusion for Propositional PlanningYixin Chen, Zhao Xing, Weixiong Zhang. 1840-1845 [doi]
- Towards an Integration of Golog and PlanningJens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel. 1846-1851 [doi]
- When is Temporal Planning Really Temporal?William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld. 1852-1859 [doi]
- Topological Value Iteration Algorithm for Markov Decision ProcessesPeng Dai, Judy Goldsmith. 1860-1865 [doi]
- Automatic Synthesis of New Behaviors from a Library of Available BehaviorsGiuseppe De Giacomo, Sebastian Sardiña. 1866-1871 [doi]
- Planning with Goal Utility DependenciesMinh Binh Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati. 1872-1878 [doi]
- A Decision-Theoretic Model of AssistanceAlan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli. 1879-1884 [doi]
- Transferring Learned Control-Knowledge between PlannersSusana Fernández, Ricardo Aler, Daniel Borrajo. 1885-1890 [doi]
- Decidable Reasoning in a Modified Situation CalculusYilan Gu, Mikhail Soutchanski. 1891-1897 [doi]
- Reducing Accidental Complexity in Planning ProblemsPatrik Haslum. 1898-1903 [doi]
- Planning via Petri Net UnfoldingSarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White. 1904-1911 [doi]
- Detecting Changes in Unlabeled Data Streams Using MartingaleShen-Shyang Ho, Harry Wechsler. 1912-1917 [doi]
- SAT Encodings of State-Space Reachability Problems in Numeric DomainsJörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz. 1918-1923 [doi]
- Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal PreferencesChih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen. 1924-1929 [doi]
- Observation Reduction for Strong PlansWei Huang, Zhonghua Wen, Yunfei Jiang, Lihua Wu. 1930-1935 [doi]
- The Role of Macros in Tractable Planning over Causal GraphsAnders Jonsson. 1936-1941 [doi]
- Factored Planning Using Decomposition TreesElena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux. 1942-1947 [doi]
- Property Persistence in the Situation CalculusRyan F. Kelly, Adrian R. Pearce. 1948-1953 [doi]
- Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with PreferencesT. K. Satish Kumar. 1954-1959 [doi]
- Handling Alternative Activities in Resource-Constrained Project Scheduling ProblemsJürgen Kuster, Dietmar Jannach, Gerhard Friedrich. 1960-1965 [doi]
- Planning for Temporally Extended Goals as Propositional SatisfiabilityRobert Mattmüller, Jussi Rintanen. 1966 [doi]
- A Hybridized Planner for Stochastic DomainsMausam, Piergiorgio Bertoli, Daniel S. Weld. 1972-1978 [doi]
- Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer ProgramsLuc Mercier, Pascal Van Hentenryck. 1979-1984 [doi]
- Generalizing Temporal ControllabilityMichael D. Moffitt, Martha E. Pollack. 1985-1990 [doi]
- An Extension to Conformant Planning Using Logic ProgrammingA. Ricardo Morales, Phan Huy Tu, Tran Cao Son. 1991-1996 [doi]
- Average-Reward Decentralized Markov Decision ProcessesMarek Petrik, Shlomo Zilberstein. 1997-2002 [doi]
- Graph Decomposition for Efficient Multi-Robot Path PlanningMalcolm R. K. Ryan. 2003-2008 [doi]
- Memory-Bounded Dynamic Programming for DEC-POMDPsSven Seuken, Shlomo Zilberstein. 2009-2015 [doi]
- Domain Independent Approaches for Finding Diverse PlansBiplav Srivastava, Tuan A. Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina. 2016-2022 [doi]
- Planning under Risk and Knightian UncertaintyFelipe W. Trevizan, Fabio Gagliardi Cozman, Leliane Nunes de Barros. 2023-2028 [doi]
- Progression of Situation Calculus Action Theories with Incomplete InformationStavros Vassos, Hector J. Levesque. 2029-2024 [doi]
- Relational Knowledge with Predictive State RepresentationsDavid Wingate, Vishal Soni, Britton Wolfe, Satinder P. Singh. 2035-2040 [doi]
- Discriminative Learning of Beam-Search Heuristics for PlanningYuehua Xu, Alan Fern, Sung Wook Yoon. 2041-2046 [doi]
- Using Learned Policies in Heuristic-Search PlanningSung Wook Yoon, Alan Fern, Robert Givan. 2047-2053 [doi]
- Effective Control Knowledge Transfer through Learning Skill and Representation HierarchiesMehran Asadi, Manfred Huber. 2054-2059 [doi]
- Image Modeling Using Tree Structured Conditional Random FieldsPranjal Awasthi, Aakanksha Gagrani, Balaraman Ravindran. 2060-2065 [doi]
- Visually Tracking Football Games Based on TV BroadcastsMichael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von Hoyningen-Huene, Alexander Perzylo. 2066-2071 [doi]
- Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot InteractionMichael Brenner, Nick Hawes, John D. Kelleher, Jeremy Wyatt. 2072-2077 [doi]
- Fast Image Alignment Using Anytime AlgorithmsRupert Brooks, Tal Arbel, Doina Precup. 2078-2083 [doi]
- Learning to Walk through ImitationRawichote Chalodhorn, David B. Grimes, Keith Grochow, Rajesh P. N. Rao. 2084-2090 [doi]
- Dealing with Perception Errors in Multi-Robot System CoordinationAlessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito. 2091-2096 [doi]
- Team Programming in Golog under Partial ObservabilityAlessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz. 2097-2102 [doi]
- A New Approach for Stereo Matching in Autonomous Mobile Robot ApplicationsPasquale Foggia, Jean-Michel Jolion, Alessandro Limongiello, Mario Vento. 2103-2108 [doi]
- Voronoi Random Fields: Extracting Topological Structure of Indoor Environments via Place LabelingStephen Friedman, Hanna Pasula, Dieter Fox. 2109-2114 [doi]
- Peripheral-Foveal Vision for Real-time Object Recognition and Tracking in VideoStephen Gould, Joakim Arfvidsson, Adrian Kaehler, Benjamin Sapp, Marius Messner, Gary R. Bradski, Paul Baumstarck, Sukwon Chung, Andrew Y. Ng. 2115-2121 [doi]
- Structure Inference for Bayesian Multisensory Perception and TrackingTimothy M. Hospedales, Joel J. Cartwright, Sethu Vijayakumar. 2122-2128 [doi]
- Fast Incremental Square Root Information SmoothingMichael Kaess, Ananth Ranganathan, Frank Dellaert. 2129-2134 [doi]
- Optimal Multi-Sensor Based Multi Target Detection by Moving Sensors to the Maximal Clique in a Covering GraphGanesh P. Kumar, K. Madhava Krishna. 2135-2140 [doi]
- Bayesian Tensor Inference for Sketch-Based Facial Photo HallucinationWei Liu, Xiaoou Tang, Jianzhuang Liu. 2141-2146 [doi]
- Topological Mapping through Distributed, Passive SensorsDimitri Marinakis, Gregory Dudek. 2147-2152 [doi]
- A Distributed Architecture for Symbolic Data FusionFulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria. 2153-2158 [doi]
- Inferring Long-term User Properties Based on Users Location HistoryYutaka Matsuo, Naoaki Okazaki, Kiyoshi Izumi, Yoshiyuki Nakamura, Takuichi Nishimura, Kôiti Hasida, Hideyuki Nakashima. 2159-2165 [doi]
- Co-Localization from Labeled and Unlabeled Data Using Graph LaplacianJeffrey Junfeng Pan, Qiang Yang. 2166-2171 [doi]
- Feature Based Occupancy Grid Maps for Sonar Based Safe-MappingAmit Kumar Pandey, K. Madhava Krishna, Mainak Nath. 2172 [doi]
- Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening DoorsAnna Petrovskaya, Andrew Y. Ng. 2178-2184 [doi]
- Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process ProposalsChristian Plagemann, Dieter Fox, Wolfram Burgard. 2185-2190 [doi]
- Loopy SAMAnanth Ranganathan, Michael Kaess, Frank Dellaert. 2191-2196 [doi]
- Depth Estimation Using Monocular and Stereo CuesAshutosh Saxena, Jamie Schulte, Andrew Y. Ng. 2197-2203 [doi]
- Efficient Planning of Informative Paths for Multiple RobotsAmarjeet Singh 0003, Andreas Krause, Carlos Guestrin, William J. Kaiser, Maxim A. Batalin. 2204-2211 [doi]
- Color Learning on a Mobile Robot: Towards Full Autonomy under Changing IlluminationMohan Sridharan, Peter Stone. 2212-2217 [doi]
- Online Speed Adaptation Using Supervised Learning for High-Speed, Off-Road Autonomous DrivingDavid Stavens, Gabriel Hoffmann, Sebastian Thrun. 2218-2224 [doi]
- Instace-Based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range DataRudolph Triebel, Richard Schmidt, Óscar Martínez Mozos, Wolfram Burgard. 2225-2230 [doi]
- MESH-Based Active Monte Carlo Recognition (MESH-AMCR)Felix von Hundelshausen, Hans-Joachim Wünsche, Marco Block, Raul Kompass, Raúl Rojas. 2231-2236 [doi]
- Common Sense Based Joint Training of Human Activity RecognizersShiaokai Wang, William Pentney, Ana-Maria Popescu, Tanzeem Choudhury, Matthai Philipose. 2237-2242 [doi]
- Using a Mobile Robot for Cognitive MappingChee K. Wong, Jochen Schmidt, Wai K. Yeap. 2243-2249 [doi]
- AWA* - A Window Constrained Anytime Heuristic Search AlgorithmSandip Aine, P. P. Chakrabarti, Rajeev Kumar. 2250-2255 [doi]
- GUNSAT: A Greedy Local Search Algorithm for UnsatisfiabilityGilles Audemard, Laurent Simon. 2256-2261 [doi]
- Symmetry Breaking in Quantified Boolean FormulaeGilles Audemard, Saïd Jabbour, Lakhdar Sais. 2262-2267 [doi]
- Computational Aspects of Analyzing Social Network DynamicsChristopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur. 2268-2273 [doi]
- A Machine Learning Approach for Statistical Software TestingNicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud. 2274-2279 [doi]
- Web Page Clustering Using Heuristic Search in the Web GraphRon Bekkerman, Shlomo Zilberstein, James Allan. 2280-2285 [doi]
- Information-Theoretic Approaches to Branching in SearchAndrew Gilpin, Tuomas Sandholm. 2286-2292 [doi]
- From Sampling to Model CountingCarla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman. 2293-2299 [doi]
- Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search OracleÉric Grégoire, Bertrand Mazure, Cédric Piette. 2300-2305 [doi]
- Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal LogicJoseph Y. Halpern, Leandro Chaves Rêgo. 2306-2311 [doi]
- Improving LRTA*(k)Carlos Hernández, Pedro Meseguer. 2312-2317 [doi]
- The Effect of Restarts on the Efficiency of Clause LearningJinbo Huang. 2318-2323 [doi]
- Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi ProblemRichard E. Korf, Ariel Felner. 2324-2329 [doi]
- Adaptive Genetic Algorithm with Mutation and Crossover MatricesNga Lam Law, Kwok Yip Szeto. 2330-2333 [doi]
- Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT SolvingHan Lin, Kaile Su. 2334-2339 [doi]
- A Multiobjective Frontier Search AlgorithmLawrence Mandow, José-Luis Pérez-de-la-Cruz. 2340-2345 [doi]
- A Comparison of Time-Space Schemes for Graphical ModelsRobert Mateescu, Rina Dechter. 2346-2352 [doi]
- State Space Search for Risk-Averse AgentsPatrice Perny, Olivier Spanjaard, Louis-Xavier Storme. 2353-2358 [doi]
- Building Structure into Local Search for SATDuc Nghia Pham, John Thornton, Abdul Sattar. 2359-2364 [doi]
- Near-Optimal Anytime Coalition Structure GenerationTalal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Nicholas R. Jennings. 2365-2371 [doi]
- Real-Time Heuristic Search with a Priority QueueD. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson, Jieshan Lu. 2372-2377 [doi]
- Best-First Utility-Guided SearchWheeler Ruml, Minh Binh Do. 2378-2384 [doi]
- Dynamic Weighting A* Search-Based MAP Algorithm for Bayesian NetworksXiaoxun Sun, Marek J. Druzdzel, Changhe Yuan. 2385-2390 [doi]
- The Fringe-Saving A* Search Algorithm - A Feasibility StudyXiaoxun Sun, Sven Koenig. 2391-2397 [doi]
- Using Graph Algebra to Optimize Neighborhood for Isometric MappingGuihua Wen, Lijun Jiang, Nigel R. Shadbolt. 2398-2403 [doi]
- Lambda Depth-First Proof Number Search and Its Application to GoKazuki Yoshizoe, Akihiro Kishimoto, Martin Müller 0003. 2404-2409 [doi]
- Edge Partitioning in External-Memory Graph SearchRong Zhou, Eric A. Hansen. 2410-2417 [doi]
- Solving POMDPs Using Quadratically Constrained Linear ProgramsChristopher Amato, Daniel S. Bernstein, Shlomo Zilberstein. 2418-2424 [doi]
- On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic PoliciesSalem Benferhat, Safa Yahi, Habiba Drias. 2425-2430 [doi]
- Efficient and Robust Independence-Based Markov Network Structure DiscoveryFacundo Bromberg, Dimitris Margaritis. 2431-2436 [doi]
- Using Linear Programming for Bayesian Exploration in Markov Decision ProcessesPablo Samuel Castro, Doina Precup. 2437-2442 [doi]
- Compiling Bayesian Networks Using Variable EliminationMark Chavira, Adnan Darwiche. 2443-2449 [doi]
- Representing Kriegspiel States with MetapositionsPaolo Ciancarini, Gian Piero Favini. 2450-2455 [doi]
- A Conceptual Graph Approach for the Generation of Referring ExpressionsMadalina Croitoru, Kees van Deemter. 2456-2461 [doi]
- ProbLog: A Probabilistic Prolog and Its Application in Link DiscoveryLuc De Raedt, Angelika Kimmig, Hannu Toivonen. 2462-2467 [doi]
- Belief Change Based on Global MinimisationJames P. Delgrande, Jérôme Lang, Torsten Schaub. 2468-2473 [doi]
- The Value of Observation for Monitoring Dynamic SystemsEyal Even-Dar, Sham M. Kakade, Yishay Mansour. 2474-2479 [doi]
- WiFi-SLAM Using Gaussian Process Latent Variable ModelsBrian Ferris, Dieter Fox, Neil D. Lawrence. 2480-2485 [doi]
- Revisiting Output Coding for Sequential Supervised LearningGuohua Hao, Alan Fern. 2486-2491 [doi]
- Graph-Based Semi-Supervised Learning as a Generative ModelJingrui He, Jaime G. Carbonell, Yan Liu. 2492-2497 [doi]
- An Action Description Language for Iterated Belief ChangeAaron Hunter, James P. Delgrande. 2498-2503 [doi]
- Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification ProblemJorge Jambeiro Filho, Jacques Wainer. 2504-2509 [doi]
- A Factor Graph Model for Software Bug FindingTed Kremenek, Andrew Y. Ng, Dawson R. Engler. 2510-2516 [doi]
- Belief Update RevisitedJérôme Lang. 2517-2522 [doi]
- Dynamically Weighted Hidden Markov Model for Spam DeobfuscationSeunghak Lee, Iryoung Jeong, Seungjin Choi. 2523-2529 [doi]
- Training Conditional Random Fields Using Virtual Evidence BoostingLin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz. 2530-2535 [doi]
- A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued ResourcesJanusz Marecki, Sven Koenig, Milind Tambe. 2536-2541 [doi]
- Hierarchical Heuristic Forward Search in Stochastic DomainsNicolas Meuleau, Ronen I. Brafman. 2542-2549 [doi]
- Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDsShin-ichi Minato, Ken Satoh, Taisuke Sato. 2550-2555 [doi]
- Efficiently Exploiting Symmetries in Real Time Dynamic ProgrammingShravan Matthur Narayanamurthy, Balaraman Ravindran. 2556-2561 [doi]
- Hierarchical Multi-channel Hidden Semi Markov ModelsPradeep Natarajan, Ramakant Nevatia. 2562-2567 [doi]
- Iterated Belief Contraction from First PrinciplesAbhaya C. Nayak, Randy Goebel, Mehmet A. Orgun. 2568-2573 [doi]
- An Analysis of Laplacian Methods for Value Function Approximation in MDPsMarek Petrik. 2574-2579 [doi]
- Global/Local Dynamic ModelsAvi Pfeffer, Subrata Das, David Lawless, Brenda Ng. 2580-2585 [doi]
- Bayesian Inverse Reinforcement LearningDeepak Ramachandran, Eyal Amir. 2586-2591 [doi]
- AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement in Large POMDPsStéphane Ross, Brahim Chaib-draa. 2592-2598 [doi]
- Efficient Bayesian Task-Level Transfer LearningDaniel M. Roy, Leslie Pack Kaelbling. 2599-2604 [doi]
- Inside-Outside Probability Computation for Belief PropagationTaisuke Sato. 2605-2610 [doi]
- Logical Circuit FilteringDafna Shahaf, Eyal Amir. 2611-2618 [doi]
- Forward Search Value Iteration for POMDPsGuy Shani, Ronen I. Brafman, Solomon Eyal Shimony. 2619-2624 [doi]
- Dynamic Interactions between Goals and BeliefsSteven Shapiro, Gerhard Brewka. 2625-2630 [doi]
- Inferring Complex Agent Motions from Partial Trajectory ObservationsFinnegan Southey, Wesley Loh, Dana F. Wilkinson. 2631-2637 [doi]
- Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected Value Approximation and Dynamic Disjunctive BeliefsPradeep Varakantham, Rajiv T. Maheswaran, Tapana Gupta, Milind Tambe. 2638-2644 [doi]
- Distributed Data Mining: Why Do More Than Aggregating ModelsMohamed Aounallah, Guy W. Mineau. 2645-2650 [doi]
- Stable Biclustering of Gene Expression Data with Nonnegative Matrix FactorizationsLiviu Badea, Doina Tilivea. 2651-2656 [doi]
- Determining Expert Profiles (With an Application to Expert Finding)Krisztian Balog, Maarten de Rijke. 2657-2662 [doi]
- Learning Forgiving Hash Functions: Algorithms and Large Scale TestsShumeet Baluja, Michele Covell. 2663-2669 [doi]
- Open Information Extraction from the WebMichele Banko, Michael J. Cafarella, Stephen Soderland, Matthew Broadhead, Oren Etzioni. 2670-2676 [doi]
- Trust Based Recommender System for Semantic WebPunam Bedi, Harmeet Kaur, Sudeep Marwaha. 2677-2682 [doi]
- Identifying Expressions of Opinion in ContextEric Breck, Yejin Choi, Claire Cardie. 2683-2688 [doi]
- Detect and Track Latent Factors with Online Nonnegative Matrix FactorizationBin Cao, Dou Shen, Jian-Tao Sun, Xuanhui Wang, Qiang Yang, Zheng Chen. 2689-2694 [doi]
- Learning Semantic Descriptions of Web Information SourcesMark James Carman, Craig A. Knoblock. 2695-2700 [doi]
- An Improved Probabilistic Ant based Clustering for Distributed DatabasesChandrasekar Ramachandran, Thanukrishnan Srinivasan. 2701-2706 [doi]
- Directed Graph EmbeddingMo Chen, Qiong Yang, Xiaoou Tang. 2707-2712 [doi]
- Constructing Career Histories: A Case Study in Disentangling the ThreadsPaul R. Cohen. 2713-2718 [doi]
- Change of Representation for Statistical Relational LearningJesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa. 2719-2726 [doi]
- Pseudo-Aligned Multilingual CorporaFernando Diaz, Donald Metzler. 2727-2732 [doi]
- Locating Complex Named Entities in Web TextDoug Downey, Matthew Broadhead, Oren Etzioni. 2733-2739 [doi]
- Models of Searching and Browsing: Languages, Studies, and ApplicationDoug Downey, Susan T. Dumais, Eric Horvitz. 2740-2747 [doi]
- An Adaptive Context-Based Algorithm for Term Weighting: Application to Single-Word Question AnsweringMarco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli. 2748-2753 [doi]
- Semi-Supervised Learning for Multi-Component Data ClassificationAkinori Fujino, Naonori Ueda, Kazumi Saito. 2754-2759 [doi]
- Opinion Sentence Search Engine on Open-Domain BlogOsamu Furuse, Nobuaki Hiroshima, Setsuo Yamada, Ryoji Kataoka. 2760-2765 [doi]
- ItemRank: A Random-Walk Based Scoring Algorithm for Recommender EnginesMarco Gori, Augusto Pucci. 2766-2771 [doi]
- An Analysis of the Use of Tags in a Blog Recommender SystemConor Hayes, Paolo Avesani, Sriharsha Veeramachaneni. 2772-2777 [doi]
- Efficient Calculation of Personalized Document RankingsClaudia Hess, Klaus Stein. 2778-2783 [doi]
- Computation of Initial Modes for K-modes Clustering Algorithm Using Evidence AccumulationShehroz S. Khan, Shri Kant. 2784-2789 [doi]
- Logistic Regression Models for a Fast CBIR Method Based on Feature SelectionRiadh Ksantini, Djemel Ziou, Bernard Colin, François Dubeau. 2790-2795 [doi]
- Collapsed Variational Dirichlet Process Mixture ModelsKenichi Kurihara, Max Welling, Yee Whye Teh. 2796-2801 [doi]
- Learning to Identify Unexpected Instances in the Test SetXiaoli Li, Bing Liu, See-Kiong Ng. 2802-2807 [doi]
- Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB Matching Stegangoraphy in Grayscale ImagesQingzhong Liu, Andrew H. Sung. 2808-2813 [doi]
- Improving Activity Discovery with Automatic Neighborhood EstimationDavid Minnen, Thad Starner, Irfan A. Essa, Charles Lee Isbell Jr.. 2814-2819 [doi]
- Extracting Keyphrases to Represent Relations in Social Networks from WebJunichiro Mori, Mitsuru Ishizuka, Yutaka Matsuo. 2820-2827 [doi]
- Extracting and Visualizing Trust Relationships from Online Auction Feedback CommentsJohn O Donovan, Barry Smyth, Vesile Evrim, Dennis McLeod. 2826-2831 [doi]
- What You Seek Is What You Get: Extraction of Class Attributes from Query LogsMarius Pasca, Benjamin Van Durme. 2832-2837 [doi]
- Semi-Supervised Learning of Attribute-Value Pairs from Product DescriptionsKatharina Probst, Rayid Ghani, Marko Krema, Andrew E. Fano, Yan Liu. 2838-2843 [doi]
- A Fusion of Stacking with Dynamic IntegrationNiall Rooney, David W. Patterson. 2844-2849 [doi]
- Robust Human-Computer Interaction System Guiding a User by Providing FeedbackMichael S. Ryoo, Jake K. Aggarwal. 2850-2855 [doi]
- Combining Learning and Word Sense Disambiguation for Intelligent User ProfilingGiovanni Semeraro, Marco Degemmis, Pasquale Lops, Pierpaolo Basile. 2856-2861 [doi]
- Document Summarization Using Conditional Random FieldsDou Shen, Jian-Tao Sun, Hua Li, Qiang Yang, Zheng Chen. 2862-2867 [doi]
- Real-Time Detection of Task Switches of Desktop UsersJianqiang Shen, Lida Li, Thomas G. Dietterich. 2868-2873 [doi]
- Estimating the Rate of Web Page UpdatesSanasam Ranbir Singh. 2874-2879 [doi]
- On the Automatic Scoring of Handwritten EssaysSargur N. Srihari, Rohini K. Srihari, Pavithra Babu, Harish Srinivasan. 2880-2884 [doi]
- Layout Analysis of Tree-Structured Scene Frames in Comic ImagesTakamasa Tanaka, Kenji Shoji, Fubito Toyama, Juichi Miyamichi. 2885-2890 [doi]
- Face Recognition via the Overlapping Energy HistogramRonny Tjahyadi, Wanquan Liu, Senjian An, Svetha Venkatesh. 2891-2896 [doi]
- Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research CommunityPaola Velardi, Roberto Navigli, Michaël Petit. 2897-2902 [doi]
- Manifold-Ranking Based Topic-Focused Multi-Document SummarizationXiaojun Wan, Jianwu Yang, Jianguo Xiao. 2903-2908 [doi]
- Dynamic Mixture Models for Multiple Time-SeriesXing Wei, Jimeng Sun, Xuerui Wang. 2909-2914 [doi]
- Automatic Decision of Piano Fingering Based on a Hidden Markov ModelsYuichiro Yonebayashi, Hirokazu Kameoka, Shigeki Sagayama. 2915-2921 [doi]
- Exploiting Image Contents in Web SearchZhi-Hua Zhou, Hong-Bin Dai. 2922-2927 [doi]
- Semantic Smoothing of Document Models for Agglomerative ClusteringXiaohua Zhou, Xiaodan Zhang, Xiaohua Hu. 2928-2933 [doi]
- Mining Complex Patterns across Sequences with Gap RequirementsXingquan Zhu, Xindong Wu. 2934-2941 [doi]