BibSonomy :: author  ::

bookmarks

publications

(16)

• Morphologies in two-dimensional growth with attractive long-range interactions
  G. Indiveri and E. Scalas and A. C. Levi and A. Gliozzi Physica A: Statistical Mechanics and its Applications 273 217--230 (1999)
  to Morphology by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Temperature and disequilibrium dependence of cluster growth
  A. Gliozzi and A. C. Levi and M. Menessini and E. Scalas Physica A: Statistical and Theoretical Physics 203 347--358 (1994)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Fluid interfaces in the 3D Ising model as a dilute gas of handles
  M. Caselle and F. Gliozzi and U. Magnea Physica A: Statistical and Theoretical Physics 215 21--39 (1995)
  to imported by smicha on 2008-04-22 10:36:30
  | URL | BibTeX  
• Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato CoRR abs/cs/0611046 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Preferential Description Logics.
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato LPAR 257-272 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX  
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
  Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato TABLEAUX 238-244 (2007)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato AI*IA 84-96 (2007)
  to dblp by dblp on 2007-08-27 00:00:00
  | URL | BibTeX  
• Analytic Tableau Calculi for KLM Rational Logic R.
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato JELIA 190-202 (2006)
  to dblp by dblp on 2006-10-30 00:00:00
  | URL | BibTeX  
• Automated Deduction for Logics of Default Reasoning.
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato ECAI 757-758 (2006)
  to dblp by dblp on 2006-10-25 00:00:00
  | URL | BibTeX  
• Analytic Tableaux for KLM Preferential and Cumulative Logics.
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato LPAR 666-681 (2005)
  to dblp by dblp on 2005-12-05 00:00:00
  | URL | BibTeX