| 1991 | A New Method for Solving Linear Constraints on the Natural Numbers. | Ana Paula Toms, Miguel Filgueiras |
| 1991 | A Temporal Representation for Imperatively Structured Plans of Actions. | ric Rutten |
| 1991 | Maximal Intervals: An Approach to Temporal Reasoning. | Cristina Ribeiro, Antnio Porto |
| 1991 | An Efficient Approach to Planning in Assembly Tasks. | Carlos Ramos, Eugnio C. Oliveira |
| 1991 | The Extended Stable Models of Contradiction Removal Semantics. | Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio |
| 1991 | Wave-shaping in Multiprocessor Bidirectional Heuristic State Space Search. | Peter C. Nelson, Anestis A. Toptsis |
| 1991 | Constraint Solving in Finite Domains under User Control. | Francisco Menezes, Pedro Barahona |
| 1991 | Heuristic Parsing and Search Space Pruning. | Jos Antnio Mendes, Pedro Rangel Henriques |
| 1991 | A Constraint-Based Language for Querying Taxonomic Systems. | Margarida Mamede, Lus Monteiro |
| 1991 | A Constraint-Based Fuzzy Inference System. | Kevin Lano |
| 1991 | Modelling a Rational Cognitive Agent in SNePS. | Deepak Kumar, Stuart C. Shapiro |
| 1991 | A Neural Approach to Data Compression and Classification. | Klaus Peter Kratzer |
| 1991 | Towards a Theory of the Repair Process. | Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl |
| 1991 | Solving Linear Constraints on Finite Domains Through Parsing. | Miguel Filgueiras, Ana Paula Toms |
| 1991 | Consistency Driven Planning. | Martin Decker, Guido Moerkotte, Holger Mller, Joachim Posegga |
| 1991 | Semantics of Property Inheritance in a Hierarchic System with Explicit Negation. | Gabriel David, Antnio Porto |
| 1991 | Time in Conflucences: Dealing with Delays for Consistency-Checking. | Amlcar Cardoso, Ernesto Costa |
| 1991 | Declarative Source Debugging. | Miguel Calejo, Lus Moniz Pereira |
| 1989 | A Knowledge-Based System to Synthesize FP Programs from Examples. | Hong Zhu, Lingzi Jin |
| 1989 | On the Classification and Existence of Structures in Default Logic. | Aidong Zhang, V. Wiktor Marek |
| 1989 | Non-monotonic Reasoning with the ATMS. | Frank Zetzsche |
| 1989 | Conceptural Representation Techniques in the Framework of Large Knowledge Based Systems. | Gian Piero Zarri |
| 1989 | Reasoning Objects with Dynamic Knowledge Bases. | Christoph Welsch, Gerhard Barth |
| 1989 | Some Comments on a Logic Programming Approach to Natural Language Semantics. | Ana Paula Toms, Miguel Filgueiras |
| 1989 | Run-Through Algorithms for Applications of Autonomous Mobile Robots. | Weiqing Tian |