default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAgata Ciabattoni
Person information
- affiliation: TU Wien, Vienna, Autria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c64]Agata Ciabattoni, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). IJCAI 2024: 8389-8393- [c63]Agata Ciabattoni, Matteo Tesi:
Sequents vs Hypersequents for Åqvist Systems. IJCAR (2) 2024: 176-195 - [e3]Agata Ciabattoni, David Gabelaia, Igor Sedlár:
Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. College Publications 2024, ISBN 978-1-84890-467-5 [contents] - [i13]Agata Ciabattoni, Nicola Olivetti, Xavier Parent:
Dyadic obligations: proofs and countermodels via hypersequents. CoRR abs/2406.09088 (2024) - [i12]Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri:
Support + Belief = Decision Trust. CoRR abs/2409.00666 (2024) - 2023
- [j38]Kees van Berkel
, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski:
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. J. Log. Lang. Inf. 32(1): 19-62 (2023) - [c62]Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas:
Analytic Proof Theory for Åqvist's System F. DEON 2023: 79-98 - [c61]Agata Ciabattoni, Josephine Dik, Elisa Freschi:
Disambiguating Permissions: A Contribution from Mimamsa. DEON 2023: 99-118 - [c60]Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre:
Deontic Equilibrium Logic with eXplicit Negation. JELIA 2023: 498-514 - [c59]Agata Ciabattoni, Xavier Parent, Giovanni Sartor:
Permission in a Kelsenian Perspective. JURIX 2023: 113-118 - [c58]Agata Ciabattoni, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi. KR 2023: 146-155 - [c57]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Cut-Restriction: From Cuts to Analytic Cuts. LICS 2023: 1-13 - [c56]Christian Hatschka, Agata Ciabattoni, Thomas Eiter:
Deontic Paradoxes in ASP with Weak Constraints. ICLP 2023: 367-380 - [i11]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Cut-restriction: from cuts to analytic cuts. CoRR abs/2304.13657 (2023) - [i10]Agata Ciabattoni, Dmitry Rozplokhas:
Streamlining Input/Output Logics with Sequent Calculi. CoRR abs/2306.09496 (2023) - [i9]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) - [i8]Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks:
Normative Reasoning for AI (Dagstuhl Seminar 23151). Dagstuhl Reports 13(4): 1-23 (2023) - 2022
- [j37]Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori:
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24(4): 43 (2022) - [c55]Lutz Straßburger, Matteo Tesi, Agata Ciabattoni:
Taming Bounded Depth with Nested Sequents. AiML 2022: 199-216 - [c54]Agata Ciabattoni, Nicola Olivetti, Xavier Parent:
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA 2022: 54-71 - [c53]Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni:
On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA 2022: 72-89 - [e2]Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings. Lecture Notes in Computer Science 13468, Springer 2022, ISBN 978-3-031-15297-9 [contents] - [i7]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
A theory of cut-restriction: first steps. CoRR abs/2203.01600 (2022) - 2021
- [j36]Björn Lellmann, Francesca Gulisano, Agata Ciabattoni:
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach. Artif. Intell. Law 29(3): 351-394 (2021) - [j35]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. J. Symb. Log. 86(2): 635-668 (2021) - [j34]Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu:
Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log. 22(3): 20:1-20:31 (2021) - [c52]Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori:
A Normative Supervisor for Reinforcement Learning Agents. CADE 2021: 565-576 - [c51]Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski:
The Gentle Murder Paradox in Sanskrit Philosophy. DEON 2021: 17-35 - [c50]Agata Ciabattoni, Björn Lellmann:
Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms. DEON 2021: 94-113 - [c49]Agata Ciabattoni, Xavier Parent, Giovanni Sartor:
A Kelsenian Deontic Logic. JURIX 2021: 141-150 - 2020
- [j33]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
On the concurrent computational content of intermediate logics. Theor. Comput. Sci. 813: 375-409 (2020) - [c48]Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco:
A typed parallel lambda-calculus via 1-depth intermediate proofs. LPAR 2020: 68-89
2010 – 2019
- 2019
- [c47]Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Sanjay Modgil:
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. LORI 2019: 355-369 - [c46]Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Bounded Sequent Calculi for Non-classical Logics via Hypersequents. TABLEAUX 2019: 94-110 - [i6]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
A typed parallel $λ$-calculus for graph-based communication. CoRR abs/1902.03882 (2019) - [i5]Gernot Salzer, Agata Ciabattoni, Christian G. Fermüller, Martin Haiduk, Harald Kittler, Arno Lukas, Rosa María Rodríguez Domínguez, Antonia Wesinger, Elisabeth Riedl:
Dermtrainer: A Decision Support System for Dermatological Diseases. CoRR abs/1907.00635 (2019) - [i4]Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu:
Display to Labelled Proofs and Back Again for Tense Logics. CoRR abs/1911.02289 (2019) - 2018
- [j32]Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake:
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop. ACM SIGLOG News 5(2): 58-60 (2018) - [j31]Agata Ciabattoni, Björn Lellmann, Kees van Berkel:
Deontic reasoning: from ancient texts to artificial intelligence.: workshop report. ACM SIGLOG News 5(4): 48-51 (2018) - [j30]Agata Ciabattoni, Francesco A. Genco:
Hypersequents and Systems of Rules: Embeddings and Applications. ACM Trans. Comput. Log. 19(2): 11:1-11:27 (2018) - [c45]Agata Ciabattoni:
Intermediate Logics: From Hypersequents to Concurrent Computation. Advances in Modal Logic 2018: 3 - [c44]Agata Ciabattoni, Francesca Gulisano, Björn Lellmann:
Resolving Conflicting Obligations in M={I}M={A}S={A}: a Sequent-based Approach. DEON 2018: 91-109 - [c43]Agata Ciabattoni, Tim Lyon, Revantha Ramanayake:
From Display to Labelled Proofs for Tense Logics. LFCS 2018: 120-139 - [c42]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Classical Proofs as Parallel Programs. GandALF 2018: 43-57 - [i3]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. CoRR abs/1802.00961 (2018) - 2017
- [j29]Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui:
Algebraic proof theory: Hypersequents and hypercompletions. Ann. Pure Appl. Log. 168(3): 693-737 (2017) - [j28]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller:
Preface. J. Log. Comput. 27(2): 415 (2017) - [c41]Paolo Baldi, Agata Ciabattoni, Francesca Gulisano:
Standard completeness for extensions of IMTL. FUZZ-IEEE 2017: 1-6 - [c40]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Gödel logic: From natural deduction to parallel computation. LICS 2017: 1-12 - [c39]Agata Ciabattoni, Revantha Ramanayake:
Bunched Hypersequent Calculi for Distributive Substructural Logics. LPAR 2017: 417-434 - [i2]Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann:
Mīmā\d{m}sā deontic logic: proof theory and applications. CoRR abs/1705.03211 (2017) - 2016
- [j27]Mattia Bongini, Agata Ciabattoni, Franco Montagna:
Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. 292: 130-149 (2016) - [j26]Matthias Baaz, Agata Ciabattoni:
Proof theory of witnessed Gödel logic: A negative result. J. Log. Comput. 26(1): 51-64 (2016) - [j25]Agata Ciabattoni, Revantha Ramanayake:
Power and Limits of Structural Display Rules. ACM Trans. Comput. Log. 17(3): 17 (2016) - [c38]Agata Ciabattoni, Francesco A. Genco:
Embedding formalisms: hypersequents and two-level systems of rule. Advances in Modal Logic 2016: 197-216 - [c37]Agata Ciabattoni:
Analytic Calculi for Non-Classical Logics: Theory and Applications. CSL 2016: 4:1-4:1 - [c36]Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel:
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA 2016: 75-93 - [i1]Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. CoRR abs/1607.05120 (2016) - 2015
- [j24]Paolo Baldi, Agata Ciabattoni:
Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. 603: 43-57 (2015) - [c35]Paolo Baldi, Agata Ciabattoni:
Standard Completeness for Uninorm-Based Logics. ISMVL 2015: 78-83 - [c34]Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann:
Mīmāṃsā Deontic Logic: Proof Theory and Applications. TABLEAUX 2015: 323-338 - 2014
- [j23]Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing:
Hypersequent and Display Calculi - a Unified Perspective. Stud Logica 102(6): 1245-1294 (2014) - [j22]Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky:
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16(1): 5:1-5:23 (2014) - [c33]Agata Ciabattoni, Lara Spendier:
Tools for the Investigation of Substructural and Paraconsistent Logics. JELIA 2014: 18-32 - 2013
- [j21]Agata Ciabattoni, Rusins Freivalds, Antonín Kucera, Igor Potapov, Stefan Szeider:
Preface. Fundam. Informaticae 123(1) (2013) - [j20]Agata Ciabattoni, David Picado-Muiño, Thomas Vetterlein, Moataz El-Zekey:
Formal approaches to rule-based systems in medicine: The case of CADIAG-2. Int. J. Approx. Reason. 54(1): 132-148 (2013) - [j19]Agata Ciabattoni, Franco Montagna:
Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. 480: 26-42 (2013) - [c32]Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky:
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS 2013: 119-133 - [c31]Agata Ciabattoni, Paolo Maffezioli, Lara Spendier:
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX 2013: 81-96 - [c30]Agata Ciabattoni, Revantha Ramanayake:
Structural Extensions of Display Calculi: A General Recipe. WoLLIC 2013: 81-95 - 2012
- [j18]Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui:
Algebraic proof theory for substructural logics: Cut-elimination and completions. Ann. Pure Appl. Log. 163(3): 266-290 (2012) - [j17]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability. Log. Methods Comput. Sci. 8(1) (2012) - [c29]Paolo Baldi, Agata Ciabattoni, Lara Spendier:
Standard Completeness for Extensions of MTL: An Automated Approach. WoLLIC 2012: 154-167 - 2011
- [j16]Matthias Baaz, Agata Ciabattoni, Norbert Preining:
First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. 412(47): 6612-6623 (2011) - [c28]Agata Ciabattoni, Ori Lahav, Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX 2011: 119-133 - 2010
- [j15]Agata Ciabattoni, George Metcalfe, Franco Montagna:
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3): 369-389 (2010) - [j14]Thomas Vetterlein, Agata Ciabattoni:
On the (fuzzy) logical content of CADIAG-2. Fuzzy Sets Syst. 161(14): 1941-1958 (2010) - [c27]Agata Ciabattoni, Pavel Rusnok:
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System. KR 2010
2000 – 2009
- 2009
- [c26]Agata Ciabattoni, Lutz Straßburger, Kazushige Terui:
Expanding the Realm of Systematic Proof Theory. CSL 2009: 163-178 - [c25]Arnon Avron, Agata Ciabattoni, Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009: 26-37 - [c24]Agata Ciabattoni, Thomas Vetterlein, Klaus-Peter Adlassnig:
A Formal Logical Framework for Cadiag-2. MIE 2009: 648-652 - [c23]Matthias Baaz, Agata Ciabattoni, Norbert Preining:
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC 2009: 113-123 - 2008
- [j13]Agata Ciabattoni, Alexander Leitsch:
Towards an algorithmic construction of cut-elimination procedures. Math. Struct. Comput. Sci. 18(1): 81-105 (2008) - [j12]Agata Ciabattoni, George Metcalfe:
Density elimination. Theor. Comput. Sci. 403(2-3): 328-346 (2008) - [c22]Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui:
From Axioms to Analytic Rules in Nonclassical Logics. LICS 2008: 229-240 - [c21]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR 2008: 451-466 - 2007
- [c20]Agata Ciabattoni, George Metcalfe:
Density Elimination and Rational Completeness for First-Order Logics. LFCS 2007: 132-146 - [c19]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR 2007: 77-91 - [e1]Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Lecture Notes in Computer Science 4460, Springer 2007, ISBN 978-3-540-75938-6 [contents] - 2006
- [j11]Agata Ciabattoni, Kazushige Terui:
Towards a Semantic Characterization of Cut-Elimination. Stud Logica 82(1): 95-119 (2006) - [c18]Agata Ciabattoni, Kazushige Terui:
Modular Cut-Elimination: Finding Proofs or Counterexamples. LPAR 2006: 135-149 - [c17]Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar:
Service QoS Composition at the Level of Part Names. WS-FM 2006: 24-37 - 2005
- [j10]Agata Ciabattoni:
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Arch. Math. Log. 44(4): 435-457 (2005) - [j9]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(4): 363 (2005) - [j8]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(5): 491 (2005) - 2004
- [j7]Matthias Baaz, Agata Ciabattoni, Franco Montagna:
Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae 59(4): 315-332 (2004) - [c16]Agata Ciabattoni:
Automated Generation of Analytic Calculi for Logics with Linearity. CSL 2004: 503-517 - [c15]Agata Ciabattoni, Christian G. Fermüller, George Metcalfe:
Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004: 496-510 - 2003
- [j6]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13(6): 835-861 (2003) - [c14]Christian G. Fermüller, Agata Ciabattoni:
From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. ISMVL 2003: 188-196 - [c13]Agata Ciabattoni, George Metcalfe:
Bounded Lukasiewicz Logics. TABLEAUX 2003: 32-47 - 2002
- [c12]Matthias Baaz, Agata Ciabattoni:
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. TABLEAUX 2002: 24-37 - 2001
- [j5]Agata Ciabattoni:
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models. J. Log. Comput. 11(2): 283-294 (2001) - [c11]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL 2001: 181-186 - [c10]Agata Ciabattoni, Christian G. Fermüller:
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. ISMVL 2001: 227-232 - [c9]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller:
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. LPAR 2001: 201-215 - 2000
- [j4]Stefano Aguzzoli, Agata Ciabattoni:
Finiteness in Infinite-Valued Lukasiewicz Logic. J. Log. Lang. Inf. 9(1): 5-29 (2000) - [j3]Stefano Aguzzoli, Agata Ciabattoni, Antonio Di Nola:
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. J. Log. Comput. 10(2): 213-222 (2000) - [c8]Agata Ciabattoni:
On Urquhart's C Logic. ISMVL 2000: 113-120 - [c7]Matthias Baaz, Agata Ciabattoni, Richard Zach:
Quantified Propositional Gödel Logics. LPAR 2000: 240-256 - [c6]Agata Ciabattoni, Mauro Ferrari:
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. TABLEAUX 2000: 160-174
1990 – 1999
- 1999
- [c5]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith:
On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS 1999: 258-268 - [c4]Agata Ciabattoni:
Bounded Contraction in Systems with Linearity. TABLEAUX 1999: 113-127 - 1998
- [j2]Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti:
Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4): 147-156 (1998) - [c3]Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith:
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS 1998: 203-212 - 1997
- [j1]Andrea Asperti, Agata Ciabattoni:
A Sufficient Condition for Completability of Partial Combinatory Algebras. J. Symb. Log. 62(4): 1209-1214 (1997) - [c2]Agata Ciabattoni, Duccio Luchi:
Two Connections Between Linear Logic and Lukasiewicz Logics. Kurt Gödel Colloquium 1997: 128-139 - 1995
- [c1]Andrea Asperti, Agata Ciabattoni:
Effective Applicative Structures. Category Theory and Computer Science 1995: 81-95
Coauthor Index
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-10-22 20:17 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:
