| 2005 | 2D Shape Classification and Retrieval. Graham McNeill, Sethu Vijayakumar |
| 2005 | 3-D Interpretation of Single Line Drawings. Kenji Shoji, Fubito Toyama, Juichi Miyamichi |
| 2005 | A CLP-Based, Diagnosticity-Driven System for Concept Combinations. Georgios Tagalakis, Daniela Ferrari, Mark T. Keane |
| 2005 | A Cognitive Model of Visual Analogical Problem-Solving Transfer. Jim Davies, Ashok K. Goel, Nancy J. Nersessian |
| 2005 | A Covering Problem for Hypercubes. Jörg Hoffmann, Sebastian Kupferschmid |
| 2005 | A Decision-Theoretic Approach to Task Assistance for Persons with Dementia. Jennifer Boger, Pascal Poupart, Jesse Hoey, Craig Boutilier, Geoff R. Fernie, Alex Mihailidis |
| 2005 | A Fast Normalized Maximum Likelihood Algorithm for Multinomial Data. Petri Kontkanen, Petri Myllymäki |
| 2005 | A Formal Investigation of Mapping Language for Terminological Knowledge. Luciano Serafini, Heiner Stuckenschmidt, Holger Wache |
| 2005 | A Framework for Communication Planning on Mobile Devices. Joseph Kopena, William C. Regli |
| 2005 | A Greedy Approach to Establish Singleton Arc Consistency. Christophe Lecoutre, Stéphane Cardon |
| 2005 | A Hybrid Discriminative/Generative Approach for Modeling Human Activities. Jonathan Lester, Tanzeem Choudhury, Nicky Kern, Gaetano Borriello, Blake Hannaford |
| 2005 | A Learning Scheme for Generating Expressive Music Performances of Jazz Standards. Rafael Ramírez, Amaury Hazan |
| 2005 | A Live-User Evaluation of Collaborative Web Search. Barry Smyth, Evelyn Balfe, Oisín Boydell, Keith Bradley, Peter Briggs, Maurice Coyle, Jill Freyne |
| 2005 | A Logical Model of Nash Bargaining Solution. Dongmo Zhang |
| 2005 | A Machine Learning Approach to Identification and Resolution of One-Anaphora. Hwee Tou Ng, Yu Zhou, Robert Dale, Mary Gardiner |
| 2005 | A Modal Logic for Reasoning about Possibilistic Belief Fusion. Churn-Jung Liau, Tuan-Fang Fan |
| 2005 | A Model for Generating Random Quantified Boolean Formulas. Hubie Chen, Yannet Interian |
| 2005 | A Model-Theoretic Counterpart of Loop Formulas. Joohyung Lee |
| 2005 | A Motion Closed World Asumption. Fusun Yaman, Dana S. Nau, V. S. Subrahmanian |
| 2005 | A Multi-Objective Multi-Modal Optimization Approach for Mining Stable Spatio-Temporal Patterns. Michèle Sebag, Nicolas Tarrisson, Olivier Teytaud, Julien Lefèvre, Sylvain Baillet |
| 2005 | A Multidimensional Semantic Framework for Adaptive Hypermedia Systems. Francesca Carmagnola, Federica Cena, Cristina Gena, Ilaria Torre |
| 2005 | A New Approach to Multiobjective A* Search. Lawrence Mandow, José-Luis Pérez-de-la-Cruz |
| 2005 | A Non-monotonic Logic for Specifying and Querying Preferences. Guido Boella, Leendert W. N. van der Torre |
| 2005 | A Novel Approach to Model Generation for Heterogeneous Data Classification. Rong Jin, Huan Liu |
| 2005 | A Novel Local Search Algorithm for the Traveling Salesman Problem that Exploits Backbones. Weixiong Zhang, Moshe Looks |
| 2005 | A Probabilistic Framework for Recognizing Intention in Information Graphics. Stephanie Elzer, Sandra Carberry, Ingrid Zukerman, Daniel Chester, Nancy L. Green, Seniz Demir |
| 2005 | A Probabilistic Learning Method for XML Annotation of Documents. Boris Chidlovskii, Jérôme Fuselier |
| 2005 | A Probabilistic Lexical Approach to Textual Entailment. Oren Glickman, Ido Dagan, Moshe Koppel |
| 2005 | A Probabilistic Model of Redundancy in Information Extraction. Doug Downey, Oren Etzioni, Stephen Soderland |
| 2005 | A Scalable Method for Multiagent Constraint Optimization. Adrian Petcu, Boi Faltings |
| 2005 | A Simple Model to Generate Hard Satisfiable Instances. Ke Xu, Frédéric Boussemart, Fred Hemery, Christophe Lecoutre |
| 2005 | A Simple-Transition Model for Relational Sequences. Alan Fern |
| 2005 | A Study of Selection Noise in Collaborative Web Search. Oisín Boydell, Barry Smyth, Cathal Gurrin, Alan F. Smeaton |
| 2005 | A Tableaux Decision Procedure for SHOIQ. Ian Horrocks, Ulrike Sattler |
| 2005 | A Two-Stage Method for Active Learning of Statistical Grammars. Markus Becker, Miles Osborne |
| 2005 | A Unified Framework of Propositional Knowledge Base Revision and Update Based on State Transition Models. Yasuo Kudo, Tetsuya Murai |
| 2005 | A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition. David A. Cohen, Peter Jeavons, Marc Gyssens |
| 2005 | A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
| 2005 | A Universal Measure of Intelligence for Artificial Agents. Shane Legg, Marcus Hutter |
| 2005 | A flexible and robust similarity measure based on contextual probability. Hui Wang, Werner Dubitzky |
| 2005 | A language for functional interpretation of model based simulation. Jonathan Bell, Neal Snooke, Chris J. Price |
| 2005 | A rule language for modelling and monitoring social expectations in multi-agent systems. Stephen Cranefield |
| 2005 | AND/OR Branch-and-Bound for Graphical Models. Radu Marinescu, Rina Dechter |
| 2005 | AND/OR Cutset Conditioning. Robert Mateescu, Rina Dechter |
| 2005 | Abduction with Hypotheses Confirmation. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
| 2005 | Abstraction-based Action Ordering in Planning. Maria Fox, Derek Long, Julie Porteous |
| 2005 | Accurate and Low-cost Location Estimation Using Kernels. Jeffrey Junfeng Pan, James T. Kwok, Qiang Yang, Yiqiang Chen |
| 2005 | Achieving Allocatively-Efficient and Strongly Budget-Balanced Mechanisms in the Network Flow Domain for Bounded-Rational Agents. Yoram Bachrach, Jeffrey S. Rosenschein |
| 2005 | Active Cost-Sensitive Learning. Dragos D. Margineantu |
| 2005 | Adaptive Support Vector Machine for Time-Varying Data Streams Using Martingale. Shen-Shyang Ho, Harry Wechsler |
| 2005 | Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference. Scott Sanner, David A. McAllester |
| 2005 | Algebraic Markov Decision Processes. Patrice Perny, Olivier Spanjaard, Paul Weng |
| 2005 | Allocation and Scheduling for MPSoCs via decomposition and no-good generation. Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano |
| 2005 | An Architecture for Proof Planning Systems. Louise A. Dennis |
| 2005 | An Heuristic Search based Approach for Moving Objects Tracking. Elena Sánchez-Nielsen, Mario Hernández-Tejera |
| 2005 | An Inductive Database for Mining Temporal Patterns in Event Sequences. Alexandre Vautier, Marie-Odile Cordier, Rene Quiniou |
| 2005 | An Inference Model for Semantic Entailment in Natural Language. Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons |
| 2005 | An MCMC Approach to Solving Hybrid Factored MDPs. Branislav Kveton, Milos Hauskrecht |
| 2005 | An On-Line Time Warping Algorithm for Tracking Musical Performances. Simon Dixon |
| 2005 | Analogy Generation with HowNet. Tony Veale |
| 2005 | Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
| 2005 | Applying Local Search to Disjunctive Temporal Problems. Michael D. Moffitt, Martha E. Pollack |
| 2005 | Appropriate Microplanning Choices for Low-Skilled Readers. Sandra Williams, Ehud Reiter |
| 2005 | Approximating Pseudo-Boolean Functions on Non-Uniform Domains. Robert F. Lax, Guoli Ding, Peter P. Chen, Jianhua Chen |
| 2005 | Aspects of Distributed and Modular Ontology Reasoning. Luciano Serafini, Alexander Borgida, Andrei Tamilin |
| 2005 | Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. Riccardo Rosati, Georg Gottlob |
| 2005 | Attribution of Knowledge to Artificial Agents and their Principals. Samir Chopra, Laurence White |
| 2005 | Automated Adaptive Support for Task and Information Prioritizing. Tjerk de Greef, Peter-Paul van Maanen |
| 2005 | Automated Composition of Web Services by Planning at the Knowledge Level. Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | Automatic Evaluation of Text Coherence: Models and Representations. Mirella Lapata, Regina Barzilay |
| 2005 | Automatic Hypertext Keyphrase Detection. Daniel Kelleher, Saturnino Luz |
| 2005 | Automatic Semantic Role Labeling for Chinese Verbs. Nianwen Xue, Martha Stone Palmer |
| 2005 | Automatic Text-to-Scene Conversion in the Traffic Accident Domain. Richard Johansson, Anders Berglund, Magnus Danielsson, Pierre Nugues |
| 2005 | Automatic learning of domain model for personalized hypermedia applications. Hermine Njike Fotzo, Thierry Artières, Patrick Gallinari, Julien Blanchard, Guillaume Letellier |
| 2005 | Automating the Discovery of Recommendation Knowledge. David McSherry, Christopher Stretch |
| 2005 | Automation Intelligence for the Smart Environment. G. Michael Youngblood, Edwin O. Heierman III, Lawrence B. Holder, Diane J. Cook |
| 2005 | BLOG: Probabilistic Models with Unknown Objects. Brian Milch, Bhaskara Marthi, Stuart Russell, David A. Sontag, Daniel L. Ong, Andrey Kolobov |
| 2005 | Beyond TFIDF Weighting for Text Categorization in the Vector Space Model. Pascal Soucy, Guy W. Mineau |
| 2005 | Bin-Completion Algorithms for Multicontainer Packing and Covering Problems. Alex S. Fukunaga, Richard E. Korf |
| 2005 | Bounded Policy Iteration for Decentralized POMDPs. Daniel S. Bernstein, Eric A. Hansen, Shlomo Zilberstein |
| 2005 | Bounded Search and Symbolic Inference for Constraint Optimization. Martin Sachenbacher, Brian C. Williams |
| 2005 | Breaking symmetries in all different problems. Jean-Francois Puget |
| 2005 | Building Patterned Structures with Robot Swarms. Justin Werfel, Yaneer Bar-Yam, Radhika Nagpal |
| 2005 | Building the Semantic Web Tower from RDF Straw. Peter F. Patel-Schneider |
| 2005 | CSP Search with Responsibility Sets and Kernels. Igor Razgon, Amnon Meisels |
| 2005 | Can we assign attitudes to a computer based on its beeps? Toward an effective method for making humans empathize with artificial agents. Takanori Komatsu |
| 2005 | Capturing and Reusing Case-Based Context for Image Retrieval. Dympna O'Sullivan, Eoin McLoughlin, Michela Bertolotto, David C. Wilson |
| 2005 | Cho-k-NN: A Method for Combining Interacting Pieces of Evidence in Case-Based Learning. Eyke Hüllermeier |
| 2005 | Choosing between heuristics and strategies: an enhanced model for decision-making. Shavit Talman, Rotem Toister, Sarit Kraus |
| 2005 | Clinical-Reasoning Skill Acquisition through Intelligent Group Tutoring. Siriwan Suebnukarn, Peter Haddawy |
| 2005 | Coalitional Games in Open Anonymous Environments. Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki Ohta, Atsushi Iwasaki |
| 2005 | Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains. Laura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros |
| 2005 | Cohesion, coupling and the meta-theory of actions. Andreas Herzig, Ivan Varzinczak |
| 2005 | Collective AI: context awareness via communication. Sergey Kornienko, Olga Kornienko, Paul Levi |
| 2005 | Collective Object Identification. Parag Singla, Pedro M. Domingos |
| 2005 | Combination of Local Search Strategies for Rotating Workforce Scheduling Problem. Nysret Musliu |
| 2005 | Combining Learning Constraints and Numerical Regression. Dorian Suc, Ivan Bratko |
| 2005 | Combining Memory and Landmarks with Predictive State Representations. Michael R. James, Britton Wolfe, Satinder Singh |
| 2005 | Combining Structural Descriptions and Image-based Representations for Image, Object, and Scene Recognition. Nicolas Do Huu, Williams Paquier, Raja Chatila |
| 2005 | Compact Propositional Encodings of First-Order Theories. Deepak Ramachandran, Eyal Amir |
| 2005 | Compiling Bayesian Networks with Local Structure. Mark Chavira, Adnan Darwiche |
| 2005 | Complete MCS-Based Search: Application to Resource Constrained Project Scheduling. Philippe Laborie |
| 2005 | Compound Effects of Top-down and Bottom-up Influences on Visual Attention During Action Recognition. Bassam Khadhouri, Yiannis Demiris |
| 2005 | Computational ontologies of parthood, componenthood, and containment. Thomas Bittner, Maureen Donnelly |
| 2005 | Computationally Grounded Model of BDI-Agents. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori |
| 2005 | Concurrent Hierarchical Reinforcement Learning. Bhaskara Marthi, Stuart Russell, David Latham, Carlos Guestrin |
| 2005 | Conditional Planning in the Discrete Belief Space. Jussi Rintanen |
| 2005 | Conditional Visuomotor Learning and Viability Theory. Fadila Hadj-Bouziane, Hélène Frankowska, Martine Meunier, Driss Boussaoud |
| 2005 | Continuous Time Particle Filtering. Brenda Ng, Avi Pfeffer, Richard Dearden |
| 2005 | Coping with exceptions in multiclass ILP problems using possibilistic logic. Mathieu Serrurier, Henri Prade |
| 2005 | Corrective Explanation for Interactive Constraint Satisfaction. Barry O'Sullivan, Barry O'Callaghan, Eugene C. Freuder |
| 2005 | Correspondence-guided Synchronous Parsing of Parallel Corpora. Jonas Kuhn |
| 2005 | Counting Solutions of CSPs: A Structural Approach. Gilles Pesant |
| 2005 | DPLL with a Trace: From SAT to Knowledge Compilation. Jinbo Huang, Adnan Darwiche |
| 2005 | Data Complexity of Reasoning in Very Expressive Description Logics. Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2005 | Decentralized Search in Networks Using Homophily and Degree Disparity. Özgür Simsek, David D. Jensen |
| 2005 | Decision Diagrams for the Computation of Semiring Valuations. Nic Wilson |
| 2005 | Declarative and Computational Properties of Logic Programs with Aggregates. Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
| 2005 | Dependency Calculus Reasoning in a General Point Relation Algebra. Marco Ragni, Alexander Scivos |
| 2005 | Detecting and locating faults in the control software of autonomous mobile robots. Gerald Steinbauer, Franz Wotawa |
| 2005 | Development of new techniques to improve Web search. David Sánchez, Antonio Moreno |
| 2005 | Discovering Classes of Strongly Equivalent Logic Programs. Fangzhen Lin, Yin Chen |
| 2005 | Discovering Inconsistency through Examination Dialogues. Paul E. Dunne, Sylvie Doutre, Trevor J. M. Bench-Capon |
| 2005 | Discovering Time Differential Law Equations Containing Hidden State Variables and Chaotic Dynamics. Takashi Washio, Fuminori Adachi, Hiroshi Motoda |
| 2005 | Disjunctive Temporal Planning with Uncertainty. K. Brent Venable, Neil Yorke-Smith |
| 2005 | Distributive and Collective Readings in Group Protocols. Silvia Rossi, Sanjeev Kumar, Philip R. Cohen |
| 2005 | Dual Lookups in Pattern Databases. Ariel Felner, Uzi Zahavi, Jonathan Schaeffer, Robert C. Holte |
| 2005 | Dynamically Constructed Bayes Nets for Multi-Domain Sketch Understanding. Christine Alvarado, Randall Davis |
| 2005 | Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity. Sylvain Bouveret, Jérôme Lang |
| 2005 | Efficient Distributed "Hormone" Graph Gradients. Esben Hallundbæk Østergaard |
| 2005 | Efficient Stochastic Local Search for MPE Solving. Frank Hutter, Holger H. Hoos, Thomas Stützle |
| 2005 | Efficient belief-state AND-OR search, with application to Kriegspiel. Stuart Russell, Jason Andrew Wolfe |
| 2005 | Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic. Salem Benferhat, Henri Prade |
| 2005 | Equivalence in Abductive Logic. Katsumi Inoue, Chiaki Sakama |
| 2005 | Evaluating an NLG System using Post-Editing. Somayajulu Sripada, Ehud Reiter, Lezan Hawizy |
| 2005 | Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning. Jürgen Schmidhuber, Daan Wierstra, Faustino J. Gomez |
| 2005 | Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa |
| 2005 | Explaining Search Results. Maurice Coyle, Barry Smyth |
| 2005 | Explaining preferences with argument positions. Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne |
| 2005 | Exploiting Background Knowledge for Knowledge-Intensive Subgroup Discovery. Martin Atzmüller, Frank Puppe, Hans-Peter Buscher |
| 2005 | Exploiting Informative Priors for Bayesian Classification and Regression Trees. Nicos Angelopoulos, James Cussens |
| 2005 | Extracting Certificates from Quantified Boolean Formulas. Marco Benedetti |
| 2005 | Extraction of Hierarchies Based on Inclusion of Co-occurring Words with Frequency Information. Eiko Yamamoto, Kyoko Kanzaki, Hitoshi Isahara |
| 2005 | Fast and Complete Symbolic Plan Recognition. Dorit Avrahami-Zilberbrand, Gal A. Kaminka |
| 2005 | Fast convergence to satisfying distributions. Teddy Candale, Sandip Sen |
| 2005 | Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. Helmut Horacek, Magdalena Wolska |
| 2005 | Feature Generation for Text Categorization Using World Knowledge. Evgeniy Gabrilovich, Shaul Markovitch |
| 2005 | Feature Selection Based on the Shapley Value. Shay B. Cohen, Eytan Ruppin, Gideon Dror |
| 2005 | First-Order Logical Filtering. Afsaneh Shirazi, Eyal Amir |
| 2005 | From knowledge-based programs to graded belief-based programs, part II: off-line reasoning. Noël Laverny, Jérôme Lang |
| 2005 | Game-Tree Search with Combinatorially Large Belief States. Austin Parker, Dana S. Nau, V. S. Subrahmanian |
| 2005 | Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification. Vu Ha, Tariq Samad |
| 2005 | Generalization Error of Linear Neural Networks in an Empirical Bayes Approach. Shinichi Nakajima, Sumio Watanabe |
| 2005 | Generalized Amazons is PSPACE-Complete. Timothy Furtak, Masashi Kiyomi, Takeaki Uno, Michael Buro |
| 2005 | Generative Modeling with Failure in PRISM. Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou |
| 2005 | Goal Change. Steven Shapiro, Yves Lespérance, Hector J. Levesque |
| 2005 | Going Far, Logically. Fusun Yaman, Dana S. Nau, V. S. Subrahmanian |
| 2005 | Growth of Motor Coordination in Early Robot Learning. Mark H. Lee, Qinggang Meng |
| 2005 | Heuristics for Hard ASP Programs. Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2005 | Hypertree-decomposition via Branch-decomposition. Marko Samer |
| 2005 | IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005 Leslie Pack Kaelbling, Alessandro Saffiotti |
| 2005 | Identifiability of Path-Specific Effects. Chen Avin, Ilya Shpitser, Judea Pearl |
| 2005 | Identifying Conflicts in Overconstrained Temporal Problems. Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah |
| 2005 | Image Retrieval and Disambiguation for Encyclopedic Web Search. Atsushi Fujii, Tetsuya Ishikawa |
| 2005 | Improved Knowledge Acquisition for High-Performance Heuristic Search. Joachim Peter Bekmann, Achim G. Hoffmann |
| 2005 | Improving Tree Decomposition Methods With Function Filtering. Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer |
| 2005 | Incorporating a folding rule into inductive logic programming. David A. Rosenblueth |
| 2005 | Incremental Diagnosis of Discrete-Event Systems. Alban Grastien, Marie-Odile Cordier, Christine Largouët |
| 2005 | Induction of Syntactic Collocation Patterns from Generic Syntactic Relations. Violeta Seretan |
| 2005 | Inferring Image Templates from Classification Decisions. Arnab Dhua, Florin Cutzu |
| 2005 | Inferring Useful Heuristics from the Dynamics of Iterative Relational Classifiers. Aram Galstyan, Paul R. Cohen |
| 2005 | Integrating Planning and Temporal Reasoning for Domains with Durations and Time Windows. Alfonso Gerevini, Alessandro Saetti, Ivan Serina |
| 2005 | Inter-Agent Communication: A Cost-Reduction Approach Using an Autonomous Mobile Mailbox. Armin Stranjak, Igor Cavrak, Mario Zagar |
| 2005 | InterActive Feature Selection. Hema Raghavan, Omid Madani, Rosie Jones |
| 2005 | Intimate Learning: A Novel Approach for Combining Labelled and Unlabelled Data. Zhongmin Shi, Anoop Sarkar |
| 2005 | Inverse Resolution as Belief Change. Maurice Pagnucco, David Rajaratnam |
| 2005 | It's About Time. Neil Madden, Brian Logan |
| 2005 | Iterated Belief Change: A Transition System Approach. Aaron Hunter, James P. Delgrande |
| 2005 | Iterated Belief Revision, Revised. Yi Jin, Michael Thielscher |
| 2005 | Kernels on Prolog Ground Terms. Andrea Passerini, Paolo Frasconi |
| 2005 | Knowledge Based Approach for Mechanically Verifying Security Protocols. Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle |
| 2005 | LRTA*(k). Carlos Hernández, Pedro Meseguer |
| 2005 | Language Learning in Multi-Agent Systems. Martin Allen, Claudia V. Goldman, Shlomo Zilberstein |
| 2005 | Leaf-Value Tables for Pruning Non-Zero-Sum Games. Nathan R. Sturtevant |
| 2005 | Learning Complex Event Descriptions by Abstraction. Ugo Galassi, Attilio Giordana, Lorenza Saitta, Marco Botta |
| 2005 | Learning Coordination Classifiers. Yuhong Guo, Russell Greiner, Dale Schuurmans |
| 2005 | Learning Forward Models for Robots. Anthony M. Dearden, Yiannis Demiris |
| 2005 | Learning Global Models Based on Distributed Data Abstractions. Xiaofeng Zhang, William K. Cheung |
| 2005 | Learning Partially Observable Deterministic Action Models. Eyal Amir |
| 2005 | Learning Payoff Functions in Infinite Games. Yevgeniy Vorobeychik, Michael P. Wellman, Satinder Singh |
| 2005 | Learning Strategies for Open-Domain Natural Language Question Answering. Eugene Grois, David C. Wilkins |
| 2005 | Learning Subjective Representations for Planning. Dana F. Wilkinson, Michael H. Bowling, Ali Ghodsi |
| 2005 | Learning Web Page Scores by Error Back-Propagation. Michelangelo Diligenti, Marco Gori, Marco Maggini |
| 2005 | Learning against opponents with bounded memory. Rob Powers, Yoav Shoham |
| 2005 | Learning and Inference over Constrained Output. Vasin Punyakanok, Dan Roth, Wen-tau Yih, Dav Zimak |
| 2005 | Learning discontinuities for switching between local models. Marc Toussaint, Sethu Vijayakumar |
| 2005 | Learning to Play Like the Great Pianists. Asmir Tobudic, Gerhard Widmer |
| 2005 | Learning to Understand Web Site Update Requests. William W. Cohen, Einat Minkov, Anthony Tomasic |
| 2005 | Learning with Labeled Sessions. Rong Jin, Huan Liu |
| 2005 | Lifted First-Order Probabilistic Inference. Rodrigo de Salvo Braz, Eyal Amir, Dan Roth |
| 2005 | Limited Discrepancy Beam Search. David Furcy, Sven Koenig |
| 2005 | Location-Based Activity Recognition using Relational Markov Networks. Lin Liao, Dieter Fox, Henry A. Kautz |
| 2005 | MDL-based Acquisition of Substitutability Relationships between Discourse Connectives. Ben Hutchinson |
| 2005 | Maintaining Arc Consistency using Adaptive Domain Ordering. Chavalit Likitvivatanavong, Yuanlin Zhang, James Bowen, Eugene C. Freuder |
| 2005 | Maintaining Coherent Perceptual Information Using Anchoring. Amy Loutfi, Silvia Coradeschi, Alessandro Saffiotti |
| 2005 | Maps for Verbs: The Relation Between Interaction Dynamics and Verb Use. Paul R. Cohen, Clayton T. Morrison, Erin Cannon |
| 2005 | Maximum A Posteriori Path Estimation with Input Trace Perturbation: Algorithms and Application to Credible Rating of Human Routines. Daniel H. Wilson, Matthai Philipose |
| 2005 | Meaning development versus predefined meanings in language evolution models. Paul Vogt |
| 2005 | Measuring Semantic Similarity by Latent Relational Analysis. Peter D. Turney |
| 2005 | Measuring conflict and agreement between two prioritized belief bases. Guilin Qi, Weiru Liu, David A. Bell |
| 2005 | Measuring the Cost of Robotic Communication. Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus |
| 2005 | Minimal and Absent Information in Contexts. Floris Roelofsen, Luciano Serafini |
| 2005 | Minimizing a Makespan Under Uncertainty. Jérôme Fortin, Pawel Zielinski, Didier Dubois, Hélène Fargier |
| 2005 | Mining Spatial Object Associations for Scientific Data. Hui Yang, Srinivasan Parthasarathy, Sameep Mehta |
| 2005 | Mixed-Initiative Activity Planning for Mars Rovers. John L. Bresina, Ari K. Jónsson, Paul H. Morris, Kanna Rajan |
| 2005 | Model Compilation for Real-Time Planning and Diagnosis with Feedback. Anthony Barrett |
| 2005 | Model minimization by linear PSR. Masoumeh T. Izadi, Doina Precup |
| 2005 | More on the Power of Demand Queries in Combinatorial Auctions: Learning Atomic Languages and Handling Incentives. Sébastien Lahaie, Florin Constantin, David C. Parkes |
| 2005 | Motivated Agents. Kathryn Kasmarik, William T. B. Uther, Mary Lou Maher |
| 2005 | Multi-Agent Assumption-Based Planning. Damien Pellier, Humbert Fiorino |
| 2005 | Multi-agent Coordination using Local Search. Boi Faltings, Quang Huy Nguyen |
| 2005 | Naturalness of an Utterance Based on the Automatically Retrieved Commonsense. Rafal Rzepka, Yali Ge, Kenji Araki |
| 2005 | Networked Distributed POMDPs: A Synergy of Distributed Constraint Optimization and POMDPs. Ranjit Nair, Pradeep Varakantham, Milind Tambe, Makoto Yokoo |
| 2005 | On Maximal Classes of Utility Functions for Efficient one-to-one Negotiation. Yann Chevaleyre, Ulle Endriss, Nicolas Maudet |
| 2005 | On Solution Correspondences in Answer-Set Programming. Thomas Eiter, Hans Tompits, Stefan Woltran |
| 2005 | On the Axiomatic Foundations of Ranking Systems. Alon Altman, Moshe Tennenholtz |
| 2005 | On the Evolution of Memory Size in the Minority Game (extended abstract). Ricardo Matsumura de Araújo, Luís C. Lamb |
| 2005 | On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. David Toman, Grant E. Weddell |
| 2005 | Online Support System for Mediator Education. Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami, Katsumi Nitta |
| 2005 | Open-World Planning for Story Generation. Mark O. Riedl, Robert Michael Young |
| 2005 | Optimal Nonmyopic Value of Information in Graphical Models - Efficient Algorithms and Theoretical Limits. Andreas Krause, Carlos Guestrin |
| 2005 | Optimal Refutations for Constraint Satisfaction Problems. Tudor Hulubei, Barry O'Sullivan |
| 2005 | Optimal and Suboptimal Singleton Arc Consistency Algorithms. Christian Bessiere, Romuald Debruyne |
| 2005 | Optimized Execution of Action Chains Using Learned Performance Models of Abstract Actions. Freek Stulp, Michael Beetz |
| 2005 | Ordering Heuristics for Description Logic Reasoning. Dmitry Tsarkov, Ian Horrocks |
| 2005 | Over-Subscription Planning with Numeric Goals. J. Benton, Minh Binh Do, Subbarao Kambhampati |
| 2005 | Parameterized Compilability. Hubie Chen |
| 2005 | Partial, Vague Knowledge for Similarity Measures. Timo Steffens |
| 2005 | Path-Planning for Autonomous Training on Robot Manipulators in Space. Froduald Kabanza, Roger Nkambou, Khaled Belghith |
| 2005 | Phase Transitions of Dominating Clique Problem and Their Implications to Heuristics in Satisfiability Search. Joseph C. Culberson, Yong Gao, Calin Anton |
| 2005 | Phase Transitions within Grammatical Inference. Nicolas Pernot, Antoine Cornuéjols, Michèle Sebag |
| 2005 | Planning for Weakly-Coupled Partially Observable Stochastic Games. Anyuan Guo, Victor R. Lesser |
| 2005 | Planning with Continuous Resources in Stochastic Domains. Mausam, Emmanuel Benazera, Ronen I. Brafman, Nicolas Meuleau, Eric A. Hansen |
| 2005 | Planning with Loops. Hector J. Levesque |
| 2005 | Planning with graded fluents and actions. Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
| 2005 | Possibilistic Stable Models. Pascal Nicolas, Laurent Garcia, Igor Stéphan |
| 2005 | Predicate-Oriented Isomorphism Elimination in Model Finding. Xiangxue Jia, Jian Zhang |
| 2005 | Proactive Algorithms for Scheduling with Probabilistic Durations. J. Christopher Beck, Nic Wilson |
| 2005 | Probabilistic Reasoning for Plan Robustness. Steve R. Schaffer, Bradley J. Clement, Steve A. Chien |
| 2005 | Probabilistic Reasoning with Hierarchically Structured Variables. Rita Sharma, David Poole |
| 2005 | Proof General / Eclipse: A Generic Interface for Interactive Proof. Daniel Winterstein, David Aspinall, Christoph Lüth |
| 2005 | Propagating Logical Combinations of Constraints. Fahiem Bacchus, Toby Walsh |
| 2005 | Propositional Abduction is Almost Always Hard. Gustav Nordh, Bruno Zanuttini |
| 2005 | Propositional Argumentation and Causal Reasoning. Alexander Bochman |
| 2005 | PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents. David V. Pynadath, Stacy Marsella |
| 2005 | Pushing the EL Envelope. Franz Baader, Sebastian Brandt, Carsten Lutz |
| 2005 | QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. Ian P. Gent, Peter Nightingale, Kostas Stergiou |
| 2005 | Question Classification by Structure Induction. Menno van Zaanen, Luiz Augusto Sangoi Pizzato, Diego Mollá |
| 2005 | Quota and Gmin Merging Operators. Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2005 | ROCCER: An Algorithm for Rule Learning Based on ROC Analysis. Ronaldo C. Prati, Peter A. Flach |
| 2005 | Ranking Cases with Decision Trees: a Geometric Method that Preserves Intelligibility. Isabelle Alvarez, Stephan Bernard |
| 2005 | Real-Time Path Planning for Humanoid Robot Navigation. Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita |
| 2005 | Reasoning under inconsistency: the forgotten connective. Sébastien Konieczny, Jérôme Lang, Pierre Marquis |
| 2005 | Reasoning with Inconsistent Ontologies. Zhisheng Huang, Frank van Harmelen, Annette ten Teije |
| 2005 | Reconstructing an Agent's Epistemic State from Observations. Richard Booth, Alexander Nittka |
| 2005 | Redesign Support Framework based on Hierarchical Multiple Models. Ivan López-Arévalo, A. Rodríguez-Martínez, Arantza Aldea, René Bañares-Alcántara, Laureano Jiménez |
| 2005 | Reducing Checks and Revisions in Coarse-grained MAC Algorithms. Deepak Mehta, Marc R. C. van Dongen |
| 2005 | Redundancy-free Island Parsing of Word Graphs. Bernd Kiefer |
| 2005 | Reflection Patterns for Interactive Knowledge Capture. Jihie Kim |
| 2005 | Regret-based Utility Elicitation in Constraint-based Decision Problems. Craig Boutilier, Relu Patrascu, Pascal Poupart, Dale Schuurmans |
| 2005 | Reinforcement Learning in POMDPs Without Resets. Eyal Even-Dar, Sham M. Kakade, Yishay Mansour |
| 2005 | Relational Learning for Email Task Management. Rinat Khoussainov, Nicholas Kushmerick |
| 2005 | Relational Object Maps for Mobile Robots. Benson Limketkai, Lin Liao, Dieter Fox |
| 2005 | Repairing Concavities in ROC Curves. Peter A. Flach, Shaomin Wu |
| 2005 | Representing Flexible Temporal Behaviors in the Situation Calculus. Alberto Finzi, Fiora Pirri |
| 2005 | Resolution in Max-SAT and its relation to local consistency in weighted CSPs. Javier Larrosa, Federico Heras |
| 2005 | Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration. Salem Benferhat, Sylvain Lagrue, Odile Papini |
| 2005 | Robust Ontology Acquisition from Machine-Readable Dictionaries. Eric Nichols, Francis Bond, Dan Flickinger |
| 2005 | Robust Planning with (L)RTDP. Olivier Buffet, Douglas Aberdeen |
| 2005 | SVM-based Obstacles Recognition for Road Vehicle Applications. Miguel Ángel Sotelo, Jesús Nuevo, David Fernández, Ignacio Parra, Luis Miguel Bergasa, Manuel Ocaña, Ramón Flores |
| 2005 | Scalability Study of Peer-to-Peer Consequence Finding. Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon |
| 2005 | Scale-Based Monotonicity Analysis in Qualitative Modelling with Flat Segments. Martin Brooks, Yuhong Yan, Daniel Lemire |
| 2005 | Scaling up WA* with Commitment and Diversity. David Furcy, Sven Koenig |
| 2005 | Self Adaptive Particle Filter. Alvaro Soto |
| 2005 | Semantic Argument Classification Exploiting Argument Interdependence. Zheng Ping Jiang, Jia Li, Hwee Tou Ng |
| 2005 | Semantic annotation of unstructured and ungrammatical text. Matthew Michelson, Craig A. Knoblock |
| 2005 | Semantics for a useful fragment of the situation calculus. Gerhard Lakemeyer, Hector J. Levesque |
| 2005 | Semi-Supervised Regression with Co-Training. Zhi-Hua Zhou, Ming Li |
| 2005 | Sensitivity Analysis in Markov Networks. Hei Chan, Adnan Darwiche |
| 2005 | Sentence Extraction for Legal Text Summarisation. Ben Hachey, Claire Grover |
| 2005 | Sequential Genetic Search for Ensemble Feature Selection. Alexey Tsymbal, Mykola Pechenizkiy, Padraig Cunningham |
| 2005 | Sequential-Simultaneous Information Elicitation in Multi-Agent Systems. Gal Bahar, Moshe Tennenholtz |
| 2005 | Shallow Semantics for Relation Extraction. Sanda M. Harabagiu, Cosmin Adrian Bejan, Paul Morarescu |
| 2005 | Signal-to-Score Music Transcription using Graphical Models. Emir Kapanci, Avi Pfeffer |
| 2005 | Solving Checkers. Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller, Robert Lake, Paul Lu, Steve Sutphen |
| 2005 | Solving Logic Program Conflict through Strong and Weak Forgettings. Yan Zhang, Norman Y. Foo, Kewen Wang |
| 2005 | Solving POMDPs with Continuous or Large Discrete Observation Spaces. Jesse Hoey, Pascal Poupart |
| 2005 | Sophia: A novel approach for Textual Case-based Reasoning. David W. Patterson, Niall Rooney, Vladimir Dobrynin, Mykola Galushka |
| 2005 | Stacked Sequential Learning. William W. Cohen, Vitor Rocha de Carvalho |
| 2005 | State Abstraction Discovery from Irrelevant State Variables. Nicholas K. Jong, Peter Stone |
| 2005 | Stationary Deterministic Policies for Constrained MDPs with Multiple Rewards, Costs, and Discount Factors. Dmitri A. Dolgov, Edmund H. Durfee |
| 2005 | Stepwise Nearest Neighbor Discriminant Analysis. Xipeng Qiu, Lide Wu |
| 2005 | Stereotype Extraction with Default Clustering. Julien Velcin, Jean-Gabriel Ganascia |
| 2005 | Streamlining Local Search for Spatially Balanced Latin Squares. Casey Smith, Carla P. Gomes, Cèsar Fernández |
| 2005 | Strong Equivalence for Logic Programs with Preferences. Wolfgang Faber, Kathrin Konczak |
| 2005 | Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism. Alexander Gutkin, David E. Gay |
| 2005 | Structural Symmetry Breaking. Meinolf Sellmann, Pascal Van Hentenryck |
| 2005 | Supervaluation Semantics for an Inland Water Feature Ontology. Paulo E. Santos, Brandon Bennett, Georgios Sakellariou |
| 2005 | Supervised Local Tangent Space Alignment for Classification. Hongyu Li, Wenbin Chen, I-Fan Shen |
| 2005 | Talking Robots: a Fully Autonomous Implementation of the Talking Heads. Jean-Christophe Baillie, Matthieu Nottale |
| 2005 | Temporal Context Representation and Reasoning. Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu |
| 2005 | Temporal-Difference Networks with History. Brian Tanner, Richard S. Sutton |
| 2005 | The Altricial-Precocial Spectrum for Robots. Aaron Sloman, Jackie Chappell |
| 2005 | The Backbone of the Travelling Salesperson. Philip Kilby, John K. Slaney, Toby Walsh |
| 2005 | The COMPSET Algorithm for Subset Selection. Yaniv Hamo, Shaul Markovitch |
| 2005 | The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
| 2005 | The Evolution of Artificial Social Systems. Guido Boella, Leendert W. N. van der Torre |
| 2005 | The Inferential Complexity of Bayesian and Credal Networks. Cassio Polpo de Campos, Fábio Gagliardi Cozman |
| 2005 | The Necessity of Syntactic Parsing for Semantic Role Labeling. Vasin Punyakanok, Dan Roth, Wen-tau Yih |
| 2005 | The Ontology Revision. Yu Sun, Yuefei Sui |
| 2005 | The Range and Roots Constraints: Specifying Counting and Occurrence Problems. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
| 2005 | The Role of Clustering on the Emergence of Efficient Social Conventions. Josep M. Pujol, Jordi Delgado, Ramon Sangüesa, Andreas Flache |
| 2005 | The Rules of Constraint Modelling. Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel |
| 2005 | The computational complexity of dominance and consistency in CP-nets. Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson |
| 2005 | Theory of Alignment Generators and Applications to Statistical Machine Translation. Raghavendra Udupa, Hemanta Kumar Maji |
| 2005 | Three Truth Values for the SAT and MAX-SAT Problems. Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao |
| 2005 | TimeML-Compliant Text Analysis for Temporal Reasoning. Branimir Boguraev, Rie Kubota Ando |
| 2005 | Topic and Role Discovery in Social Networks. Andrew McCallum, Andrés Corrada-Emmanuel, Xuerui Wang |
| 2005 | Towards More Intelligent Mobile Search. Karen Church, Mark T. Keane, Barry Smyth |
| 2005 | Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. Yongmei Liu, Hector J. Levesque |
| 2005 | Training without data: Knowledge Insertion into RBF Neural Networks. Kenneth McGarry, Stefan Wermter |
| 2005 | Transfer in Learning by Doing. William Krueger, Tim Oates, Tom Armstrong, Paul R. Cohen, Carole R. Beal |
| 2005 | Trust No One: Evaluating Trust-based Filtering for Recommenders. John O'Donovan, Barry Smyth |
| 2005 | Two-Sided Bandits and the Dating Market. Sanmay Das, Emir Kamenica |
| 2005 | Unsupervised Dimensionality Estimation and Manifold Learning in high-dimensional Spaces by Tensor Voting. Philippos Mordohai, Gérard G. Medioni |
| 2005 | Unsupervised Learning of Semantic Relations between Concepts of a Molecular Biology Ontology. Massimiliano Ciaramita, Aldo Gangemi, Esther Ratsch, Jasmin Saric, Isabel Rojas |
| 2005 | Updating Action Domain Descriptions. Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko |
| 2005 | Using AI and simulations to design and control space habitats. David Kortenkamp, Scott Bell |
| 2005 | Using Learned Browsing Behavior Models to Recommend Relevant Web Pages. Tingshao Zhu, Russell Greiner, Gerald Häubl, Kevin Jewell, Robert Price |
| 2005 | Using Neutral Examples for Learning Polarity. Moshe Koppel, Jonathan Schler |
| 2005 | Using Predictive Representations to Improve Generalization in Reinforcement Learning. Eddie J. Rafols, Mark B. Ring, Richard S. Sutton, Brian Tanner |
| 2005 | Using core beliefs for point-based value iteration. Masoumeh T. Izadi, Ajit V. Rajwade, Doina Precup |
| 2005 | Value Ordering for Finding All Solutions. Barbara M. Smith, Paula Sturdy |
| 2005 | Value-Centric Trust Model with Improved Familiarity Measurement. Jie Zhang, Ali A. Ghorbani |
| 2005 | View Learning for Statistical Relational Learning: With an Application to Mammography. Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik |
| 2005 | Viewing Referring Expression Generation as Search. Bernd Bohnet, Robert Dale |
| 2005 | What kind of graphical model is the brain? Geoffrey E. Hinton |
| 2005 | Why Minimax Works: An Alternative Explanation. Mitja Lustrek, Matjaz Gams, Ivan Bratko |
| 2005 | Word Sense Disambiguation with Distribution Estimation. Yee Seng Chan, Hwee Tou Ng |
| 2005 | You Are Wrong! - Automatic Detection of Interaction Errors from Brain Waves. Pierre W. Ferrez, José del R. Millán |
| 2005 | fMRI Analysis via One-class Machine Learning Techniques. David R. Hardoon, Larry M. Manevitz |