| 2001 | A Circumscriptive Formalization of the Qualification Problem. G. Neelakantan Kartha |
| 2001 | A Comparative Study of Logic Programs with Preference. Torsten Schaub, Kewen Wang |
| 2001 | A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. Andrei A. Krokhin, Peter Jeavons, Peter Jonsson |
| 2001 | A Constraint Satisfaction Approach to Parametric Differential Equations. Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 2001 | A Distributed Case-Based Query Rewriting. Maurizio Panti, Luca Spalazzi, Loris Penserini |
| 2001 | A Framework for Declarative Update Specifications in Logic Programs. Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits |
| 2001 | A Fuzzy Modal Logic for Belief Functions. Lluís Godo, Petr Hájek, Francesc Esteva |
| 2001 | A General Updating Rule for Discrete Hopfield-Type Neural Network with Delay. Shenshan Qiu, Eric C. C. Tsang, Daniel S. Yeung, Xizhao Wang |
| 2001 | A Hierarchy of Boundary-based Shape Descriptors. Richard C. Meathrel, Antony Galton |
| 2001 | A Hybrid Approach for the 01 Multidimensional Knapsack problem. Michel Vasquez, Jin-Kao Hao |
| 2001 | A Layered Brain Architecture for Synthetic Creatures. Damian A. Isla, Robert C. Burke, Marc Downie, Bruce Blumberg |
| 2001 | A Logical Account of Causal and Topological Maps. Emilio Remolina, Benjamin Kuipers |
| 2001 | A Multiagent System for Helping Urban Traffic Management. Luis A. García, Francisco Toledo |
| 2001 | A New Method For The Three Dimensional Container Packing Problem. Andrew Lim, Wang Ying |
| 2001 | A Perspective on Knowledge Compilation. Adnan Darwiche, Pierre Marquis |
| 2001 | A Simple Additive Re-weighting Strategy for Improving Margins. Fabio Aiolli, Alessandro Sperduti |
| 2001 | A Simple Feature Selection Method for Text Classification. Pascal Soucy, Guy W. Mineau |
| 2001 | A Simplifier for Propositional Formulas with Many Binary Clauses. Ronen I. Brafman |
| 2001 | A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals. Jochen Renz |
| 2001 | A Web-based Intelligent System for the Daya Bay Contingency Plan in Hong Kong. James N. K. Liu, Raymond S. T. Lee, Jane You |
| 2001 | A backbone-search heuristic for efficient solving of hard 3-SAT formulae. Olivier Dubois, Gilles Dequen |
| 2001 | A software architecture for dynamically generated adaptive Web stores. Liliana Ardissono, Anna Goy, Giovanna Petrone, Marino Segnan |
| 2001 | A-System: Problem Solving through Abduction. Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker |
| 2001 | Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. Fangzhen Lin, Jia-Huai You |
| 2001 | Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges. David C. Parkes, Jayant Kalagnanam, Marta Eso |
| 2001 | Active Learning for Class Probability Estimation and Ranking. Maytal Saar-Tsechansky, Foster J. Provost |
| 2001 | Active Learning for Structure in Bayesian Networks. Simon Tong, Daphne Koller |
| 2001 | Adaptive Control of Acyclic Progressive Processing Task Structures. Stéphane Cardon, Abdel-Illah Mouaddib, Shlomo Zilberstein, Richard Washington |
| 2001 | Adaptive Information Extraction from Text by Rule Induction and Generalisation. Fabio Ciravegna |
| 2001 | Adaptive Web Navigation for Wireless Devices. Corin R. Anderson, Pedro M. Domingos, Daniel S. Weld |
| 2001 | Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots. Jeremy Kubica, Arancha Casal, Tad Hogg |
| 2001 | Agent-Human Interactions in the Continuous Double Auction. Rajarshi Das, James E. Hanson, Jeffrey O. Kephart, Gerald Tesauro |
| 2001 | Ambiguity-Directed Sampling for Qualitative Analysis of Sparse Data from Spatially-Distributed Physical Systems. Christopher Bailey-Kellogg, Naren Ramakrishnan |
| 2001 | An Agent Architecture for Multi-Attribute Negotiation. Catholijn M. Jonker, Jan Treur |
| 2001 | An Empirical Study of the Influence of User Tailoring on Evaluative Argument Effectiveness. Giuseppe Carenini, Johanna D. Moore |
| 2001 | An Hybrid Approach to Solve the Global Localization Problem For Indoor Mobile Robots Considering Sensorms Perceptual Limitations. Leonardo Romero, Eduardo F. Morales, Luis Enrique Sucar |
| 2001 | An Improved Grid-Based Approximation Algorithm for POMDPs. Rong Zhou, Eric A. Hansen |
| 2001 | An On-line Decision-Theoretic Golog Interpreter. Mikhail Soutchanski |
| 2001 | Approximate inference for first-order probabilistic languages. Hanna Pasula, Stuart Russell |
| 2001 | Automatically Extracting and Comparing Lexicalized Grammars for Different Languages. Fei Xia, Chung-hye Han, Martha Stone Palmer, Aravind K. Joshi |
| 2001 | Backbones in Optimization and Approximation. John K. Slaney, Toby Walsh |
| 2001 | Backjumping for Quantified Boolean Logic Satisfiability. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2001 | Backtracking Through Biconnected Components of a Constraint Graph. Jean-François Baget, Yannic S. Tognetti |
| 2001 | Balance and Filtering in Structured Satisfiable Problems. Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel |
| 2001 | Behavior Planning for a Reflexive Agent. Berardina De Carolis, Catherine Pelachaud, Isabella Poggi, Fiorella de Rosis |
| 2001 | Bidding Languages for Combinatorial Auctions. Craig Boutilier, Holger H. Hoos |
| 2001 | Bridging the Lesson Distribution Gap. David W. Aha, Rosina Weber, Héctor Muñoz-Avila, Len Breslow, Kalyan Moy Gupta |
| 2001 | Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids. Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara |
| 2001 | CABOB: A Fast Optimal Algorithm for Combinatorial Auctions. Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine |
| 2001 | CAST: Collaborative Agents for Simulating Teamwork. John Yen, Jianwen Yin, Thomas R. Ioerger, Michael S. Miller, Dianxiang Xu, Richard A. Volz |
| 2001 | Causal interaction: from a high-level representation to an operational event-based representation. Irène Grosclaude, Marie-Odile Cordier, Rene Quiniou |
| 2001 | Causality and Minimal Change Demystified. Maurice Pagnucco, Pavlos Peppas |
| 2001 | Causes and Explanations: A Structural-Model Approach - Part II: Explanations. Joseph Y. Halpern, Judea Pearl |
| 2001 | Combining Probabilities, Failures and Safety in Robot Control. Alberto Finzi, Fiora Pirri |
| 2001 | Complexity Results for Structure-Based Causality. Thomas Eiter, Thomas Lukasiewicz |
| 2001 | Complexity of Nested Circumscription and Abnormality Theories. Marco Cadoli, Thomas Eiter, Georg Gottlob |
| 2001 | Complexity of Probabilistic Planning under Average Rewards. Jussi Rintanen |
| 2001 | Computational Complexity of Planning with Temporal Goals. Chitta Baral, Vladik Kreinovich, Raul Trejo |
| 2001 | Computing Least Common Subsumers in ALEN. Ralf Küsters, Ralf Molitor |
| 2001 | Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2001 | Conditional progressive planning under uncertainty. Lars Karlsson |
| 2001 | Constraints as Data: A New Perspective on Inferring Probabilities. Manfred Jaeger |
| 2001 | Context-specific Sign-propagation in Qualitative Probabilistic Networks. Silja Renooij, Simon Parsons, Linda C. van der Gaag |
| 2001 | Cooperative Search and Nogood Recording. Cyril Terrioux |
| 2001 | Dealing with Dependencies between Content Planning and Surface Realisation in a Pipeline Generation Architecture. Kalina Bontcheva, Yorick Wilks |
| 2001 | Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity. Fabio Massacci |
| 2001 | Deriving a multi-domain information extraction system from a rough ontology. Thierry Poibeau |
| 2001 | Dialog-driven Adaptation of Explanations of Proofs. Armin Fiedler |
| 2001 | Discriminating Animate from Inanimate Visual Stimuli. Brian Scassellati |
| 2001 | Discrimination of Semi-Quantitative Models by Experiment Selection: Method and Application in Population Biology. Ivayla Vatcheva, Olivier Bernard, Hidde de Jong, Jean-Luc Gouzé, Nicolaas J. I. Mars |
| 2001 | Distributed Monitoring of Hybrid Systems: A model-directed approach. Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi |
| 2001 | Dynamic Control Of Plans With Temporal Uncertainty. Paul H. Morris, Nicola Muscettola, Thierry Vidal |
| 2001 | EPDL: A Logic for Causal Reasoning. Dongmo Zhang, Norman Y. Foo |
| 2001 | Efficient Consequence Finding. Laurent Simon, Alvaro del Val |
| 2001 | Efficient Interpretation Policies. Ramana Isukapalli, Russell Greiner |
| 2001 | Executing Reactive, Model-based Programs through Graph-based Temporal Planning. Phil Kim, Brian C. Williams, Mark Abramson |
| 2001 | Experimenting with Heuristics for Answer Set Programming. Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | ExpertClerk: Navigating Shoppers Buying Process with the Combination of Asking and Proposing. Hideo Shimazu |
| 2001 | Exploiting Multiple Secondary Reinforcers in Policy Gradient Reinforcement Learning. Gregory Z. Grudic, Lyle H. Ungar |
| 2001 | FCA-MERGE: Bottom-Up Merging of Ontologies. Gerd Stumme, Alexander Maedche |
| 2001 | Fair Imposition. Yoav Shoham, Moshe Tennenholtz |
| 2001 | Fast Concurrent Reinforcement Learners. Bikramjit Banerjee, Sandip Sen, Jing Peng |
| 2001 | Faster Association Rules for Multiple Relations. Siegfried Nijssen, Joost N. Kok |
| 2001 | Formalizing Artistic Techniques and Scientific Visualization for Painted Renditions of Complex Information Spaces. Christopher G. Healey |
| 2001 | From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. David A. Randell, Mark Witkowski, Murray Shanahan |
| 2001 | From Q(lambda) to Average Q-learning: Efficient Implementation of an Asymptotic Approximation. Frédérick Garçia, Florent Serre |
| 2001 | Fuzzy Conceptual Graphs for Matching Images of Natural Scenes. Philippe Mulhem, Wee Kheng Leow, Yoong Keok Lee |
| 2001 | Generating Tailored Examples to Support Learning via Self-explanation. Cristina Conati, Giuseppe Carenini |
| 2001 | Genetic Algorithm based Selective Neural Network Ensemble. Zhi-Hua Zhou, Jianxin Wu, Yuan Jiang, Shifu Chen |
| 2001 | Graph Theoretical Characterization and Computation of Answer Sets. Thomas Linke |
| 2001 | Grounded Models as a Basis for Intuitive Reasoning. Josefina Sierra-Santibáñez |
| 2001 | Heterogeneity in the Coevolved Behaviors of Mobile Robots: The Emergence of Specialists. Mitchell A. Potter, Lisa Meeden, Alan C. Schultz |
| 2001 | Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri |
| 2001 | Heuristic Search in Infinite State Spaces Guided by Lyapunov Analysis. Theodore J. Perkins, Andrew G. Barto |
| 2001 | Hierarchical Diagnosis Guided by Observations. Luca Chittaro, Roberto Ranon |
| 2001 | High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. Volker Haarslev, Ralf Möller |
| 2001 | Hybrid STAN: Identifying and Managing Combinatorial Optimisation Sub- problems in Planning. Maria Fox, Derek Long |
| 2001 | IBAL: A Probabilistic Rational Programming Language. Avi Pfeffer |
| 2001 | Identification Constraints and Functional Dependencies in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
| 2001 | Identifying the Scope of Modeling for Time-Critical Multiagent Decision- Making. Sanguk Noh, Piotr J. Gmytrasiewicz |
| 2001 | Improved bounds on the complexity of kB-consistency. Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou |
| 2001 | Incomplete Tree Search using Adaptive Probing. Wheeler Ruml |
| 2001 | Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge. Jim Blythe |
| 2001 | Interval-based Temporal Reasoning with General TBoxes. Carsten Lutz |
| 2001 | Iterative Widening. Tristan Cazenave |
| 2001 | Keyword Spices: A New Method for Building Domain-Specific Web Search Engines. Satoshi Oyama, Takashi Kokubo, Toru Ishida, Teruhiro Yamada, Yasuhiko Kitamura |
| 2001 | Knowledge Analysis on Process Models. Jihie Kim, Yolanda Gil |
| 2001 | Knowledge Extraction from Local Function Networks. Kenneth McGarry, Stefan Wermter, John MacIntyre |
| 2001 | Knowledge Processing under Information Fidelity. Wilhelm Rödder |
| 2001 | Learning Iterative Image Reconstruction. Sven Behnke |
| 2001 | Learning Procedural Knowledge to Better Coordinate. Andrew Garland, Richard Alterman |
| 2001 | Learning on the Phase Transition Edge. Alessandro Serra, Attilio Giordana, Lorenza Saitta |
| 2001 | Leveraging Data About Users in General in the Learning of Individual User Models. Anthony Jameson, Frank Wittig |
| 2001 | Link Analysis, Eigenvectors and Stability. Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan |
| 2001 | Local Search Topology in Planning Benchmarks: An Empirical Analysis. Jörg Hoffmann |
| 2001 | Making AC-3 an Optimal Algorithm. Yuanlin Zhang, Roland H. C. Yap |
| 2001 | Market Clearability. Tuomas Sandholm, Subhash Suri |
| 2001 | Matching under Side Conditions in Description Logics. Franz Baader, Sebastian Brandt, Ralf Küsters |
| 2001 | Max-norm Projections for Factored MDPs. Carlos Guestrin, Daphne Koller, Ronald Parr |
| 2001 | Minimizing Dialog Length in Interactive Case-Based Reasoning. David McSherry |
| 2001 | Mining Soft-Matching Rules from Textual Data. Un Yong Nahm, Raymond J. Mooney |
| 2001 | Mobile Robot Learning of Delayed Response Tasks through Event Extraction: A Solution to the Road Sign Problem and Beyond. Fredrik Linåker, Henrik Jacobsson |
| 2001 | Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. Brian C. Williams, Seung Chung, Vineet Gupta |
| 2001 | Model-based Diagnosability and Sensor Placement Application to a Frame 6 Gas Turbine Subsystem. Louise Travé-Massuyès, Teresa Escobet, Robert Milne |
| 2001 | Modularity and Design in Reactive Intelligence. Joanna Bryson, Lynn Andrea Stein |
| 2001 | Multi-Agent Influence Diagrams for Representing and Solving Games. Daphne Koller, Brian Milch |
| 2001 | Multi-Agent Systems by Incremental Gradient Reinforcement Learning. Alain Dutech, Olivier Buffet, François Charpillet |
| 2001 | Multiagent Coordination by Stochastic Cellular Automata. Tim D. Barfoot, Gabriele M. T. D'Eleuterio |
| 2001 | Multimodal Integration A Biological View. Michael H. Coen |
| 2001 | Multimodal Interaction: A new focal area for AI. Philip R. Cohen |
| 2001 | NLP-driven IR: Evaluating Performances over a Text Classification task. Roberto Basili, Alessandro Moschitti, Maria Teresa Pazienza |
| 2001 | NORN Finance Forecaster - A Neural Oscillatory-based Recurrent Network for Finance Prediction. Raymond S. T. Lee, James N. K. Liu |
| 2001 | Narrative Prose Generation. Charles B. Callaway, James C. Lester |
| 2001 | Neural Logic Network Learning using Genetic Programming. Chew Lim Tan, Henry Wai Kit Chia |
| 2001 | OI-implication: Soundness and Refutation Completeness. Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro |
| 2001 | On Market-Inspired Approaches to Propositional Satisfiability. William E. Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P. Wellman |
| 2001 | On the Semantics of Knowledge Update. Chitta Baral, Yan Zhang |
| 2001 | On-Line Execution of cc-Golog Plans. Henrik Grosskreutz, Gerhard Lakemeyer |
| 2001 | One action is enough to plan. Emmanuel Guere, Rachid Alami |
| 2001 | Ontology Reasoning in the SHOQ(D) Description Logic. Ian Horrocks, Ulrike Sattler |
| 2001 | Partitioning Activities for Agents. Fatma Ozcan, V. S. Subrahmanian |
| 2001 | Perceptual Anchoring of Symbols for Action. Silvia Coradeschi, Alessandro Saffiotti |
| 2001 | Perceptual Texture Space Improves Perceptual Consistency of Computational Features. Huizhong Long, Wee Kheng Leow |
| 2001 | Phase Transitions of PP-Complete Satisfiability Problems. Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis |
| 2001 | Planning as Model Checking for Extended Goals in Non-deterministic Domains. Marco Pistore, Paolo Traverso |
| 2001 | Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
| 2001 | Planning with Resources and Concurrency: A Forward Chaining Approach. Fahiem Bacchus, Michael Ady |
| 2001 | Plausibility Measures: A General Approach For Representing Uncertainty. Joseph Y. Halpern |
| 2001 | Preference-Based Configuration of Web Page Content. Carmel Domshlak, Ronen I. Brafman, Solomon Eyal Shimony |
| 2001 | Probabilistic Classification and Clustering in Relational Data. Benjamin Taskar, Eran Segal, Daphne Koller |
| 2001 | Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001 Bernhard Nebel |
| 2001 | Qualitative Simulation of Genetic Regulatory Networks: Method and Application. Hidde de Jong, Michel Page, Céline Hernandez, Johannes Geiselmann |
| 2001 | R-MAX - A General Polynomial Time Algorithm for Near-Optimal Reinforcement Learning. Ronen I. Brafman, Moshe Tennenholtz |
| 2001 | Rational Competitive Analysis. Moshe Tennenholtz |
| 2001 | Rational and Convergent Learning in Stochastic Games. Michael H. Bowling, Manuela M. Veloso |
| 2001 | Real-Time Auditory and Visual Multiple-Object Tracking for Humanoids. Kazuhiro Nakadai, Ken-ichi Hidai, Hiroshi Mizoguchi, Hiroshi G. Okuno, Hiroaki Kitano |
| 2001 | Reasoning about Categories in Conceptual Spaces. Peter Gärdenfors, Mary-Anne Williams |
| 2001 | Reasoning with infinite stable models. Piero A. Bonatti |
| 2001 | Refining the Basic Constraint Propagation Algorithm. Christian Bessière, Jean-Charles Régin |
| 2001 | Refining the Structure of a Stochastic Context-Free Grammar. Joseph Bockhorst, Mark Craven |
| 2001 | Reflective Negotiating Agents for Real-Time Multisensor Target Tracking. Leen-Kiat Soh, Costas Tsatsoulis |
| 2001 | Reinforcement Learning in Distributed Domains: Beyond Team Games. David H. Wolpert, Joseph Sill, Kagan Tumer |
| 2001 | Relational Learning via Propositional Algorithms: An Information Extraction Case Study. Dan Roth, Wen-tau Yih |
| 2001 | Representing Sentence Structure in Hidden Markov Models for Information Extraction. Soumya Ray, Mark Craven |
| 2001 | Resolving Ambiguities to Create a Natural Computer-Based Sketching Environment. Christine Alvarado, Randall Davis |
| 2001 | Resource-bounded inference from inconsistent belief bases. Pierre Marquis, Nadège Porquet |
| 2001 | Reviving Partial Order Planning. XuanLong Nguyen, Subbarao Kambhampati |
| 2001 | Robot Weightlifting By Direct Policy Search. Michael T. Rosenstein, Andrew G. Barto |
| 2001 | Robust Multi-unit Auction Protocol against False-name Bids. Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara |
| 2001 | Robust Translation of Spontaneous Speech: A Multi-Engine Approach. Wolfgang Wahlster |
| 2001 | Satisficing and Learning Cooperation in the Prisoner s Dilemma. Jeff L. Stimpson, Michael A. Goodrich, Lawrence C. Walters |
| 2001 | Search on High Degree Graphs. Toby Walsh |
| 2001 | Sensitivity Analysis of Multilayer Perceptron. Daniel S. Yeung, Xuequan Sun, Xiaoqin Zeng |
| 2001 | Sequentially finding the N-Best List in Hidden Markov Models. Dennis Nilsson, Jacob Goldberger |
| 2001 | SiN: Integrating Case-based Reasoning with Task Decomposition. Héctor Muñoz-Avila, David W. Aha, Dana S. Nau, Rosina Weber, Len Breslow, Fusun Yaman |
| 2001 | Simulating the Formation of Color Categories. Tony Belpaeme |
| 2001 | Solving Factored MDPs via Non-Homogeneous Partitioning. Kee-Eung Kim, Thomas L. Dean |
| 2001 | Solving Non-Boolean Satisfiability Problems with Stochastic Local Search. Alan M. Frisch, Timothy J. Peugniez |
| 2001 | Splitting Without Backtracking. Alexandre Riazanov, Andrei Voronkov |
| 2001 | Stable Strategies for Sharing Information among Agents. Rina Azoulay-Schwartz, Sarit Kraus |
| 2001 | Symbolic Dynamic Programming for First-Order MDPs. Craig Boutilier, Raymond Reiter, Bob Price |
| 2001 | Temporal Constraint Reasoning With Preferences. Lina Khatib, Paul H. Morris, Robert A. Morris, Francesca Rossi |
| 2001 | Temporal Decision Trees or the lazy ECU vindicated. Luca Console, Claudia Picardi, Daniele Theseider Dupré |
| 2001 | Temporal Difference Learning Applied to a High-Performance Game-Playing Program. Jonathan Schaeffer, Markian Hlynka, Vili Jussila |
| 2001 | The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming. Dale Schuurmans, Finnegan Southey, Robert C. Holte |
| 2001 | The Foundations of Cost-Sensitive Learning. Charles Elkan |
| 2001 | The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding. Luc De Raedt, Stefan Kramer |
| 2001 | The SG Family: Extensions of Simple Conceptual Graphs. Jean-François Baget, Marie-Laure Mugnier |
| 2001 | Theorem Proving with Structured Theories. Sheila A. McIlraith, Eyal Amir |
| 2001 | Title Generation for Machine-Translated Documents. Rong Jin, Alexander G. Hauptmann |
| 2001 | Total-Order Planning with Partially Ordered Subtasks. Dana S. Nau, Héctor Muñoz-Avila, Yue Cao, Amnon Lotem, Steven Mitchell |
| 2001 | UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. Lifeng He |
| 2001 | Updates, actions, and planning. Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek |
| 2001 | Usability Guidelines for Interactive Search in Direct Manipulation Systems. Robert St. Amant, Christopher G. Healey |
| 2001 | Using Case-Base Data to Learn Adaptation Knowledge for Design. Jacek Jarmulak, Susan Craw, Ray Rowe |
| 2001 | Using Text Classifiers for Numerical Classification. Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik |
| 2001 | VAMBAM: View and Motion-based Aspect Models for Distributed Omnidirectional Vision Systems. Hiroshi Ishiguro, Takuichi Nishimura |
| 2001 | Violation-Guided Learning for Constrained Formulations in Neural-Network Time-Series Predictions. Benjamin W. Wah, Minglun Qian |
| 2001 | Visual Analogy in Problem Solving. Jim Davies, Ashok K. Goel |
| 2001 | Weakening Commensurability Hypothesis in Possibilistic Qualitative Decision Theory. Adriana Zapico |
| 2001 | Weakening Conflicting Information for Iterated Revision and Knowledge Integration. Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams |