POZZATO, Gian Luca
POZZATO, Gian Luca
INFORMATICA
A conditional constructive logic for access control and its sequent calculus
2011-01-01 Genovese V.; Giordano L.; Gliozzi V.; Pozzato G.L.
A constructive conditional logic for access control: a preliminary report
2010-01-01 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus
2010-01-01 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
A Defeasible Description Logic for Abduction
2023-01-01 Pozzato G.L.; Spinnicchia M.
A description logic of typicality for conceptual combination
2018-01-01 Lieto, Antonio; Pozzato, Gian Luca*
A Dynamic Knowledge Generation System for Cognitive Agents
2019-01-01 Lieto Antonio, Pozzato Gian Luca, Perrone Federico
A Goal-Directed Calculus for Standard Conditional Logics
2007-01-01 N. OLIVETTI; G. POZZATO
A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures
2020-01-01 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-01-01 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-01-01 Lieto A.; Pozzato G.L.; Valese A.; Zito M.
A minimal model semantics for nonmonotonic reasoning
2012-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A minimal model semantics for rational closure
2012-01-01 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
A Modal Reconstruction of Rational Closure
2012-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A Multi-Engine Theorem Prover for a Description Logic of Typicality
2015-01-01 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
A natural sequent calculus for Lewis logic of counterfactuals
2015-01-01 Olivetti, Nicola; Pozzato, Gian Luca
A Non-monotonic Description Logic of Typicality
2009-01-01 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
A nonmonotonic extension of KLM Preferential Logic P
2010-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A semantics for Rational Closure: Preliminary Results
2013-01-01 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
A standard and internal calculus for Lewis counterfactual logics
2015-01-01 Olivetti, Nicola; Pozzato, Gian Luca
A tableau calculus for a nonmonotonic extension of EL^\bot
2011-01-01 Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.