default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGian Luca Pozzato
Gianluca Pozzato
Person information
- affiliation: University of Turin, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j23]Antonio Lieto
, Manuel Striani, Cristina Gena, Enrico Dolza, Anna Maria Marras, Gian Luca Pozzato, Rossana Damiano:
A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. Hum. Comput. Interact. 39(1-2): 109-143 (2024)- [c78]Antonio Lieto, Gian Luca Pozzato, Gioele Tallone:
A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination. CILC 2024 - [c77]Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato:
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. ISMIS 2024: 24-32 - 2023
- [j22]Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano:
DEGARI 2.0: A diversity-seeking, explainable, and affective art recommender for social inclusion. Cogn. Syst. Res. 77: 1-17 (2023) - [c76]Gian Luca Pozzato, Marco Spinnicchia:
A Defeasible Description Logic for Abduction. AI*IA 2023: 74-87 - [c75]Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese:
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. CILC 2023 - [i8]Antonio Lieto, Manuel Striani, Cristina Gena, Enrico Dolza, Anna Maria Marras, Gian Luca Pozzato, Rossana Damiano:
A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. CoRR abs/2304.14117 (2023) - 2022
- [j21]Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese:
Combining neural and symbolic approaches to solve the Picasso problem: A first step. Displays 74: 102203 (2022) - [j20]Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato:
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. 32(2): 233-280 (2022) - [j19]Gian Luca Pozzato:
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo. Theory Pract. Log. Program. 22(3): 496-498 (2022) - [c74]Chiara Barbera, Antonio Lieto, Gian Luca Pozzato:
An Ontology-based Tool for Dynamic Generation, Classification and Recommendation of Novel Contents in Online Libraries. AI4CH@AI*IA 2022: 1-12 - [c73]Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano:
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. OVERLAY@AI*IA 2022: 45-50 - [c72]Antonio Lieto, Gian Luca Pozzato, Alberto Valese, Mattia Zito:
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content. AI*IA 2022: 313-326 - [c71]Nicola Olivetti, Nikola Panic, Gian Luca Pozzato:
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. AI*IA 2022: 345-357 - [c70]Nikola Panic, Gian Luca Pozzato:
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. CILC 2022: 217-231 - 2021
- [j18]Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano:
A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification. Knowl. Based Syst. 227: 107166 (2021) - [e4]Dario Della Monica, Gian Luca Pozzato, Enrico Scala:
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. CEUR Workshop Proceedings 2987, CEUR-WS.org 2021 [contents] - [e3]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents] - [i7]Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano:
A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification. CoRR abs/2101.04017 (2021) - 2020
- [j17]Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato:
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale 14(2): 215-229 (2020) - [j16]Antonio Lieto, Gian Luca Pozzato:
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics. J. Exp. Theor. Artif. Intell. 32(5): 769-804 (2020) - [c69]Antonio Lieto, Gian Luca Pozzato:
What Cognitive Research Can Do for AI: a Case Study (short paper). DP@AI*IA 2020: 41-48 - [c68]Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato:
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). IJCAR (2) 2020: 378-387 - [c67]Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato:
Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC 2020: 199-213 - [c66]Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti:
A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting. ECAI 2020: 680-687 - [c65]Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato:
A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures. ECAI 2020: 2893-2894 - [c64]Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato:
Theorem Proving for Non-normal Modal Logics. OVERLAY 2020: 17-22 - [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 - [e2]Giuseppe Cota, Marilena Daquino, Gian Luca Pozzato:
Applications and Practices in Ontology Design, Extraction, and Reasoning. Studies on the Semantic Web 49, IOS Press 2020, ISBN 978-1-64368-142-9 [contents] - [i6]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)
2010 – 2019
- 2019
- [j15]Antonio Lieto, Federico Perrone, Gian Luca Pozzato, Eleonora Chiodino:
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures. Cogn. Syst. Res. 58: 305-316 (2019) - [j14]Antonio Lieto, Gian Luca Pozzato:
Applying a description logic of typicality as a generative tool for concept combination in computational creativity. Intelligenza Artificiale 13(1): 93-106 (2019) - [j13]Gian Luca Pozzato:
Typicalities and probabilities of exceptions in nonmotonic Description Logics. Int. J. Approx. Reason. 107: 81-100 (2019) - [c63]Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato:
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA 2019: 165-179 - [c62]Antonio Lieto, Federico Perrone, Gian Luca Pozzato, Eleonora Chiodino:
A Typicality-Based Knowledge Generation Framework. BICA 2019: 305-307 - [c61]Gian Luca Pozzato, Gabriele Soriano:
PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). CILC 2019: 147-156 - [c60]Antonio Lieto, Federico Perrone, Gian Luca Pozzato:
GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). CILC 2019: 157-166 - [c59]Antonio Lieto, Gian Luca Pozzato, Federico Perrone:
A Dynamic Knowledge Generation System for Cognitive Agents. ICTAI 2019: 676-681 - [c58]Antonio Lieto, Gian Luca Pozzato, Federico Perrone, Eleonora Chiodino:
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention. K-CAP 2019: 109-114 - 2018
- [j12]Roberto Micalizio, Gian Luca Pozzato:
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach. Fundam. Informaticae 161(1-2): 163-189 (2018) - [c57]Antonio Lieto, Gian Luca Pozzato:
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics. AI*IA 2018: 183-196 - [c56]Antonio Lieto, Gian Luca Pozzato, Alberto Valese:
COCOS: a typicality based COncept COmbination System. CILC 2018: 55-59 - [c55]Gian Luca Pozzato:
On Probabilities of Exceptions in Description Logics of Typicality. CILC 2018: 60-74 - [c54]Antonio Lieto, Gian Luca Pozzato:
A Description Logic of Typicality for Conceptual Combination. ISMIS 2018: 189-199 - [i5]Antonio Lieto, Gian Luca Pozzato:
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics. CoRR abs/1811.02366 (2018) - 2017
- [j11]Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato:
Preface. Fundam. Informaticae 150(1): v-vi (2017) - [j10]Gian Luca Pozzato:
Reasoning about plausible scenarios in Description Logics of typicality. Intelligenza Artificiale 11(1): 25-45 (2017) - [c53]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics 2017 - [c52]Gian Luca Pozzato:
Reasoning in Description Logics with Typicalities and Probabilities of Exceptions. ECSQARU 2017: 409-420 - [c51]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC 2017: 306-320 - [c50]Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato:
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX 2017: 131-148 - [c49]Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis:
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX 2017: 149-159 - 2016
- [j9]Régis Alenda, Nicola Olivetti, Gian Luca Pozzato:
Nested sequent calculi for normal conditional logics. J. Log. Comput. 26(1): 7-50 (2016) - [c48]Gian Luca Pozzato:
Reasoning About Surprising Scenarios in Description Logics of Typicality. AI*IA 2016: 418-432 - [c47]Gianluca Pozzato:
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. CILC 2016: 37-52 - [c46]Roberto Micalizio, Gianluca Pozzato:
Typicality-based Revision for Handling Exceptions in Description Logics. CILC 2016: 158-173 - [c45]Roberto Micalizio, Gian Luca Pozzato:
A Typicality-Based Revision to Handle Exceptions in Description Logics. ECAI 2016: 1650-1651 - [c44]Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato:
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA 2016: 272-287 - 2015
- [j8]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) - [j7]Nicola Olivetti, Gian Luca Pozzato:
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. Intelligenza Artificiale 9(2): 109-125 (2015) - [c43]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 - [c42]Nicola Olivetti, Gian Luca Pozzato:
A natural sequent calculus for Lewis' logic of counterfactuals. CILC 2015: 13-18 - [c41]Gian Luca Pozzato:
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. CILC 2015: 159-174 - [c40]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics 2015 - [c39]Nicola Olivetti, Gian Luca Pozzato:
A Standard Internal Calculus for Lewis' Counterfactual Logics. TABLEAUX 2015: 270-286 - 2014
- [j6]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Logics in access control: a conditional approach. J. Log. Comput. 24(4): 705-762 (2014) - [c38]Nicola Olivetti, Gian Luca Pozzato:
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. IJCAR 2014: 511-518 - [c37]Roberto Micalizio, Gianluca Pozzato:
Revising Description Logic Terminologies to Handle Exceptions: a First Step. CILC 2014: 225-240 - [c36]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. Description Logics 2014: 543-555 - [c35]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal models for rational closure in SHIQ. ICTCS 2014: 271-277 - [e1]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings 1195, CEUR-WS.org 2014 [contents] - [i4]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. CoRR abs/1406.2023 (2014) - 2013
- [j5]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013) - [c34]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 - [c33]Nicola Olivetti, Gian Luca Pozzato:
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. CILC 2013: 49-63 - [c32]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Semantics for Rational Closure: Preliminary Results. CILC 2013: 99-113 - [c31]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics 2013: 168-180 - [i3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
On Rational Closure in Description Logics of Typicality. CoRR abs/1305.1060 (2013) - 2012
- [c30]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Modal Reconstruction of Rational Closure. CILC 2012: 161-175 - [c29]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012 - [c28]Régis Alenda, Nicola Olivetti, Gian Luca Pozzato:
Nested Sequent Calculi for Conditional Logics. JELIA 2012: 14-27 - [c27]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241 - 2011
- [j4]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) - [c26]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 - [c25]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55 - [c24]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 - [c23]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 - [c22]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179 - [c21]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
- [b1]Gian Luca Pozzato:
Conditional and Preferential Logics: Proof Methods and Theorem Proving. Frontiers in Artificial Intelligence and Applications 208, IOS Press 2010, ISBN 978-1-60750-094-0, pp. 1-200 - [c20]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Constructive Conditional Logic for Access Control. CILC 2010 - [c19]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010 - [c18]Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116 - [c17]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070 - [c16]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074 - [c15]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332
2000 – 2009
- 2009
- [j3]Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato:
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96(3): 341-372 (2009) - [j2]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) - [c14]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 - [c13]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in ALC and EL. Description Logics 2009 - [c12]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436 - [c11]Régis Alenda, Nicola Olivetti, Gian Luca Pozzato:
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. M4M 2009: 3-16 - 2008
- [c10]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione 2008 - [c9]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205 - 2007
- [j1]Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8(4): 22 (2007) - [c8]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 - [c7]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Description Logics. LPAR 2007: 257-272 - [c6]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244 - 2006
- [c5]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758 - [c4]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202 - [i2]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006) - 2005
- [c3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681 - [c2]Nicola Olivetti, Gian Luca Pozzato:
CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX 2005: 328-332 - 2004
- [i1]Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. CoRR cs.LO/0407064 (2004) - 2003
- [c1]Nicola Olivetti, Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics. TABLEAUX 2003: 264-270
Coauthor Index
[j20] [c71] [j17] [c68] [c67] [c64] [p1] [i6] [c63] [c50] [c49] [j9] [c44] [j8] [j7] [c43] [c42] [c40] [c39] [c38] [c36] [c35] [i4] [j5] [c34] [c33] [c32] [c31] [i3] [c30] [c29] [c28] [c27] [j4] [c26] [c25] [c23] [c21] [c19] [c17] [c15] [j3] [j2] [c14] [c13] [c12] [c11] [c10] [c9] [j1] [c8] [c7] [c5] [c4] [i2] [c3] [c2] [i1] [c1]
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-07-27 17:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
