Formisano, Andrea - Dipartimento di Matematica e Informatica, Università di Perugia

• Three-variable statements of set-pairing Andrea Formisano
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Corso di Basi di dati e sistemi informativi. Esercizi. E1) Si consideri il seguente schema di relazione: R(A, B, C, D,E,G). Con le seguenti dipendenze funzio
• Prog.Dichiarativa formis@dipmat.unipg.it
• Programmi generali Nei capitoli precedenti abbiamo studiato una classe particolare di programmi logici, i
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• 1 Il Problema della Sezione Critica 1.1 Un Esempio di Programmazione Concorrente
• CAPITOLO 13 Vincoli e loro risoluzione
• Under consideration for publication in Math. Struct. in Comp. Science Comparative uncertainty: theory and
• Corso di Sistemi operativi. Esercizi. E1) Si consideri uno scheduler che riceve 4 job A,B,C,D con le seguenti caratteristiche
• 1 Algoritmo del Banchiere Il banker's algorithm e la generalizzazione della tecnica di deadlockavoidance al caso di tipi di
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• UNIVERSIT A DEGLI STUDI DI PERUGIA
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Prog.Dichiarativa formis@dipmat.unipg.it
• Action Languages Michael Gelfond
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Extending and implementing RASP Stefania Costantini
• An Empirical Study of Constraint Logic Programming
• Decidability Results for Sets with Atoms Agostino Dovier
• The axiom of elementary sets on the edge of Peircean expressibility
• Goals and benchmarks for automated map reasoning
• T-resolution: Refinements and Model Elimination Andrea Formisano
• Answer Set Programming with Resources Stefania Costantini
• Extending and implementing RASP Andrea Formisano and Davide Petturiti
• Multi-Agent Planning in CLP Agostino Dovier1
• Compiling Dyadic First-Order Specifications into Map Algebra