| 2003 | A Bayesian Approach to Imitation in Reinforcement Learning. Bob Price, Craig Boutilier |
| 2003 | A Continuation Method for Nash Equilibria in Structured Games. Ben Blum, Christian R. Shelton, Daphne Koller |
| 2003 | A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint. Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek |
| 2003 | A Formalization of Equilibria for Multiagent Planning. Michael H. Bowling, Rune Møller Jensen, Manuela M. Veloso |
| 2003 | A General Model for Online Probabilistic Plan Recognition. Hung Hai Bui |
| 2003 | A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data. Sebastian Thrun, Geoffrey J. Gordon, Frank Pfenning, Mary Berna, Brennan Sellner, Brad Lisien |
| 2003 | A Learning Algorithm for Web Page Scoring Systems. Michelangelo Diligenti, Marco Gori, Marco Maggini |
| 2003 | A Learning-Based Jam Session System that Imitates a Player's Personality Model. Masatoshi Hamanaka, Masataka Goto, Hideki Asoh, Nobuyuki Otsu |
| 2003 | A Logic For Causal Reasoning. Alexander Bochman |
| 2003 | A Logic Prover for Text Processing. Dan I. Moldovan, Christine Clark |
| 2003 | A Logic-based Algorithm for Image Sequence Interpretation and Anchoring. Paulo E. Santos, Murray Shanahan |
| 2003 | A Maximal Tractable Class of Soft Constraints. David A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin |
| 2003 | A Multi-Agent Computational Linguistic Approach to Speech Recognition. Michael Walsh, Robert Kelly, Gregory M. P. O'Hare, Julie Carson-Berndsen, Tarek Abu-Amer |
| 2003 | A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line Segments. Marco Anelli, Alessandro Micarelli, Enver Sangineto |
| 2003 | A New Look at the Semantics and Optimization Methods of CP-Networks. Ronen I. Brafman, Yannis Dimopoulos |
| 2003 | A New Node Centroid Algorithm for Bandwidth Minimization. Andrew Lim, Brian Rodrigues, Fei Xiao |
| 2003 | A Novel Framework for Integrating Discrete Event System Control and Diagnosis. Gregory M. Provan |
| 2003 | A Parametric Hierarchical Planner for Experimenting Abstraction Techniques. Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu |
| 2003 | A Planning Algorithm for Predictive State Representations. Masoumeh T. Izadi, Doina Precup |
| 2003 | A Portfolio Approach to Algorithm Selection. Kevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham |
| 2003 | A Resolution Theorem for Algebraic Domains. Pascal Hitzler |
| 2003 | A Revised Algorithm for Latent Semantic Analysis. Xiangen Hu, Zhiqiang Cai, Max M. Louwerse, Andrew Olney, Phanni Penumatsa, Arthur C. Graesser |
| 2003 | A Simulated Annealing Approach to the Travelling Tournament Problem. Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados |
| 2003 | A Statistical Model for Flexible String Similarity. Atsuhiro Takasu |
| 2003 | A Structure-Based Variable Ordering Heuristic for SAT. Jinbo Huang, Adnan Darwiche |
| 2003 | A Theory of Average-Case Compilability in Knowledge Representation. Hubie Chen |
| 2003 | A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. Yongmei Liu, Hector J. Levesque |
| 2003 | A Visual-Sensor Model for Mobile Robot Localisation. Matthias Fichtner, Axel Großmann |
| 2003 | A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector Machines. Bram Vanschoenwinkel, Bernard Manderick |
| 2003 | A heuristic model for concurrent bi-lateral negotiations in incomplete information settings. Thuc Duong Nguyen, Nicholas R. Jennings |
| 2003 | A lookahead strategy for solving large planning problems. Vincent Vidal |
| 2003 | A semantic framework for multimedia document adaptation. Jérôme Euzenat, Nabil Layaïda, Victor Dias |
| 2003 | AUC: a Statistically Consistent and more Discriminating Measure than Accuracy. Charles X. Ling, Jin Huang, Harry Zhang |
| 2003 | Abductive Matchmaking using Description Logics. Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
| 2003 | Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps. Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr. |
| 2003 | Action representation and partially observable planning using epistemic logic. Andreas Herzig, Jérôme Lang, Pierre Marquis |
| 2003 | Active Learning with Ensembles for Image Classification. Huan Liu, Amit Mandvikar, Patricia G. Foschi, Kari Torkkola |
| 2003 | Active Learning with Strong and Weak Views: A Case Study on Wrapper Induction. Ion Muslea, Steven Minton, Craig A. Knoblock |
| 2003 | Active Probing Strategies for Problem Diagnosis in Distributed Systems. Mark Brodie, Irina Rish, Sheng Ma, Natalia Odintsova |
| 2003 | Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
| 2003 | Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems. Christophe Jermann, Bertrand Neveu, Gilles Trombettoni |
| 2003 | Amalgams of Constraint Satisfaction Problems. Andrei A. Bulatov, Evgeny S. Skvortsov |
| 2003 | An Epistemic Logic for Arbitration (Extended Abstract). Churn-Jung Liau |
| 2003 | An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots. Dirk Hähnel, Sebastian Thrun, Wolfram Burgard |
| 2003 | An Improved Algorithm for Optimal Bin Packing. Richard E. Korf |
| 2003 | An Integrated Multilevel Learning Approach to Multiagent Coalition Formation. Leen-Kiat Soh, Xin Li |
| 2003 | An Ontology-based Architecture for Cooperative Information Agents. Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt |
| 2003 | Answer Set Optimization. Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
| 2003 | Applying interchangeability techniques to the distributed breakout algorithm. Adrian Petcu, Boi Faltings |
| 2003 | Approximate Policy Iteration using Large-Margin Classifiers. Michail G. Lagoudakis, Ronald Parr |
| 2003 | Approximating Game-Theoretic Optimal Strategies for Full-scale Poker. Darse Billings, Neil Burch, Aaron Davidson, Robert C. Holte, Jonathan Schaeffer, Terence Schauenberg, Duane Szafron |
| 2003 | Approximating Optimal Policies for Agents with Limited Execution Resources. Dmitri A. Dolgov, Edmund H. Durfee |
| 2003 | Artificial Neural Network for Sequence Learning. Sorin Moga, Philippe Gaussier |
| 2003 | Assertion Application in Theorem Proving and Proof Planning. Quoc Bao Vo, Christoph Benzmüller, Serge Autexier |
| 2003 | Automated Generation of Graphic Sketches by Example. Michelle X. Zhou, Min Chen |
| 2003 | Automated Generation of Understandable Contingency Plans. Max Horstmann, Shlomo Zilberstein |
| 2003 | Automated Qualitative Domain Abstraction. Martin Sachenbacher, Peter Struss |
| 2003 | Automated Reasoning: Past Story and New Trends. Andrei Voronkov |
| 2003 | Automated Verification: Graphs, Logic, and Automata. Moshe Y. Vardi |
| 2003 | Automatic Abstraction in Component-Based Diagnosis Driven by System Observability. Gianluca Torta, Pietro Torasso |
| 2003 | Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition. Van-Thinh Vu, François Brémond, Monique Thonnat |
| 2003 | Automatically Personalizing User Interfaces. Daniel S. Weld, Corin R. Anderson, Pedro M. Domingos, Oren Etzioni, Krzysztof Gajos, Tessa A. Lau, Steven A. Wolfman |
| 2003 | BDIOCTL: Obligations and the Specification of Agent Behavior. Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre |
| 2003 | Backbone Guided Local Search for Maximum Satisfiability. Weixiong Zhang, Ananda Rangan, Moshe Looks |
| 2003 | Backdoors To Typical Case Complexity. Ryan Williams, Carla P. Gomes, Bart Selman |
| 2003 | Bayesian Information Extraction Network. Leonid Peshkin, Avi Pfeffer |
| 2003 | Behavior Bounding: Toward Effective Comparisons of Agents & Humans. Scott A. Wallace, John E. Laird |
| 2003 | Belief, Awareness, and Two-Dimensional Logic. Hu Liu, Shier Ju |
| 2003 | Bidding Marginal Utility in Simultaneous Auctions. Amy Greenwald |
| 2003 | Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation. Attila Kondacs |
| 2003 | Body Movement Analysis of Human-Robot Interaction. Takayuki Kanda, Hiroshi Ishiguro, Michita Imai, Tetsuo Ono |
| 2003 | Boosting Face Identification in Airports. Jimmy Jiang Liu, Kia-Fock Loe |
| 2003 | Broadcast News Navigator (BNN) Demonstration. Mark T. Maybury |
| 2003 | Case Base Adaptation Using Solution-Space Metrics. Brian Knight, Fei Ling Woon |
| 2003 | Categorizing classes of signals by means of fuzzy gradual rules. Sylvie Galichet, Didier Dubois, Henri Prade |
| 2003 | Causal Theories of Action: A Computational Core. Jérôme Lang, Fangzhen Lin, Pierre Marquis |
| 2003 | Causes and Explanations Revisited. James D. Park |
| 2003 | Challenges in Web Search Engines. Monika Rauch Henzinger, Rajeev Motwani, Craig Silverstein |
| 2003 | Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem. Iván Dotú, Alvaro del Val, Manuel Cebrián |
| 2003 | Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol. Makoto Yokoo |
| 2003 | Coherence of Laws. Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak |
| 2003 | Coherent Keyphrase Extraction via Web Mining. Peter D. Turney |
| 2003 | Collaborative Web Search. Barry Smyth, Evelyn Balfe, Peter Briggs, Maurice Coyle, Jill Freyne |
| 2003 | Combining Two Local Search Approaches to Hypergraph Partitioning. Arathi Ramani, Igor L. Markov |
| 2003 | Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment. Heath Hohwald, Ignacio Thayer, Richard E. Korf |
| 2003 | Comparing Different Cognitive Paradigms with a Virtual Laboratory. Carlos Gershenson |
| 2003 | Comparing image-based localization methods. Robert Sim, Gregory Dudek |
| 2003 | Comparison of Different Grid Abstractions for Pathfinding on Maps. Yngvi Björnsson, Markus Enzenberger, Robert Holte, Jonathan Schaeffer, Peter Yap |
| 2003 | Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. Alfredo Gabaldon |
| 2003 | Complexity Results about Nash Equilibria. Vincent Conitzer, Tuomas Sandholm |
| 2003 | Complexity of Determining Nonemptiness of the Core. Vincent Conitzer, Tuomas Sandholm |
| 2003 | Consistency and Set Intersection. Yuanlin Zhang, Roland H. C. Yap |
| 2003 | Consistent, Convergent, and Constant-Time SLAM. John J. Leonard, Paul M. Newman |
| 2003 | Constitutive Rules for Agent Communication Languages. Jeremy Pitt |
| 2003 | Constraint Satisfaction, Databases, and Logic. Phokion G. Kolaitis |
| 2003 | Constructing Diverse Classifier Ensembles using Artificial Training Examples. Prem Melville, Raymond J. Mooney |
| 2003 | Constructing utility models from observed negotiation actions. Angelo C. Restificar, Peter Haddawy |
| 2003 | Continuous nonlinear dimensionality reduction by kernel Eigenmaps. Matthew Brand |
| 2003 | Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems. Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilberstein |
| 2003 | Corpus-Based Knowledge Representation. Alon Y. Halevy, Jayant Madhavan |
| 2003 | Corpus-based, Statistical Goal Recognition. Nate Blaylock, James F. Allen |
| 2003 | Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. Markus Stumptner, Franz Wotawa |
| 2003 | Covariant Policy Search. J. Andrew Bagnell, Jeff G. Schneider |
| 2003 | Coverage-Optimized Retrieval. David McSherry |
| 2003 | DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks. Austin I. Eliazar, Ronald Parr |
| 2003 | Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks. Chris H. Q. Ding |
| 2003 | Decidability of SHIQ with Complex Role Inclusion Axioms. Ian Horrocks, Ulrike Sattler |
| 2003 | Definition and Complexity of Some Basic Metareasoning Problems. Vincent Conitzer, Tuomas Sandholm |
| 2003 | Delayed Duplicate Detection: Extended Abstract. Richard E. Korf |
| 2003 | Demonstration: Liaison Agents for Distributed Space Operations. Debra Schreckenghost, R. Peter Bonasso, David Kortenkamp, Cheryl Martin, Tod Milam, Carroll Thronesbery |
| 2003 | Deploying Information Agents on the Web. Craig A. Knoblock |
| 2003 | Describing Additive Fluents in Action Language C+. Joohyung Lee, Vladimir Lifschitz |
| 2003 | Detecting & Avoiding Interference Between Goals in Intelligent Agents. John Thangarajah, Lin Padgham, Michael Winikoff |
| 2003 | Distributed Clustering Based on Sampling Local Density Estimates. Matthias Klusch, Stefano Lodi, Gianluca Moro |
| 2003 | Distributed Patient Scheduling in Hospitals. Torsten O. Paulussen, Nicholas R. Jennings, Keith S. Decker, Armin Heinzl |
| 2003 | Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization? Giorgio Maria Di Nunzio, Alessandro Micarelli |
| 2003 | Dynamic Bayesian modeling of the cerebral activity. Vincent Labatut, Josette Pastor, Serge Ruff |
| 2003 | Dynamic Probabilistic Relational Models. |
| 2003 | Dynamic Vehicle Routing with Stochastic Requests. Russell Bent, Pascal Van Hentenryck |
| 2003 | Dynamics of Coalition Formation in Combinatorial Trading. Yiming Ye, Yuhai Tu |
| 2003 | EVOC: A Music Generating System using Genetic Algorithms. Timothy Weale, Jennifer Seitzer |
| 2003 | Efficient Representation of Adhoc Constraints. Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | Efficient Symmetry Breaking for Boolean Satisfiability. Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov |
| 2003 | Emergence of Cooperation in a Pursuit-Evasion Game. Geoff Nitschke |
| 2003 | Engineering a complex ontology with time. Jorge Santos, Steffen Staab |
| 2003 | Evaluating Classifiers by Means of Test Data with Noisy Labels. Chuck P. Lam, David G. Stork |
| 2003 | Evaluating Coverage for Large Symbolic NLG Grammars. Charles B. Callaway |
| 2003 | Evaluating Significance of Inconsistencies. Anthony Hunter |
| 2003 | Explicit vs Implicit Profiling - A Case-Study in Electronic Programme Guides. Derry O'Sullivan, Barry Smyth, David C. Wilson |
| 2003 | Exploring Unknown Environments with Mobile Robots using Coverage Maps. Cyrill Stachniss, Wolfram Burgard |
| 2003 | Extended Gloss Overlaps as a Measure of Semantic Relatedness. Satanjeev Banerjee, Ted Pedersen |
| 2003 | Extending DTGOLOG with Options. Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer |
| 2003 | Factored A Dan Klein, Christopher D. Manning |
| 2003 | Factored Planning. Eyal Amir, Barbara Engelhardt |
| 2003 | FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges. Michael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit |
| 2003 | Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback. Blai Bonet, Hector Geffner |
| 2003 | Finite Domain Constraint Solver Learning. Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali |
| 2003 | First-order probabilistic inference. David Poole |
| 2003 | Formal Verification of Diagnosability via Symbolic Model Checking. Alessandro Cimatti, Charles Pecheur, Roberto Cavada |
| 2003 | From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. Thomas Bolander |
| 2003 | GHOST: experimenting conflicts countermeasures in the pilot's activity. Frédéric Dehais, Catherine Tessier, Laurent Chaudron |
| 2003 | GRAEL: an agent-based evolutionary computing approach for natural language grammar development. Guy De Pauw |
| 2003 | GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal Constraints. Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo |
| 2003 | Gaussian Process Models of Spatial Aggregation Algorithms. Naren Ramakrishnan, Christopher Bailey-Kellogg |
| 2003 | Generalizing GraphPlan by Formulating Planning as a CSP. Adriana Lopez, Fahiem Bacchus |
| 2003 | Generalizing Plans to New Environments in Relational MDPs. Carlos Guestrin, Daphne Koller, Chris Gearhart, Neal Kanodia |
| 2003 | Getting Serious about the Development of Computational Humor. Oliviero Stock, Carlo Strapparava |
| 2003 | Great Expectations. Part I: On the Customizability of Generalized Expected Utility. Francis C. Chu, Joseph Y. Halpern |
| 2003 | Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. Francis C. Chu, Joseph Y. Halpern |
| 2003 | Grid-based SensorDCSP. Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls |
| 2003 | Hidden Uncertainty in the Logical Representation of Desires. Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert |
| 2003 | Hierarchical Hidden Markov Models for Information Extraction. Marios Skounakis, Mark Craven, Soumya Ray |
| 2003 | Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge. Massimiliano Ciaramita, Thomas Hofmann, Mark Johnson |
| 2003 | IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Georg Gottlob, Toby Walsh |
| 2003 | Identifying Synonyms among Distributionally Similar Words. Dekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou |
| 2003 | Imitation Learning of Team-play in Multiagent System based on Hidden Markov Modeling. Itsuki Noda |
| 2003 | Improving Coevolutionary Search for Optimal Multiagent Behaviors. Liviu Panait, R. Paul Wiegand, Sean Luke |
| 2003 | Improving Speech Recognition on a Mobile Robot Platform through the use of Top-Down Visual Queues. Robert J. Ross, R. P. S. O'Donoghue, Gregory M. P. O'Hare |
| 2003 | Improving Word Sense Disambiguation in Lexical Chaining. Michel Galley, Kathleen R. McKeown |
| 2003 | In Defense of PDDL Axioms. Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel |
| 2003 | In the quest of the best form of local consistency for Weighted CSP. Javier Larrosa, Thomas Schiex |
| 2003 | Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality. David McSherry |
| 2003 | Incremental Tractable Reasoning about Qualitative Temporal Constraints. Alfonso Gerevini |
| 2003 | Incremental Utility Elicitation with the Minimax Regret Decision Criterion. Tianhan Wang, Craig Boutilier |
| 2003 | Indirect and Conditional Sensing in the Event Calculus. Jeremy Forth |
| 2003 | Inducing criteria for lexicalization parts of speech using the Cyc KB. Tom O'Hara, Michael Witbrock, Bjørn Aldag, Stefano Bertolo, Nancy Salay, Jon Curtis, Kathy Panton |
| 2003 | Inductive Learning in Less Than One Sequential Data Scan. Wei Fan, Haixun Wang, Philip S. Yu, Shaw-Hwa Lo |
| 2003 | Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference. Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel |
| 2003 | Integrating Background Knowledge Into Text Classification. Sarah Zelikovitz, Haym Hirsh |
| 2003 | Integrating Multiple Internet Directories by Instance-based Learning. Ryutaro Ichise, Hideaki Takeda, Shinichi Honiden |
| 2003 | Integrity and Change in Modular Ontologies. Heiner Stuckenschmidt, Michel C. A. Klein |
| 2003 | Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging. Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg |
| 2003 | Intelligent Multimodal Stream Processing. Mark T. Maybury |
| 2003 | Intelligent Systems in Travel and Tourism. Hannes Werthner |
| 2003 | Interactive Spoken Simulation Control and Conversational Tutoring. Karl Schultz, Brady Clark, Elizabeth Owen Bratt, Stanley Peters, Heather Pon-Barry, Pucktada Treeratpituk, Zack Thomsen-Gray |
| 2003 | Inverse Circumscription. Hubie Chen |
| 2003 | Item Selection Strategies for Collaborative Filtering. Rachael Rafter, Barry Smyth |
| 2003 | Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
| 2003 | LADDER: A Language to Describe Drawing, Display, and Editing in Sketch Recognition. Tracy Hammond, Randall Davis |
| 2003 | Last-Branch and Speculative Pruning Algorithms for Max Nathan R. Sturtevant |
| 2003 | Layered Mereotopology. Maureen Donnelly |
| 2003 | Learning Algorithms for Software Agents in Uncertain and Untrusted Market Environments. Thomas T. Tran, Robin Cohen |
| 2003 | Learning Consumer Photo Categories for Semantic Retrieval. Joo-Hwee Lim, Jesse S. Jin |
| 2003 | Learning Minesweeper with Multirelational Learning. Lourdes Peña Castillo, Stefan Wrobel |
| 2003 | Learning Value Predictors for the Speculative Execution of Information Gathering Plans. Greg Barish, Craig A. Knoblock |
| 2003 | Learning to Classify Texts Using Positive and Unlabeled Data. Xiaoli Li, Bing Liu |
| 2003 | Learning to Compete in Heterogeneous Web Search Environments. Rinat Khoussainov, Nicholas Kushmerick |
| 2003 | Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. Franz Baader |
| 2003 | Local-Effect Games. Kevin Leyton-Brown, Moshe Tennenholtz |
| 2003 | Logic Programs for Consistently Querying Data Integration Systems. Loreto Bravo, Leopoldo E. Bertossi |
| 2003 | Logical Filtering. Eyal Amir, Stuart Russell |
| 2003 | Lookahead Pathologies for Single Agent Search. Vadim Bulitko, Lihong Li, Russell Greiner, Ilya Levner |
| 2003 | Making Markets and Democracy Work: A Story of Incentives and Computing. Tuomas Sandholm |
| 2003 | Making the Breakout Algorithm Complete Using Systematic Search. Carlos Eisenberg, Boi Faltings |
| 2003 | Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems. Laurence A. Kramer, Stephen F. Smith |
| 2003 | Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. Yan Zhang |
| 2003 | Minimally intrusive negotiating agents for resource sharing. Fariba Sadri, Francesca Toni, Paolo Torroni |
| 2003 | Mining Video Associations for Efficient Database Management. Xingquan Zhu, Xindong Wu |
| 2003 | Model-based Diagnosis of Hybrid Systems. Sriram Narasimhan, Gautam Biswas |
| 2003 | Modular self-organization for a long-living autonomous agent. Bruno Scherrer |
| 2003 | Monte Carlo Theory as an Explanation of Bagging and Boosting. Roberto Esposito, Lorenza Saitta |
| 2003 | Multi-prototype Support Vector Machine. Fabio Aiolli, Alessandro Sperduti |
| 2003 | Multiagent Planning with Partially Ordered Temporal Plans. Michael Brenner |
| 2003 | Multiple Agents Moving Target Search. Mark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, Jonathan Schaeffer |
| 2003 | Multiple-Goal Reinforcement Learning with Modular Sarsa(0). Nathan Sprague, Dana H. Ballard |
| 2003 | Multiset Ordering Constraints. Alan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh |
| 2003 | Network Meta-Reasoning for Information Assurance in Mobile Agent Systems. Donovan Artz, Maxim Peysakhov, William C. Regli |
| 2003 | Neural Executive Attentional Control in Robots. Jason P. Garforth, Sue L. McHale, Anthony Meehan |
| 2003 | NoA - A Normative Agent Architecture. Martin J. Kollingbaum, Timothy J. Norman |
| 2003 | Non-Binary Constraints and Optimal Dual-Graph Representations. Gianluigi Greco, Francesco Scarcello |
| 2003 | Non-Invasive Brain-Actuated Control of a Mobile Robot. José del R. Millán, Frédéric Renkens, Josep Mouriño, Wulfram Gerstner |
| 2003 | Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. Stefan Schlobach, Ronald Cornet |
| 2003 | ODISET: On-line Distributed Session Tracing using Agents. Salvador Mandujano, Arturo Galván |
| 2003 | On Identifying and Managing Relationships in Multi-Agent Systems. Ronald Ashri, Michael Luck, Mark d'Inverno |
| 2003 | On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. Fangzhen Lin, Jicheng Zhao |
| 2003 | On a generalization of triangulated graphs for domains decomposition of CSPs. Assef Chmeiss, Philippe Jégou, Lamia Keddar |
| 2003 | On the Design of Social Diagnosis Algorithms for Multi-Agent Teams. Meir Kalech, Gal A. Kaminka |
| 2003 | On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
| 2003 | On the Foundations of Expected Expected Utility. Craig Boutilier |
| 2003 | On the Revision of Probabilistic Beliefs using Uncertain Evidence. Hei Chan, Adnan Darwiche |
| 2003 | On the Undecidability of Description and Dynamic Logics with Recursion and Counting. Piero A. Bonatti |
| 2003 | On the application of least-commitment and heuristic search in temporal planning. Antonio Garrido Tejero, Eva Onaindia |
| 2003 | Optimal Time-Space Tradeoff in Probabilistic Inference. David Allen, Adnan Darwiche |
| 2003 | Ordering Default Theories. Chiaki Sakama |
| 2003 | Outlier Detection Using Default Logic. Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
| 2003 | Parallelizing State Space Plans Online. Romeo Sanchez Nigenda, Subbarao Kambhampati |
| 2003 | Parametric Distance Metric Learning with Label Information. Zhihua Zhang, James T. Kwok, Dit-Yan Yeung |
| 2003 | People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters. Dirk Schulz, Dieter Fox, Jeffrey Hightower |
| 2003 | Phase Transitions of Bounded Satisfiability Problems. Delbert D. Bailey, Phokion G. Kolaitis |
| 2003 | Phase Transitions of the Asymmetric Traveling Salesman. Weixiong Zhang |
| 2003 | Point-based value iteration: An anytime algorithm for POMDPs. Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun |
| 2003 | Practical Partition-Based Theorem Proving for Large Knowledge Bases. Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe |
| 2003 | Proactive Dialogue for Interactive Knowledge Capture. Jihie Kim, Yolanda Gil |
| 2003 | Probabilistically Survivable MASs. Sarit Kraus, V. S. Subrahmanian, Nazif Cihan Tas |
| 2003 | Prolegomenon to a Theory of Conservative Belief Revision. James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco |
| 2003 | Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving. Christian Bessiere, Anaïs Fabre, Ulrich Junker |
| 2003 | Propagation Redundancy for Permutation Channels. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | Protocol Conformance for Logic-based Agents. Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni |
| 2003 | Qualitative Decision under Uncertainty: Back to Expected Utility. Hélène Fargier, Régis Sabbadin |
| 2003 | Qualitative Map Learning Based on Co-visibility of Objects. Takehisa Yairi, Koichi Hori |
| 2003 | Qualitatively Faithful Quantitative Prediction. Dorian Suc, Daniel Vladusic, Ivan Bratko |
| 2003 | Quantifying information and contradiction in propositional logic through test actions. Sébastien Konieczny, Jérôme Lang, Pierre Marquis |
| 2003 | Quantum Computation and Image Processing: New Trends in Artificial Intelligence. Salvador Elías Venegas-Andraca, S. Bose |
| 2003 | Query rewriting and answering under constraints in data integration systems. Andrea Calì, Domenico Lembo, Riccardo Rosati |
| 2003 | Real-Time Strategy Games: A New AI Research Challenge. Michael Buro |
| 2003 | Reasoning about distances. Frank Wolter, Michael Zakharyaschev |
| 2003 | Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques. Carmel Domshlak, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 2003 | Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation Calculus. Richard B. Scherl |
| 2003 | Recognizing Plan/Goal Abandonment. Christopher W. Geib, Robert P. Goldman |
| 2003 | Recycling Computed Answers in Rewrite Systems for Abduction. Fangzhen Lin, Jia-Huai You |
| 2003 | Resource Temporal Networks: Definition and Complexity. Philippe Laborie |
| 2003 | Responsibility and Blame: A Structural-Model Approach. Hana Chockler, Joseph Y. Halpern |
| 2003 | SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes. Balaraman Ravindran, Andrew G. Barto |
| 2003 | SVMC: Single-Class Classification With Support Vector Machines. Hwanjo Yu |
| 2003 | Sampling Combinatorial Spaces Using Biased Random Walks. Jordan Erenrich, Bart Selman |
| 2003 | Scenario-based Stochastic Constraint Programming. Suresh Manandhar, Armagan Tarim, Toby Walsh |
| 2003 | Self-reconfiguring Robots: Successes and Challenges. Daniela Rus |
| 2003 | Semi-Supervised Learning with Explicit Misclassification Modeling. Massih-Reza Amini, Patrick Gallinari |
| 2003 | Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains. Kathleen Suzanne Barber, Daniel Faith, Karen Fullam, Thomas J. Graser, David C. Han, J. Jeong, Joonoo Kim, Dung N. Lam, Ryan McKay, M. Pal, Jisun Park, Marcelo M. Vanzin |
| 2003 | Simultaneous Adversarial Multi-Robot Learning. Michael H. Bowling, Manuela M. Veloso |
| 2003 | Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction. David Page, Soumya Ray |
| 2003 | Solving Constraint Optimization Problems in Anytime Contexts. Samir Loudni, Patrice Boizumault |
| 2003 | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | Spaces of Theories with Ideal Refinement Operators. Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile |
| 2003 | Sparse-Memory Graph Search. Rong Zhou, Eric A. Hansen |
| 2003 | Spectral Learning. Sepandar D. Kamvar, Dan Klein, Christopher D. Manning |
| 2003 | Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems. James Bowen, Chavalit Likitvivatanavong |
| 2003 | Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking. Yang Wang, Tele Tan, Kia-Fock Loe |
| 2003 | TAGA: Travel Market Framework in Agentcities. Youyong Zou, Timothy W. Finin, Li Ding, Harry Chen, Rong Pan |
| 2003 | Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings. Ranjit Nair, Milind Tambe, Makoto Yokoo, David V. Pynadath, Stacy Marsella |
| 2003 | Temporal Reasoning with Preferences and Uncertainty. Neil Yorke-Smith, K. Brent Venable, Francesca Rossi |
| 2003 | Terminological Cycles in a Description Logic with Existential Restrictions. Franz Baader |
| 2003 | The Concurrent, Continuous FLUX. Yves Martins |
| 2003 | The Knowledge Required to Interpret Noun Compounds. James Fan, Ken Barker, Bruce W. Porter |
| 2003 | The Power of Suggestion. Barry Smyth, Lorraine McGinty |
| 2003 | Thin Junction Tree Filters for Simultaneous Localization and Mapping. Mark A. Paskin |
| 2003 | Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing Systems. Craig Boutilier, Rajarshi Das, Jeffrey O. Kephart, William E. Walsh |
| 2003 | Towards Pervasive Robotics. Artur M. Arsénio |
| 2003 | Towards a Theoretical Framework for Ensemble Classification. Alexander K. Seewald |
| 2003 | Towards domain-independent, task-oriented, conversational adequacy. Darsana P. Josyula, Michael L. Anderson, Donald Perlis |
| 2003 | Tractable Pareto Optimization of Temporal Preferences. Lina Khatib, Paul H. Morris, Robert A. Morris, Kristen Brent Venable |
| 2003 | Tractable Symmetry Breaking for CSPs with Interchangeable Values. Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren |
| 2003 | Tucking RCC in Cyc's Ontological Bed. Pierre Grenon |
| 2003 | Understanding the Power of Clause Learning. Paul Beame, Henry A. Kautz, Ashish Sabharwal |
| 2003 | Universal Voting Protocol Tweaks to Make Manipulation Hard. Vincent Conitzer, Tuomas Sandholm |
| 2003 | Use of Off-line Dynamic Programming for Efficient Image Interpretation. Ramana Isukapalli, Russell Greiner |
| 2003 | Using Available Memory to Transform Graphplan's Search. Terry Zimmerman, Subbarao Kambhampati |
| 2003 | Variable Resolution Particle Filter. Vandi Verma, Sebastian Thrun, Reid G. Simmons |
| 2003 | Virtual World as Interface for Human-Robot Interaction. Eric Normand, Sheila Tejada |
| 2003 | Weak Conditional Logics of Normality. James P. Delgrande |
| 2003 | Web Intelligence (WI): What Makes Wisdom Web? Jiming Liu |
| 2003 | Web Page Cleaning for Web Mining through Feature Weighting. Lan Yi, Bing Liu |
| 2003 | What is Artificial Intelligence? Psychometric AI as an Answer. Selmer Bringsjord, Bettina Schimanski |
| 2003 | When Discriminative Learning of Bayesian Network Parameters Is Easy. Hannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki, Henry Tirri |
| 2003 | When Evolving Populations is Better than Coevolving Individuals: The Blind Mice Problem. Thomas Miconi |
| 2003 | Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots. Grzegorz Cielniak, Maren Bennewitz, Wolfram Burgard |
| 2003 | Writer's Aid: Using a Planner in a Collaborative Interface. Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber |