| 2000 | A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès |
| 2000 | A Conditional Logic for Iterated Belief Revision. Laura Giordano, Valentina Gliozzi, Nicola Olivetti |
| 2000 | A Dialogue Environment for Accessing Public Administration Data: the TAMIC-P System. Clara Bagnasco, Amedeo Cappelli, Bernardo Magnini |
| 2000 | A Domain Knowledge Manager for Dialogue Systems. Annika Flycht-Erikson |
| 2000 | A Family of Defeasible Reasoning Logics and its Implementation. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock |
| 2000 | A Formalization of Structured Temporal Objects and Repetition. Diana Cukierman, James P. Delgrande |
| 2000 | A Foundation for Region-based Qualitative Geometry. Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika |
| 2000 | A Framework for Dynamic Constraint Reasoning using Procedural Constraints. Ari K. Jónsson, Jeremy Frank |
| 2000 | A Graph-based Approach for POCL Planning. Laura Sebastia, Eva Onaindia, Eliseo Marzal |
| 2000 | A Knowledge-Based System for the Design of Rubber Compounds in Motor Racing. Stefania Bandini, Sara Manzoni |
| 2000 | A Knowledge-based Approach for Lifelike Gesture Animation. Stefan Kopp, Ipke Wachsmuth |
| 2000 | A Kohonen-like Decomposition Method for the Traveling Salesman Problem: KNIES Necati Aras, I. Kuban Altinel, B. John Oommen |
| 2000 | A Practical System for Human-like Parsing. Christian R. Huyck |
| 2000 | A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm. Romuald Debruyne |
| 2000 | A Theoretical Analysis of Context-based Learning Algorithms or Word Sense Disambiguation. Paola Velardi, Alessandro Cucchiarelli |
| 2000 | A Topic Segmentation of Texts based on Semantic Domains. Olivier Ferret, Brigitte Grau |
| 2000 | A modal logic for epistemic tests. Andreas Herzig, Jérôme Lang, Thomas Polacsek |
| 2000 | Achieving Coordination through Combining Joint Planning and Joint Learning. Gerhard Weiss |
| 2000 | Action Categorization from Video Sequences. Jean-Christophe Baillie, Jean-Gabriel Ganascia |
| 2000 | Activity Recognition from Video Sequences using Declarative Models. Nathanaël Rota, Monique Thonnat |
| 2000 | An Agent Service Brokering Algorithm for Winner Determination in Combinatorial Auctions. Aneurin M. Easwaran, Jeremy Pitt |
| 2000 | An Algorithm for Adaptation in Case-based Reasoning. Béatrice Fuchs, Jean Lieber, Alain Mille, Amedeo Napoli |
| 2000 | An Argumentation-Theoretic Characterization of Defeasible Logic. Guido Governatori, Michael J. Maher |
| 2000 | An Autonomous Cooperative System for Material Handling Applications. Francisco P. Maturana, Sivaram Balasubramanian, Dave Vasko |
| 2000 | An Embedding of ConGolog in 3APL. Koen V. Hindriks, Yves Lespérance, Hector J. Levesque |
| 2000 | Architecture for Agent Programming Languages. Koen V. Hindriks, Mark d'Inverno, Michael Luck |
| 2000 | Arguments, Dialogue, and Negotiation. Leila Amgoud, Simon Parsons, Nicolas Maudet |
| 2000 | Artificial Intelligence Techniques for Diabetes Management: the T-IDDM Project. Stefania Montani, Riccardo Bellazzi, Alberto Riva, Cristiana Larizza, Luigi Portinale, Mario Stefanelli |
| 2000 | Artificial Intelligence in RoboCup. Daniele Nardi |
| 2000 | Automatic Generation of Local Internet Catalogues Using the Hierarchical Radius-based Competitive Learning. Udo Heuser, Wolfgang Rosenstiel |
| 2000 | Autonomous Environment and Task Adaptation for Robotic Agents. Michael Beetz, Thorsten Belker |
| 2000 | Autosteve: Automated Electrical Design Analysis. Chris J. Price |
| 2000 | Bayes Rules in Finite Models. Stefan Arnborg, Gunnar Sjödin |
| 2000 | Beat Tracking with Musical Knowledge. Simon Dixon, Emilios Cambouropoulos |
| 2000 | Bringing Information Extraction out of the Labs: the NoName Environment. Fabio Ciravegna, Alberto Lavelli, Giorgio Satta |
| 2000 | Can Representation be Liberated from Symbolism: Modeling Robot Actions with Roboticles. Antonio D'Angelo, Federico Montesello, Enrico Pagello |
| 2000 | Characterizing General Preferential Entailments. Yves Moinard |
| 2000 | Classical, General Frameworks for Recovery. Wiebe van der Hoek, Cees Witteveen |
| 2000 | Competence-guided Editing Methods for Lazy Learning. Elizabeth McKenna, Barry Smyth |
| 2000 | Compiling Stratified Belief Bases. Sylvie Coste-Marquis, Pierre Marquis |
| 2000 | Composition Through Agent Negotiation: A Step Towards Fluid Interface. Christophe Vaudry, Michel Crampes |
| 2000 | Consistency-Based Diagnosis of Configuration Knowledge Bases. Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner |
| 2000 | Constructing Teleo-reactive Robot Programs. Krysia Broda, Christopher J. Hogger, Sam Watson |
| 2000 | Continual Planning with Time-Oriented, Skeletal Plans. Silvia Miksch, Andreas Seyfang |
| 2000 | Data Set Editing by Ordered Projection. Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro |
| 2000 | Declarative Representation of Revision Strategies. Gerhard Brewka |
| 2000 | Describing Problem Solving Methods using Anytime Performance Profiles. Annette ten Teije, Frank van Harmelen |
| 2000 | Description Logics for the Representation of Aggregated Objects. Ulrike Sattler |
| 2000 | Diagnosis and Diagnosability Analysis Using PEPA. Luca Console, Claudia Picardi, Marina Ribaudo |
| 2000 | Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. Francisco Azevedo, Pedro Barahona |
| 2000 | Discovering Conceptual Relations from Text. Alexander Maedche, Steffen Staab |
| 2000 | Dispatchability Conditions for Schedules with Consumable Resources. Richard J. Wallace, Eugene C. Freuder |
| 2000 | Dynamic User Modeling in a Web Store Shell. Liliana Ardissono, Pietro Torasso |
| 2000 | ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 Werner Horn |
| 2000 | Efficient Asymptotic Approximation in Temporal Difference Learning. Frédérick Garçia, Florent Serre |
| 2000 | Empirical Comparison of Probabilistic and Possibilistic Markov Decision Processes Algorithms. Régis Sabbadin |
| 2000 | Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging. Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade |
| 2000 | Equivalent Sets of Formulas for Circumscriptions. Yves Moinard, Raymond Rolland |
| 2000 | Essence: A Portable Methodology for Acquiring Information Extraction Patterns. Neus Català, Núria Castell, Mario Martín |
| 2000 | Estimating the Hardness of Optimisation. John K. Slaney, Sylvie Thiébaux, Philip Kilby |
| 2000 | Explaining ALC Subsumption. Alexander Borgida, Enrico Franconi, Ian Horrocks |
| 2000 | Extending TALplanner with Concurrency and Resources. Jonas Kvarnström, Patrick Doherty, Patrik Haslum |
| 2000 | Extensions of Constraint Solving for Proof Planning. Erica Melis, Jürgen Zimmer, Tobias Müller |
| 2000 | Flexible Graphplan. Ian Miguel, Peter Jarvis, Qiang Shen |
| 2000 | Flexible Text Classification for Financial Applications: The Facile System. Fabio Ciravegna, Alberto Lavelli, Nadia Mana, Johannes Matiasek, Luca Gilardoni, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt |
| 2000 | Focusing Search by Using Problem Solving Experience. Eyke Hüllermeier |
| 2000 | Founding Agents' "Autonomy" on Dependence Theory. Cristiano Castelfranchi |
| 2000 | Frame Representation of User's Requirement for Automated Data Visualization. Mitsunori Matsushita, Hayato Yonezawa, Tsuneaki Kato |
| 2000 | GADEL: a Genetic Algorithm to Compute Default Logic Extensions. Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
| 2000 | Gaining Insights into Web Customers using Web Intelligence. Sarabjot S. Anand, Matthias Baumgarten, Alex G. Büchner, Maurice D. Mulvenna |
| 2000 | Graph Based Representation of Dynamic Planning. Pavlos Moraitis, Alexis Tsoukiàs |
| 2000 | Heuristic Planning with Resources. Ioannis Refanidis, Ioannis P. Vlahavas |
| 2000 | How to Revise Ranked Probabilities. Emil Weydert |
| 2000 | Hybrid Soft Computing: Where are we Going? Piero P. Bonissone |
| 2000 | ID-logic and the Ramification Problem for the Situation Calculus. Eugenia Ternovskaia |
| 2000 | Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis. Nicola Guarino, Christopher A. Welty |
| 2000 | Incorporation of Temporal Logic Control into Plan Operators. Jussi Rintanen |
| 2000 | Incremental Forward Checking for the Disjunctive Temporal Problem. Angelo Oddi, Amedeo Cesta |
| 2000 | Integrating Individual, Organizational and Market Level Reasioning for Agent Coordination. Mihai Barbuceanu, Wai-Kau Lo |
| 2000 | Intention Reconsideration in Theory and Practice. Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael J. Wooldridge |
| 2000 | Is there a Constaintness Knife-edge? John K. Slaney |
| 2000 | Iterated Revision by Epistemic States: Axioms, Semantics and Syntax. Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez |
| 2000 | Kalman-like Filtering in a possibilistic Setting. Salem Benferhat, Didier Dubois, Henri Prade |
| 2000 | Knowledge Representation and Reasoning: The Theoretical Side of AI. Bernhard Nebel |
| 2000 | Languages for Negotiation. Michael J. Wooldridge, Simon Parsons |
| 2000 | Lazy Propositionalisation for Relational Learning. Érick Alphonse, Céline Rouveirol |
| 2000 | Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations. Marco Gori, Paolo Frasconi, Alessandro Sperduti |
| 2000 | Learning to Reason About Actions. David Lorenzo, Ramón P. Otero |
| 2000 | Learning to Use Operational Advice. Johannes Fürnkranz, Bernhard Pfahringer, Hermann Kaindl, Stefan Kramer |
| 2000 | Linear Regression Based Alignment of Parallel Texts Using Homograph Words. António Ribeiro, José Gabriel Pereira Lopes, João Mexia |
| 2000 | Local Search on Random 2+p-SAT. Josh Singer, Ian P. Gent, Alan Smaill |
| 2000 | Logic Programs with Compiled Preferences. James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2000 | Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust. Churn-Jung Liau |
| 2000 | Modeling Java Programs for Diagnosis. Cristinel Mateis, Markus Stumptner, Franz Wotawa |
| 2000 | Multilingual Generation for Translation in Speech-to-Speech Dialogues and its Realization in Verbmobil. Tilman Becker, Anne Kilger, Patrice Lopez, Peter Poller |
| 2000 | Naive Bayes and Exemplar-based Approaches to Word Sense Disambiguation Revisited. Gerard Escudero, Lluís Màrquez, German Rigau |
| 2000 | Non-linear Modelling of a Production Process by Hybrid Bayesian Networks. Rainer Deventer, Heinrich Niemann |
| 2000 | On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT. Chu Min Li, Sylvain Gérard |
| 2000 | On-Line Model Modification for Adaptive Object Recognition. Peter Pachowicz, Sung Wook Baik |
| 2000 | Optimal Sequential Decisions in Liver Transplantation on a POMDP Model. Günter Tusch |
| 2000 | Personalisation Technologies for the Digital TV World. Paul Cotter, Barry Smyth |
| 2000 | Picture Perfect: Visualisation Techniques for Case-based Reasoning. Barry Smyth, Mark Mullins, Elizabeth McKenna |
| 2000 | Plan Recognition through Goal Graph Analysis. Jun Hong |
| 2000 | Q-Surfing: Exploring a World Model by Significance Values in Reinforcement Learning Tasks. Frank Kirchner, Corinna Richter |
| 2000 | Qualitative Modelling of Linear Networks in Engineering Applications. Mark Lee |
| 2000 | Qualitative Representation of Planar Outlines. Richard C. Meathrel, Antony Galton |
| 2000 | Qualitative Simulation of Large and Complex Genetic Regulation Systems. Hidde de Jong, Michel Page |
| 2000 | Qualitative Spatial Reasoning about Line Segments. Reinhard Moratz, Jochen Renz, Diedrich Wolter |
| 2000 | Remote Agent: An Autonomous Control System for the New Millennium. Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung |
| 2000 | Repairing Queries in a Mediator Approach. Alain Bidault, Christine Froidevaux, Brigitte Safar |
| 2000 | Run-Time Selection of Coordination Mechanisms in Multi-Agent Systems. Rachel A. Bourne, Cora B. Excelente-Toledo, Nicholas R. Jennings |
| 2000 | Scheduling Meetings Using Distributed Valued Constraint Satisfaction Algorithm. Takuo Tsuruta, Toramatsu Shintani |
| 2000 | Search Pruning Conditions for Boolean Optimization. Vasco M. Manquinho, João Marques-Silva |
| 2000 | Search in AI: Escaping from the CSP Straightjacket. Mark Wallace |
| 2000 | Selection of Perturbation Experiments for Model Discrimination. Ivayla Vatcheva, Hidde de Jong, Nicolaas J. I. Mars |
| 2000 | Similarity-based Approach to Relevance Learning. Rickard Cöster, Lars Asker |
| 2000 | Similarity-based Heterogeneous Neuron Models. Lluís A. Belanche Muñoz |
| 2000 | Similarity-based Inference as Evitential Reasoning. Eyke Hüllermeier |
| 2000 | Solving POMDPs Using Selected Past Events. Alain Dutech |
| 2000 | Solving Permutation Constraint Satisfaction Problems with Artificial Ants. Christine Solnon |
| 2000 | Solving the Inverse Representation Problem. Gabriele Kern-Isberner |
| 2000 | Spatial Reasoning in RCC-8 with Boolean Region Terms. Frank Wolter, Michael Zakharyaschev |
| 2000 | State-based vs Simulation-based Diagnosis of Dynamic Systems. Andrea Panati, Daniele Theseider Dupré |
| 2000 | Symmetry Breaking in Constraint Programming. Ian P. Gent, Barbara M. Smith |
| 2000 | Team-Solvability: A Model-Theoretic Perspective. Alessandro Agostini |
| 2000 | Temporal Constraint Networks in Action. Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose |
| 2000 | The Emergence of Grammar in Communicating Autonomous Robotic Agents. Luc Steels |
| 2000 | The WITAS Unmanned Aerial Vehicle Project. Patrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund |
| 2000 | Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee |
| 2000 | Tiger: Continuous Diagnosis of Gas Turbines. Robert Milne, Charlie Nicol |
| 2000 | Timed Automata Model to Improve the Classification of a Sequence of Images. Christine Largouët, Marie-Odile Cordier |
| 2000 | Towards Real-Time Search with Inadmissible Heuristics. Masashi Shimbo, Toru Ishida |
| 2000 | Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation. Helmut Horacek |
| 2000 | Towards the Re-identification of Individuals in Data Files with Non-common Variables. Vicenç Torra |
| 2000 | Tractable Sets of the Generalized Interval Algebra. Jean-François Condotta |
| 2000 | Tree-based Heuristics in Modal Theorem Proving. Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke |
| 2000 | Turning High-Level Plans into Robot Programs in Uncertain Domains. Henrik Grosskreutz, Gerhard Lakemeyer |
| 2000 | Uncertain Temporal Observations in Diagnosis. Gianfranco Lamperti, Marina Zanella |
| 2000 | Using an Ontology Conceptualisation Method to Capture an Advice Giving System Knowledge. Floriana Grasso |
| 2000 | VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. Rik Gerrits, Silvie Spreeuwenberg |
| 2000 | Verification Programs for Abduction. Paolo Liberatore, Francesco M. Donini |
| 2000 | Visual Design Support in Dynamic Probabilistic Networks for Driver Modelling. Axel Vogler, Patrick Rammelt, Jörg Herbers, Dietmar Neumerkel |
| 2000 | WaRP: A Reactive Planner Integrated in an Environmental Decision Support System fo Wastewater Treatment Plant Management. Luigi Ceccaroni, Dave Robertson |