default search action
Nicola Olivetti
Person information
- affiliation: Aix-Marseille University, LSIS, Marseille, France
- affiliation: University of Turin, Department of Computer Science, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j34]Tiziano Dalmonte, Charles Grellois, Nicola Olivetti:
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. J. Log. Comput. 34(4): 764-794 (2024) - [c78]Philippe Balbiani, Han Gao
, Çigdem Gencer, Nicola Olivetti:
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL 2024: 13:1-13:21 - [c77]Philippe Balbiani
Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) 2024: 78-96 - [c76]Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi:
A Proof Calculus for Ethical Reasoning. PRIMA 2024: 189-205 - [i14]Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
Local Intuitionistic Modal Logics and Their Calculi. CoRR abs/2403.06772 (2024) - [i13]Agata Ciabattoni, Nicola Olivetti, Xavier Parent:
Dyadic obligations: proofs and countermodels via hypersequents. CoRR abs/2406.09088 (2024) - 2023
- [c75]Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas:
Analytic Proof Theory for Åqvist's System F. DEON 2023: 79-98 - [c74]Dirk Pattinson
Resolution Calculi for Non-normal Modal Logics. TABLEAUX 2023: 322-341 - [i12]Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti:
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR abs/2309.06309 (2023) - [i11]Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake:
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR abs/2312.03426 (2023) - 2022
- [j33]Marianna Girlando, Björn Lellmann
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. 32(2): 233-280 (2022) - [c73]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 - [c72]Agata Ciabattoni
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA 2022: 54-71 - [c71]Tiziano Dalmonte
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. WoLLIC 2022: 280-294 - 2021
- [j32]Tiziano Dalmonte, Björn Lellmann
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. J. Log. Comput. 31(1): 67-111 (2021) - [j31]Marianna Girlando, Sara Negri, Nicola Olivetti:
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. J. Log. Comput. 31(3): 947-997 (2021) - [c70]Tiziano Dalmonte, Charles Grellois, Nicola Olivetti:
Proof Systems for the Logics of Bringing-It-About. DEON 2021: 114-132 - [c69]Tiziano Dalmonte
Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX 2021: 391-408 - 2020
- [j30]Tiziano Dalmonte
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale 14(2): 215-229 (2020) - [j29]Tiziano Dalmonte
Intuitionistic Non-normal Modal Logics: A General Framework. J. Philos. Log. 49(5): 833-882 (2020) - [c68]Tiziano Dalmonte
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]Tiziano Dalmonte
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. LFCS 2020: 27-46 - [c65]Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato:
Theorem Proving for Non-normal Modal Logics. OVERLAY 2020: 17-22 - [p2]Thierry Boy de la Tour, Ricardo Caferra, Nicola Olivetti, Nicolas Peltier, Camilla Schwind:
Automated Deduction. A Guided Tour of Artificial Intelligence Research (2) (II) 2020: 53-81 - [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 - [e3]Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu:
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. College Publications 2020, ISBN 978-1-84890-341-8 [contents] - [i10]Marianna Girlando, Sara Negri, Nicola Olivetti:
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. CoRR abs/2002.05958 (2020) - [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) - [i8]Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel:
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. CoRR abs/2006.05436 (2020)
2010 – 2019
- 2019
- [c64]Tiziano Dalmonte
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA 2019: 165-179 - [c63]Marianna Girlando
Nested Sequents for the Logic of Conditional Belief. JELIA 2019: 709-725 - [i7]Tiziano Dalmonte, Charles Grellois, Nicola Olivetti:
Intuitionistic Non-Normal Modal Logics: A general framework. CoRR abs/1901.09812 (2019) - 2018
- [j28]Laura Giordano
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159(1-2): 95-122 (2018) - [j27]Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch:
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. Rev. Symb. Log. 11(4): 736-779 (2018) - [c62]Tiziano Dalmonte, Nicola Olivetti, Sara Negri:
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Advances in Modal Logic 2018: 159-178 - [c61]Marianna Girlando, Nicola Olivetti, Sara Negri:
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Advances in Modal Logic 2018: 291-310 - 2017
- [c60]Marianna Girlando, Björn Lellmann
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX 2017: 131-148 - [c59]Marianna Girlando, Björn Lellmann
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX 2017: 149-159 - 2016
- [j26]Régis Alenda, Nicola Olivetti, Gian Luca Pozzato:
Nested sequent calculi for normal conditional logics. J. Log. Comput. 26(1): 7-50 (2016) - [c58]Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch:
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Advances in Modal Logic 2016: 322-341 - [c57]Marianna Girlando, Björn Lellmann
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA 2016: 272-287 - [e2]Nicola Olivetti, Ashish Tiwari
Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Lecture Notes in Computer Science 9706, Springer 2016, ISBN 978-3-319-40228-4 [contents] - 2015
- [j25]Laura Giordano
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226: 1-33 (2015) - [j24]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) - [c56]Laura Giordano
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA 2015: 164-178 - [c55]Nicola Olivetti, Gian Luca Pozzato:
A natural sequent calculus for Lewis' logic of counterfactuals. CILC 2015: 13-18 - [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 - [c53]Sara Negri, Nicola Olivetti:
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. TABLEAUX 2015: 115-134 - [c52]Nicola Olivetti, Gian Luca Pozzato:
A Standard Internal Calculus for Lewis' Counterfactual Logics. TABLEAUX 2015: 270-286 - 2014
- [c51]Nicola Olivetti, Gian Luca Pozzato:
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. IJCAR 2014: 511-518 - [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
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013) - [c48]Laura Giordano
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA 2013: 60-72 - [c47]Nicola Olivetti, Gian Luca Pozzato:
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. CILC 2013: 49-63 - [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 - [c42]Régis Alenda, Nicola Olivetti:
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. JELIA 2012: 1-13 - [c41]Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested Sequent Calculi for Conditional Logics. JELIA 2012: 14-27 - [c40]Laura Giordano
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241 - 2011
- [j22]George Metcalfe
Towards a Proof Theory of Gödel Modal Logics. Log. Methods Comput. Sci. 7(2) (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
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
Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. IJCAI 2011: 894-899 - [c36]Régis Alenda, Nicola Olivetti:
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. TABLEAUX 2011: 21-26 - [c35]Laura Giordano
A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. TABLEAUX 2011: 180-195 - 2010
- [j20]Nicola Olivetti:
Preface. J. Log. Comput. 20(1): 1-3 (2010) - [c34]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010 - [c33]Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky:
Tableau Calculi for CSL\mathcal{CSL} over minspaces. CSL 2010: 52-66 - [c32]Laura Giordano
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070 - [c31]Régis Alenda, Nicola Olivetti:
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. LPAR (Yogyakarta) 2010: 52-66 - [c30]Laura Giordano
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332
2000 – 2009
- 2009
- [j19]Laura Giordano
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96(3): 341-372 (2009) - [j18]Laura Giordano
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): 18:1-18:47 (2009) - [j17]Laura Giordano
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
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
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436 - [c26]Régis Alenda, Nicola Olivetti, Camilla Schwind:
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31 - [c25]George Metcalfe
Proof Systems for a Gödel Modal Logic. TABLEAUX 2009: 265-279 - [c24]Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. M4M 2009: 3-16 - [i4]Régis Alenda, Nicola Olivetti, Camilla Schwind:
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus. CoRR abs/0902.0899 (2009) - 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
Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205 - 2007
- [j16]Nicola Olivetti, Gian Luca Pozzato
A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8(4): 22 (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 - [e1]Nicola Olivetti:
Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4548, Springer 2007, ISBN 978-3-540-73098-9 [contents] - 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
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005) - [j14]George Metcalfe
Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL 13(5): 561-585 (2005) - [j13]George Metcalfe
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. 6(3): 578-613 (2005) - [c17]George Metcalfe, Nicola Olivetti:
Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) 2005: 307-330 - [c16]Laura Giordano
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681 - [c15]Nicola Olivetti, Gian Luca Pozzato
CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX 2005: 328-332 - 2004
- [j12]George Metcalfe
Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004) - [c14]George Metcalfe
Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99 - [i2]Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. CoRR cs.LO/0407064 (2004) - 2003
- [j11]Nicola Olivetti:
Tableaux for Lukasiewicz Infinite-valued Logic. Stud Logica 73(1): 81-111 (2003) - [c13]George Metcalfe
Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426 - [c12]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101 - [c11]Nicola Olivetti, Gian Luca Pozzato:
CondLean: A Theorem Prover for Conditional Logics. TABLEAUX 2003: 264-270 - 2002
- [j10]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Iterated Belief Revision and Conditional Logic. Stud Logica 70(1): 23-47 (2002) - [j9]Piero A. Bonatti, Nicola Olivetti:
Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3(2): 226-278 (2002) - [c10]George Metcalfe
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205 - [i1]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics. CoRR cs.LO/0211021 (2002) - 2001
- [c9]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175 - [c8]Nicola Olivetti, Camilla Schwind:
A Calculus and Complexity Bound for Minimal Conditional Logic. ICTCS 2001: 384-404 - 2000
- [j8]Dov M. Gabbay, Laura Giordano
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
1990 – 1999
- 1998
- [j7]Laura Giordano, Nicola Olivetti:
Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36(2): 91-147 (1998) - [j6]Dov M. Gabbay, Nicola Olivetti:
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Stud Logica 61(2): 237-280 (1998) - [j5]Agata Ciabattoni
Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4): 147-156 (1998) - [j4]Daniele Mundici, Nicola Olivetti:
Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. Theor. Comput. Sci. 200(1-2): 335-366 (1998) - [c6]Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Belief Revision. JELIA 1998: 294-308 - 1997
- [c5]Piero A. Bonatti, Nicola Olivetti:
A Sequent Calculus for Circumscription. CSL 1997: 98-114 - [c4]Piero A. Bonatti, Nicola Olivetti:
A Sequent Calculus for Skeptical Default Logic. TABLEAUX 1997: 107-121 - 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
- [j2]Nicola Olivetti:
Tableaux and Sequent Calculus for Minimal Entailment. J. Autom. Reason. 9(1): 99-139 (1992) - [j1]Nicola Olivetti, Lea Terracini
N-Prolog and equivalence of logic programs. J. Log. Lang. Inf. 1(4): 253-340 (1992) - [c1]Laura Giordano, Nicola Olivetti:
Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445
Coauthor Index
[j33] [c73] [j30] [c68] [c67] [c65] [p1] [i9] [c64] [c60] [c59] [j26] [c57] [j25] [j24] [c56] [c55] [c54] [c52] [c51] [c50] [c49] [i6] [j23] [c48] [c47] [c46] [c45] [i5] [c44] [c43] [c41] [c40] [j21] [c39] [c38] [c37] [c35] [c34] [c32] [c30] [j19] [j18] [c29] [c28] [c27] [c24] [c23] [c22] [j16] [c21] [c20] [c19] [c18] [i3] [c16] [c15] [i2] [c11]
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-12-03 21:22 CET 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: