2009 |
44 | 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) |
43 | 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) |
42 | EE | Régis Alenda,
Nicola Olivetti,
Camilla Schwind:
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
CoRR abs/0902.0899: (2009) |
2008 |
41 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics.
JELIA 2008: 192-205 |
2007 |
40 | | Nicola Olivetti:
Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Springer 2007 |
39 | 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 |
38 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Preferential Description Logics.
LPAR 2007: 257-272 |
37 | 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 |
36 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning.
ECAI 2006: 757-758 |
35 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R.
JELIA 2006: 190-202 |
34 | 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 |
33 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics.
LPAR 2005: 666-681 |
32 | EE | Nicola Olivetti,
Gian Luca Pozzato:
CondLean 3.0: Improving CondLean for Stronger Conditional Logics.
TABLEAUX 2005: 328-332 |
31 | | George Metcalfe,
Nicola Olivetti:
Goal-Directed Methods for Fuzzy Logics.
We Will Show Them! (2) 2005: 307-330 |
30 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Sequent and hypersequent calculi for abelian and łukasiewicz logics.
ACM Trans. Comput. Log. 6(3): 578-613 (2005) |
29 | 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) |
28 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Lukasiewicz Logic: From Proof Systems To Logic Programming.
Logic Journal of the IGPL 13(5): 561-585 (2005) |
2004 |
27 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Goal-Directed Methods for Lukasiewicz Logic.
CSL 2004: 85-99 |
26 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Analytic Calculi for Product Logics.
Arch. Math. Log. 43(7): 859-890 (2004) |
25 | 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 |
24 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Goal-Directed Calculli for Gödel-Dummett Logics.
CSL 2003: 413-426 |
23 | EE | Nicola Olivetti,
Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics.
TABLEAUX 2003: 264-270 |
22 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics.
TABLEAUX 2003: 81-101 |
21 | | Nicola Olivetti:
Tableaux for Lukasiewicz Infinite-valued Logic.
Studia Logica 73(1): 81-111 (2003) |
2002 |
20 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics.
TABLEAUX 2002: 191-205 |
19 | EE | Piero A. Bonatti,
Nicola Olivetti:
Sequent calculi for propositional nonmonotonic logics.
ACM Trans. Comput. Log. 3(2): 226-278 (2002) |
18 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
CoRR cs.LO/0211021: (2002) |
17 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Iterated Belief Revision and Conditional Logic.
Studia Logica 70(1): 23-47 (2002) |
2001 |
16 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution.
AI*IA 2001: 165-175 |
15 | EE | Nicola Olivetti,
Camilla Schwind:
A Calculus and Complexity Bound for Minimal Conditional Logic.
ICTCS 2001: 384-404 |
2000 |
14 | | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision.
ECAI 2000: 28-32 |
13 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti,
Maria Luisa Sapino:
Conditional reasoning in logic programming.
J. Log. Program. 44(1-3): 37-74 (2000) |
1998 |
12 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti:
A Conditional Logic for Belief Revision.
JELIA 1998: 294-308 |
11 | | Laura Giordano,
Nicola Olivetti:
Combining Negation as Failure and Embedded Implications in Logic Programs.
J. Log. Program. 36(2): 91-147 (1998) |
10 | EE | Agata Ciabattoni,
Dov M. Gabbay,
Nicola Olivetti:
Cut-free proof systems for logics of weak excluded middle.
Soft Comput. 2(4): 147-156 (1998) |
9 | | Dov M. Gabbay,
Nicola Olivetti:
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.
Studia Logica 61(2): 237-280 (1998) |
8 | EE | Daniele Mundici,
Nicola Olivetti:
Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz.
Theor. Comput. Sci. 200(1-2): 335-366 (1998) |
1997 |
7 | | Piero A. Bonatti,
Nicola Olivetti:
A Sequent Calculus for Circumscription.
CSL 1997: 98-114 |
6 | | Piero A. Bonatti,
Nicola Olivetti:
A Sequent Calculus for Skeptical Default Logic.
TABLEAUX 1997: 107-121 |
1996 |
5 | EE | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency.
Logic Journal of the IGPL 4(3): 385-416 (1996) |
1995 |
4 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
LPNMR 1995: 203-216 |
1994 |
3 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
Conditonal Logic Programming.
ICLP 1994: 272-289 |
1992 |
2 | | Laura Giordano,
Nicola Olivetti:
Negation as Failure in Intuitionistic Logic Programming.
JICSLP 1992: 431-445 |
1 | | Nicola Olivetti:
Tableaux and Sequent Calculus for Minimal Entailment.
J. Autom. Reasoning 9(1): 99-139 (1992) |