Остановите войну!
for scientists:
default search action
Nicola Olivetti
- > Home > Persons > Nicola Olivetti
Publications
- 2020
- [p1]Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 145-161 - [i9]Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR abs/2004.09507 (2020) - 2018
- [j28]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159(1-2): 95-122 (2018) - 2015
- [j25]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226: 1-33 (2015) - [c56]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA 2015: 164-178 - [c54]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics 2015 - 2014
- [c50]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. Description Logics 2014: 543-555 - [c49]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal models for rational closure in SHIQ. ICTCS 2014: 271-277 - [i6]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. CoRR abs/1406.2023 (2014) - 2013
- [j23]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013) - [c48]Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato:
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA 2013: 60-72 - [c46]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Semantics for Rational Closure: Preliminary Results. CILC 2013: 99-113 - [c45]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics 2013: 168-180 - [i5]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
On Rational Closure in Description Logics of Typicality. CoRR abs/1305.1060 (2013) - 2012
- [c44]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Modal Reconstruction of Rational Closure. CILC 2012: 161-175 - [c43]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012 - [c40]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241 - 2011
- [j21]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5(1): 127-131 (2011) - [c39]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA 2011: 164-176 - [c38]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55 - [c37]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. IJCAI 2011: 894-899 - [c35]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. TABLEAUX 2011: 180-195 - 2010
- [c34]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010 - [c32]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070 - [c30]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332 - 2009
- [j19]Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato:
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96(3): 341-372 (2009) - [j18]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): 18:1-18:47 (2009) - [j17]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): 21:1-21:50 (2009) - [c29]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. AI*IA 2009: 62-71 - [c28]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in ALC and EL. Description Logics 2009 - [c27]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436 - 2008
- [c23]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione 2008 - [c22]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205 - 2007
- [c21]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 - [c20]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Description Logics. LPAR 2007: 257-272 - 2006
- [c19]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758 - [c18]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202 - [i3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006) - 2005
- [j15]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005) - [c16]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681 - 2003
- [c12]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101 - 2002
- [j10]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Iterated Belief Revision and Conditional Logic. Stud Logica 70(1): 23-47 (2002) - 2001
- [c9]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175 - 2000
- [j8]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) - [c7]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32 - 1998
- [j7]Laura Giordano, Nicola Olivetti:
Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36(2): 91-147 (1998) - [c6]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Belief Revision. JELIA 1998: 294-308 - 1996
- [j3]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL 4(3): 385-416 (1996) - 1995
- [c3]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216 - 1994
- [c2]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Conditonal Logic Programming. ICLP 1994: 272-289 - 1992
- [c1]Laura Giordano, Nicola Olivetti:
Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 18:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint