The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nicola Olivetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  39. Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. [Citation Graph (, )][DBLP]


  40. Tableau Calculi for CSL\mathcal{CSL} over minspaces. [Citation Graph (, )][DBLP]


  41. Reasoning About Typicality in ALC and EL. [Citation Graph (, )][DBLP]


  42. Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. [Citation Graph (, )][DBLP]


  43. Reasoning about Typicality in Preferential Description Logics. [Citation Graph (, )][DBLP]


  44. Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]


  45. Proof Systems for a Gödel Modal Logic. [Citation Graph (, )][DBLP]


  46. Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. [Citation Graph (, )][DBLP]


  47. Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus [Citation Graph (, )][DBLP]


  48. CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. [Citation Graph (, )][DBLP]


Search in 0.152secs, Finished in 0.156secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002