| 2001 | A Context-Free Grammar Representation for Normal Inhabitants of Types in TA | Sabine Broda, Lus Damas |
| 2001 | Reducing Rankings of Classifiers by Eliminating Redundant Classifiers. | Pavel Brazdil, Carlos Soares, Rui Pereira |
| 2001 | Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents. | Rachel A. Bourne, Karen Shoop, Nicholas R. Jennings |
| 2001 | Situation Calculus as Hybrid Logic: First Steps. | Patrick Blackburn, Jaap Kamps, Maarten Marx |
| 2001 | Choice: The Key for Autonomy. | Luis Antunes, Joo Faria, Helder Coelho |
| 2001 | Parallel Implementation of Decision Tree Learning Algorithms. | Nuno Amado, Joo Gama, Fernando M. A. Silva |
| 2001 | The Use of Domain Knowledge in Feature Construction for Financial Time Series Prediction. | Pedro de Almeida, Lus Torgo |
| 1999 | Is PL | Aida Vitria, Margarida Mamede |
| 1999 | A New Formulation of Tabled Resolution with Delay. | Terrance Swift |
| 1999 | Using LocalMaxs Algorithm for the Extraction of Contiguous and Non-contiguous Multiword Lexical Units. | Joaquim Ferreira da Silva, Gal Dias, Sylvie Guillor, Jos Gabriel Pereira Lopes |
| 1999 | The Impact of Branching Heuristics in Propositional Satisfiability Algorithms. | Joo Marques-Silva |
| 1999 | YapOr: an Or-Parallel Prolog System Based on Environment Copying. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 1999 | Challenges for Inductive Logic Programming. | Nada Lavrac |
| 1999 | Genetic Algorithms for Solving Open Shop Scheduling Problems. | Sami Khuri, Sowmya Rao Miryala |
| 1999 | Temporal Abductive Diagnosis. | Elpida T. Keravnou, John Washbrook |
| 1999 | Combinatorial Optimization in OPL Studio. | Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie |
| 1999 | On the Formal Distinction between Literal and Figurative Language. | Udo Hahn, Katja Markert |
| 1999 | Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. | Inman P. de Guzmn, Pablo Cordero, Manuel Enciso |
| 1999 | A New Approach to Base Revision. | Paolo Di Giusto, Guido Governatori |
| 1999 | Analytic Modal Revision for Multi-agent Systems. | Paolo Di Giusto, Guido Governatori |
| 1999 | Holonic Multiagent Systems - Theory and Applications. | Klaus Fischer |
| 1999 | Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. | Miguel Ferrand, Joo Alexandre Leite, Amlcar Cardoso |
| 1999 | On the Accuracy and Running Time of GSAT. | Deborah East, Miroslaw Truszczynski |
| 1999 | Qualitative Theory of Shape and Structure. | Vincent Dugat, Pierre Gambarotto, Yannick Larvor |
| 1999 | Inclusion of Picture Sequences in Generated Documents. | Kees van Deemter, Richard Power |