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