Concepedia

Nicola Olivetti

NO

27

Publications

1K

Citations

19

H-Index

1992

Active since

Affiliations

University of Turin(Current)

Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Centre National de la Recherche Scientifique

Aix-Marseille Université

University of Milan

Nicola Olivetti is an author at University of Turin specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsVerificationLogic ProgrammingFuzzy LogicProof Complexity

Publications per year

1992–2015

27

Publications

27

A non-monotonic Description Logic for reasoning about typicality

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · Artificial Intelligence · 2012 · 141 citations · Full text

Reasoning, Non-classical Logic, Non-monotonic Logic +6

Semantic characterization of rational closure: From propositional logic to description logics

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · Artificial Intelligence · 2015 · 137 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +13

ALC + T: a Preferential Extension of Description Logics

Laura Giordano, Nicola Olivetti, Valentina Gliozzic et al. · Fundamenta Informaticae · 2009 · 111 citations

Sequent and hypersequent calculi for abelian and łukasiewicz logics

George Metcalfe, Nicola Olivetti, Dov M. Gabbay · ACM Transactions on Computational Logic · 2005 · 69 citations · Full text

Algebraic Logic, Non-classical Logic, łUkasiewicz Logic ł +7

A sequent calculus and a theorem prover for standard conditional logics

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind · ACM Transactions on Computational Logic · 2007 · 58 citations

Theorem Prover, Engineering, Automated Reasoning +15

Rows per page

1–5 of 27