| 2009 |
|---|
| 16 | 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) |
| 15 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Camilla Schwind:
Tableau calculus for preference-based conditional logics: PCL and its extensions.
ACM Trans. Comput. Log. 10(3): (2009) |
| 2008 |
|---|
| 14 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics.
JELIA 2008: 192-205 |
| 2007 |
|---|
| 13 | 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 |
| 12 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Preferential Description Logics.
LPAR 2007: 257-272 |
| 11 | EE | Laura Giordano,
Valentina Gliozzi,
Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.
TABLEAUX 2007: 238-244 |
| 2006 |
|---|
| 10 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning.
ECAI 2006: 757-758 |
| 9 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R.
JELIA 2006: 190-202 |
| 8 | 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 |
|---|
| 7 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics.
LPAR 2005: 666-681 |
| 6 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Weak AGM postulates and strong Ramsey Test: A logical formalization.
Artif. Intell. 168(1-2): 1-37 (2005) |
| 2003 |
|---|
| 5 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics.
TABLEAUX 2003: 81-101 |
| 2002 |
|---|
| 4 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Iterated Belief Revision and Conditional Logic.
Studia Logica 70(1): 23-47 (2002) |
| 2001 |
|---|
| 3 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution.
AI*IA 2001: 165-175 |
| 2000 |
|---|
| 2 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision.
ECAI 2000: 28-32 |
| 1998 |
|---|
| 1 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
A Conditional Logic for Belief Revision.
JELIA 1998: 294-308 |
