| M. Gaudioso, I. Tommasi Metodi di Salita e di Salita Duale per il Problema dell’Assegnamento con Guadagni RT-ICAR-CS-95-01 1995 |
| M. Gaudioso, F. Nuzzi An Interior Point Technique for Solving Quadratic Minmax Problems RT-ICAR-CS-95-02 1995 |
| F. Buccafurri Ordered Logic and its Relationship to other Logic Programming Formalism RT-ICAR-CS-95-03 1995 |
| F. Pirri, C. Pizzuti Projective Spaces for Boolean Formulae RT-ICAR-CS-95-04 1995 |
| N. Leone, C. Pizzuti, P. Rullo Efficient Evaluation of a Class of Ordered Logic Programs RT-ICAR-CS-95-05 1995 |
| F. Angiulli, N. Leone, F. Messina Un Sistema di Integrazione di Basi di Dati Orientate ad Oggetti con Basi di Dati Relazionali Remote RT-ICAR-CS-95-06 1995 |
| F. Buccafurri, N. Leone, P. Rullo Semantics and Computation for Disjunctive Ordered Logic RT-ICAR-CS-95-07 1995 |
| F. Buccafurri, N. Leone, F. Scarcello On the Expressive Power of Ordered Logic RT-ICAR-CS-95-08 1995 |
| A. Molinaro, Ya.D. Sergeyev Finding Zero Crossing Points in Electrotechnical Problems RT-ICAR-CS-95-09 1995 |
| Yaroslaw D. Sergeyev A Two-Points-Three-Intervals Partition of the N- Dimensional Hyperinterval RT-ICAR-CS-95-10 1995 |
| C. Pizzuti, F. Pirri Integer Programming Methods to Compute Prime Implicants RT-ICAR-CS-95-11 1995 |
| N. Leone, P. Rullo, A. Mecchia, G. Rossi A Deductive Environment for Dealing With Objects and Non-Monotonic Reasoning RT-ICAR-CS-95-12 1995 |
| M. Crovara, N. Leone, D. Saccà Un’Estensione della Programmazione Logica per la Rappresentazione di Sistemi Dinamici RT-ICAR-CS-95-13 1995 |
| N. Leone, P. Rullo, F. Scarcello Disjunctive Stable Models : Unfounded Sets, Fixpoint Semantics and Computation RT-ICAR-CS-95-14 1995 |
| S. Greco, L. Palopoli, E. Spadafora Extending Datalog with Arrays RT-ICAR-CS-95-15 1995 |
| S. Greco, E. Spadafora Implementation of Chain Logic Queries RT-ICAR-CS-95-16 1995 |
| F. Angiulli, L. Palopoli, R. Torlone The GPR System: An Architecture for Integrating Active and Deductive Rules on Complex Database Objects RT-ICAR-CS-95-17 1995 |
| P. Pugliese Nuove Tecniche per la Modellistica di Un Braccio Robotico Flessibile RT-ICAR-CS-95-18 1995 |
