R.T. 1995

Metodi di Salita e di Salita Duale per il Problema dell’Assegnamento con Guadagni
RT-ICAR-CS-95-01
di M. Gaudioso, I. Tommasi
pubblicato a /1995

LEGGI PUBBLICAZIONE

An Interior Point Technique for Solving Quadratic Minmax Problems
RT-ICAR-CS-95-02
di M. Gaudioso, F. Nuzzi
pubblicato a /1995

LEGGI PUBBLICAZIONE

Ordered Logic and its Relationship to other Logic Programming Formalism
RT-ICAR-CS-95-03
di F. Buccafurri
pubblicato a /1995

LEGGI PUBBLICAZIONE

Projective Spaces for Boolean Formulae
RT-ICAR-CS-95-04
di F. Pirri, C. Pizzuti
pubblicato a /1995

LEGGI PUBBLICAZIONE

Efficient Evaluation of a Class of Ordered Logic Programs
RT-ICAR-CS-95-05
di N. Leone, C. Pizzuti, P. Rullo
pubblicato a /1995

LEGGI PUBBLICAZIONE

Un Sistema di Integrazione di Basi di Dati Orientate ad Oggetti con Basi di Dati Relazionali Remote
RT-ICAR-CS-95-06
di F. Angiulli, N. Leone, F. Messina
pubblicato a /1995

LEGGI PUBBLICAZIONE

Semantics and Computation for Disjunctive Ordered Logic
RT-ICAR-CS-95-07
di F. Buccafurri, N. Leone, P. Rullo
pubblicato a /1995

LEGGI PUBBLICAZIONE

On the Expressive Power of Ordered Logic
RT-ICAR-CS-95-08
di F. Buccafurri, N. Leone, F. Scarcello
pubblicato a /1995

LEGGI PUBBLICAZIONE

Finding Zero Crossing Points in Electrotechnical Problems
RT-ICAR-CS-95-09
di A. Molinaro, Ya.D. Sergeyev
pubblicato a /1995

LEGGI PUBBLICAZIONE

A Two-Points-Three-Intervals Partition of the N- Dimensional Hyperinterval
RT-ICAR-CS-95-10
di Yaroslaw D. Sergeyev
pubblicato a /1995

LEGGI PUBBLICAZIONE

Integer Programming Methods to Compute Prime Implicants
RT-ICAR-CS-95-11
di C. Pizzuti, F. Pirri
pubblicato a /1995

LEGGI PUBBLICAZIONE

A Deductive Environment for Dealing With Objects and Non-Monotonic Reasoning
RT-ICAR-CS-95-12
di N. Leone, P. Rullo, A. Mecchia, G. Rossi
pubblicato a /1995

LEGGI PUBBLICAZIONE

Un’Estensione della Programmazione Logica per la Rappresentazione di Sistemi Dinamici
RT-ICAR-CS-95-13
di M. Crovara, N. Leone, D. Saccà
pubblicato a /1995

LEGGI PUBBLICAZIONE

Disjunctive Stable Models : Unfounded Sets, Fixpoint Semantics and Computation
RT-ICAR-CS-95-14
di N. Leone, P. Rullo, F. Scarcello
pubblicato a /1995

LEGGI PUBBLICAZIONE

Extending Datalog with Arrays
RT-ICAR-CS-95-15
di S. Greco, L. Palopoli, E. Spadafora
pubblicato a /1995

LEGGI PUBBLICAZIONE

Implementation of Chain Logic Queries
RT-ICAR-CS-95-16
di S. Greco, E. Spadafora
pubblicato a /1995

LEGGI PUBBLICAZIONE

The GPR System: An Architecture for Integrating Active and  Deductive Rules on Complex Database Objects
RT-ICAR-CS-95-17
di F. Angiulli, L. Palopoli, R. Torlone
pubblicato a /1995

LEGGI PUBBLICAZIONE

Nuove Tecniche per la Modellistica di Un Braccio Robotico Flessibile
RT-ICAR-CS-95-18
di P. Pugliese
pubblicato a /1995

LEGGI PUBBLICAZIONE