GIORDANO, Laura

GIORDANO, Laura  

Dipartimento di Scienze e Innovazione Tecnologica  

Mostra records
Risultati 1 - 20 di 176 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A conditional constructive logic for access control and its sequent calculus 1-gen-2011 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A conditional logic for belief revision 1-gen-1998 V., Gliozzi; Giordano, Laura; N., Olivetti
A conditional Logic for Iterated Belief Revision. 1-gen-2000 V., Gliozzi; Giordano, Laura; N., Olivetti
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 1-gen-2022 Giordano, Laura; Gliozzi, Valentina; THESEIDER DUPRE', Daniele
A constructive conditional logic for access control: a completeness result and a sequent calculus 1-gen-2010 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A constructive conditional logic for access control: a preliminary report 1-gen-2010 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A framework for a modular multi-concept lexicographic closure semantics (an abridged report) 1-gen-2021 Giordano, Laura; THESEIDER DUPRE', Daniele
A Framework for Modal Logic Programming 1-gen-1996 M., Baldoni; Giordano, Laura; A., Martelli
A Hybrid Approach to the Verification of Computer Interpretable Guidelines 1-gen-2015 Anselma, Luca; Bottrighi, Alessio; Giordano, Laura; Hommersom, Arjen; Molino, Gianpaolo; Montani, Stefania; Terenziani, Paolo; Torchio, Mauro
A language for handling hypothetical updates and inconsistency. 1-gen-1997 D. M., Gabbay; Giordano, Laura; A., Martelli; Olivetti, N.
A logical characterization for truth maintenance systems with dependency-directed backtracking 1-gen-1995 Giordano, Laura; A., Martelli
A minimal model semantics for nonmonotonic reasoning 1-gen-2012 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
A minimal model semantics for rational closure 1-gen-2012 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
A Modal Extension of Logic Programming 1-gen-1994 M., Baldoni; Giordano, Laura; A., Martelli
A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning 1-gen-1998 M., Baldoni; Giordano, Laura; A., Martelli
A modal framework for structuring logic programs 1-gen-1992 Giordano, Laura; Martelli, A.
A MODAL RECONSTRUCTION OF BLOCKS AND MODULES IN LOGIC PROGRAMMING 1-gen-1991 Giordano, Laura; A., Martelli
A modal reconstruction of Rational Closure 1-gen-2012 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
A Multi-engine Theorem Prover for a Description Logic of Typicality 1-gen-2015 Giordano, Laura; Valentina, Gliozzi; Nicola, Olivetti; Gian Luca, Pozzato; Luca, Violanti
A multimodal logic to define modules in logic programming 1-gen-1993 M., Baldoni; Giordano, Laura; A., Martelli