BibSonomy :: author  ::

bookmarks

publications

(12)

• Reasoning about Typicality in Preferential Description Logics.
  Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato JELIA 192-205 (2008)
  to dblp by dblp on 2008-10-01 00:00:00
  | 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  
• A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
  Nicola Olivetti and Gian Luca Pozzato and Camilla Schwind CoRR cs.LO/0407064 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A sequent calculus and a theorem prover for standard conditional logics.
  Nicola Olivetti and Gian Luca Pozzato and Camilla Schwind ACM Trans. Comput. Log. 8 (2007)
  to dblp by dblp on 2007-10-23 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