| 1995 | Constraint Categorial Grammars. | Lus Damas, Nelma Moreira |
| 1995 | A Model Theory for Paraconsistent Logic Programming. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1995 | Agreement: A Logical Approach to Approximate Reasoning. | Lus M. M. Custdio, Carlos A. Pinto-Ferreira |
| 1995 | A Closer Look to Artificial Learning Environments. | Helder Coelho, Augusto Eusbio, Ernesto Costa |
| 1995 | Building Multi-Agent Societies from Description to Systems: Inter-Layer Translations. | Helder Coelho, Luis Antunes, Lus Moniz |
| 1995 | Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm. | Gildas Cherruel, Bassel Solaiman, Yvon Autret |
| 1995 | A Cognitive Model of Problem Solving with Incomplete Information. | Nathalie Chaignaud |
| 1995 | Filtering Software Specifications Written in Natural Language. | Nria Castell, ngels Hernndez |
| 1995 | A New Translation Algorithm from Lambda Calculus into Combinatory Logic. | Sabine Broda, Lus Damas |
| 1995 | Syntactic and Semantic Filtering in a Chart Parser. | Sayan Bhattacharyya, Steven L. Lytinen |
| 1995 | A Symbiotic Approach to Arc and Path Consistency Checking. | Pierre Berlandier |
| 1995 | On the Role of Splitting and Merging Past Cases for Generation of a New Solution. | Carlos Bento, Penousal Machado, Ernesto Costa |
| 1995 | Belief Revision in Non-Monotonic Reasoning. | Jos Jlio Alferes, Lus Moniz Pereira, Teodor C. Przymusinski |
| 1995 | Non-Atomic Actions in the Situation Calculus. | Jos Jlio Alferes, Renwei Li, Lus Moniz Pereira |
| 1995 | GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System. | Jos Ramn Zubizarreta Aizpuru, Javier Arrieta Usunriz |
| 1993 | A Constraint Maintenance Algorithm Based on Value Propagation. | Gilles Trombettoni |
| 1993 | An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine. | Fernando M. A. Silva |
| 1993 | Combining Terminological Logics with Tense Logic. | Klaus Schild |
| 1993 | Building Text Temporal Structure. | Irene Pimenta Rodrigues, Jos Gabriel Lopes |
| 1993 | Semantics of Interworking Knowledge Based Systems. | Georg Reichwein, Jos Luiz Fiadeiro |
| 1993 | Diagnosis and Debugging as Contradiction Removal in Logic Programs. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1993 | Preliminary Formalization of an Incremental Hierarchical Constraint Solver. | Francisco Menezes, Pedro Barahona |
| 1993 | Some Results on the Complexity of SLD-Derivations. | Armando B. Matos |
| 1993 | Regular Languages and a Class of Logic Programs. | Armando B. Matos |
| 1993 | Towards Complete Answers in Concept Languages. | Margarida Mamede, Lus Monteiro |