| 2009 |
|---|
| 13 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
|---|
| 12 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics.
JELIA 2008: 192-205 |
| 2007 |
|---|
| 11 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.
AI*IA 2007: 84-96 |
| 10 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Preferential Description Logics.
LPAR 2007: 257-272 |
| 9 | EE | Laura Giordano,
Valentina Gliozzi,
Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
TABLEAUX 2007: 238-244 |
| 8 | EE | Nicola Olivetti,
Gian Luca Pozzato,
Camilla Schwind:
A sequent calculus and a theorem prover for standard conditional logics.
ACM Trans. Comput. Log. 8(4): (2007) |
| 2006 |
|---|
| 7 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning.
ECAI 2006: 757-758 |
| 6 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R.
JELIA 2006: 190-202 |
| 5 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
CoRR abs/cs/0611046: (2006) |
| 2005 |
|---|
| 4 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics.
LPAR 2005: 666-681 |
| 3 | EE | Nicola Olivetti,
Gian Luca Pozzato:
CondLean 3.0: Improving CondLean for Stronger Conditional Logics.
TABLEAUX 2005: 328-332 |
| 2004 |
|---|
| 2 | EE | Nicola Olivetti,
Gian Luca Pozzato,
Camilla Schwind:
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
CoRR cs.LO/0407064: (2004) |
| 2003 |
|---|
| 1 | EE | Nicola Olivetti,
Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics.
TABLEAUX 2003: 264-270 |
