CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 88
Titolo Data di pubblicazione Autore(i) File
A Conditional Logic for Belief Revision. 1998 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
A Conditional Logic for Iterated Belief Revision. 2000 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
Belief Revision and the Ramsey Test: a solution. 2001 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
Iterated Belief Revision and Conditional Logic 2002 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
Tableau Calculi for Preference-Based Conditional Logics. 2003 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; AND C. SCHWIND
Extensions of Tableau calculi for preference-based conditional logics 2005 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; C. SCHWIND
A Tableaux Calculus for KLM Preferential and Cumulative Logics 2005 L. GIORDANO; N. OLIVETTI; V. GLIOZZI; G. POZZATO
Analytic Tableaux for KLM Preferential and Cumulative Logics 2005 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Weak AGM postulates and Strong Ramsey Test: a logical formalization 2005 L. GIORDANO; V. GLIOZZI; N. OLIVETTI
Analytic Tableaux Calculi for KLM Rational Logic R 2006 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Automated Deduction for Logics of Default Reasoning 2006 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning 2007 L. GIORDANO; V. GLIOZZI; G. POZZATO
Extension of Description Logics for Reasoning About Typicality 2007 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
KLMLean 2007 L. Giordano; V. Gliozzi; G.L. Pozzato
FreeP 2007 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations 2007 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0 2007 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Preferential Description Logics 2007 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
ALC+T: Reasoning About Typicality in Description Logics 2008 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
The impact of labels onvisual categorisation: a neural network model 2008 V. Gliozzi; J. Mayor; J.F. Hu; K. Plunkett
Mostrati risultati da 1 a 20 di 88
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile