| 1998 | Planning Diagonalization Proofs. | Lassaad Cheikhrouhou, Jrg H. Siekmann |
| 1998 | Tailorable Interactive Agents for Scheduling Meetings. | Amedeo Cesta, Marcello Collia, Daniela D'Aloisi |
| 1998 | Belief Reconstruction in Cooperative Dialogues. | Luis Farias del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi |
| 1998 | Using Linear Temporal Logic to Model and Solve Planning Problems. | Serenella Cerrito, Marta Cialdea Mayer |
| 1998 | Modelling Uncertainty with Kripke's Semantics. | Veselka Boeva, Elena Tsiporkova, Bernard De Baets |
| 1998 | Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. | Brigitte Bessant, ric Grgoire, Pierre Marquis, Lakhdar Sais |
| 1998 | A Blackboard Architecture for Guiding Interactive Proofs. | Christoph Benzmller, Volker Sorge |
| 1998 | Study of Symmetry in Qualitative Temporal Interval Networks. | Belaid Benhamou, Amar Isli |
| 1998 | Extension Calculus and Query Answering in Prioritized Default Logic. | Farid Benhammadi, Pascal Nicolas, Torsten Schaub |
| 1998 | Formalizing Belief Reports - The Approach and a Case Study. | Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini |
| 1998 | Reasoning about Generalized Intervals. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro, Aomar Osmani |
| 1998 | An Extension of SATPLAN for Planning with Constraints. | Marco Baioletti, Stefano Marcugini, Alfredo Milani |
| 1998 | Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. | Alessandro Armando, Erica Melis, Silvio Ranise |
| 1998 | An Agent Model for NL Dialog Interfaces. | Liliana Ardissono, Guido Boella |
| 1998 | The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks. | Galia Angelova, Ognian Kalaydjiev, Walther von Hahn |
| 1992 | Applying Fast Optimization Methods for Supervised Learning in Freeforward Neural Networks. | Vesselin Zaimov |
| 1992 | Meta Theory as a Tool for Integration and Control. | Harry Vassilev |
| 1992 | A Knowledge Based System for Automatic 3D Scene. | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
| 1992 | COPE - A Flexible Constraint-Based Programming System for Knowledge Processing. | Stefan Trausan-Matu, Mihai Barbuceanu, Gheorghe Ghiculete |
| 1992 | Space Fragmenting - A Method of Disjunctive Concept Acquisition. | Evgueni N. Smirnov |
| 1992 | Grammar Representation and Parsing in a Data-Driven Logic Programming Environment. | Lydia Sinapova, Zdravko Markov |
| 1992 | Inconsistent Information Processing in Knowledge Based Systems. | Vassil Stoyanov Sgurev, Vladimir Simov Jotsov |
| 1992 | An Expert System for Resource Estimation and Cost Analysis. | Alexander Roussekov |
| 1992 | A System for Text Temporal Information Retrieval. | Irene Pimenta Rodrigues, Jos Gabriel Pereira Lopes |
| 1992 | Discovery Environments for the Domain Computer Programming: A Methodology. | Haider Ali Ramadhan |