POZZATO, Gian Luca

POZZATO, Gian Luca  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 132 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
32 voci nel Dizionario Treccani di Informatica, ICT e Nuovi Media: ACDSee Algebra relazionale Append Chiave Primaria Database Consistente Database relazionale DBMS Description Logic DO-WHILE e-bay Entità-relazioni, modello FOR loop GO TO Grassetto IF-THEN IF-THEN-ELSE Indirizzamento Indirizzo Ethernet Integrità referenziale Jacopini, Giuseppe Javasript MySQL Nero Burning ROM Normalizzazione PL/SQL Polimorfismo Prolog Query Rollback Salvaschermo Transazione Zuckerberg Mark Elliot 2012 Gian Luca Pozzato
A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification 2021 Lieto A.; Pozzato G.L.; Zoia S.; Patti V.; Damiano R.
A conditional constructive logic for access control and its sequent calculus 2011 Genovese V.; Giordano L.; Gliozzi V.; Pozzato G.L.
A constructive conditional logic for access control: a preliminary report 2010 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus 2010 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A Defeasible Description Logic for Abduction 2023 Pozzato G.L.; Spinnicchia M.
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics 2020 Lieto A.; Pozzato G.L.
A description logic of typicality for conceptual combination 2018 Lieto, Antonio; Pozzato, Gian Luca*
A Dynamic Knowledge Generation System for Cognitive Agents 2019 Lieto Antonio, Pozzato Gian Luca, Perrone Federico
A Goal-Directed Calculus for Standard Conditional Logics 2007 N. OLIVETTI; G. POZZATO
A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures 2020 Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato
A Knowledge-based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting 2020 Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content 2023 Lieto A.; Pozzato G.L.; Valese A.; Zito M.
A minimal model semantics for nonmonotonic reasoning 2012 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A minimal model semantics for rational closure 2012 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
A Modal Reconstruction of Rational Closure 2012 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A Multi-Engine Theorem Prover for a Description Logic of Typicality 2015 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
A natural sequent calculus for Lewis logic of counterfactuals 2015 Olivetti, Nicola; Pozzato, Gian Luca
A Non-monotonic Description Logic of Typicality 2009 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
A NonMonotonic Description Logic for Reasoning About Typicality 2013 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato