The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dov M. Gabbay" ( http://dblp.L3S.de/Authors/Dov_M._Gabbay )

URL (Homepage):  http://www.kcl.ac.uk/nms/depts/informatics/people/atoz/gabbayd.aspx  Author page on DBLP  Author page in RDF  Community of Dov M. Gabbay in ASPL-2

Publication years (Num. hits)
1970-1982 (15) 1984-1991 (20) 1992-1993 (17) 1994-1995 (15) 1996-1997 (22) 1998-1999 (15) 2000-2001 (16) 2002-2003 (16) 2004-2005 (22) 2006-2007 (15) 2008-2009 (39) 2010-2011 (34) 2012 (26) 2013-2014 (25) 2015-2016 (25) 2017-2020 (20) 2021-2022 (13)
Publication types (Num. hits)
article(201) book(30) incollection(23) inproceedings(97) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 58 occurrences of 49 keywords

Results
Found 356 publication records. Showing 355 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Dov M. Gabbay, John Woods 0001 The Law of Evidence and Labelled Deduction: Ten Years Later. Search on Bibsonomy FLAP The full citation details ... 2022 DBLP  BibTeX  RDF
1Timotheus Kampik, Juan Carlos Nieves, Dov M. Gabbay Ensuring reference independence and cautious monotony in abstract argumentation. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jieting Luo, Beishui Liao, Dov M. Gabbay Value-based Practical Reasoning: Modal Logic + Argumentation. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yulin Chen, Zelai Yao, Haixiao Chi, Dov M. Gabbay, Bo Yuan, Bruno Bentzen, Beishui Liao BTPK-based learning: An Interpretable Method for Named Entity Recognition. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
1Jieting Luo, Beishui Liao, Dov M. Gabbay Value-Based Practical Reasoning: Modal Logic + Argumentation. Search on Bibsonomy COMMA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Xu Li, Dov M. Gabbay, Réka Markovich Dynamic Deontic Logic for Permitted Announcements. Search on Bibsonomy KR The full citation details ... 2022 DBLP  BibTeX  RDF
1Liuwen Yu, Dov M. Gabbay Case-Based Reasoning via Comparing the Strength Order of Features. Search on Bibsonomy EXTRAAMAS@AAMAS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay What is Negation in a System 2020? Search on Bibsonomy FLAP The full citation details ... 2021 DBLP  BibTeX  RDF
1Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm Preface. Search on Bibsonomy FLAP The full citation details ... 2021 DBLP  BibTeX  RDF
1Timotheus Kampik, Dov M. Gabbay The Degrees of Monotony-Dilemma in Abstract Argumentation. Search on Bibsonomy ECSQARU The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor The Burden of Persuasion in Abstract Argumentation. Search on Bibsonomy CLAR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Kees van Berkel 0002, Dov M. Gabbay, Leendert van der Torre If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. Search on Bibsonomy DEON The full citation details ... 2021 DBLP  BibTeX  RDF
1Timotheus Kampik, Dov M. Gabbay Explainable Reasoning in Face of Contradictions: From Humans to Machines. Search on Bibsonomy EXTRAAMAS@AAMAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Book Symposium on Woods' Truth in Fiction: Editorial Remarks. Search on Bibsonomy FLAP The full citation details ... 2020 DBLP  BibTeX  RDF
1Dov M. Gabbay, Gadi Rozenberg Introducing Abstract Argumentation with Many Lives. Search on Bibsonomy FLAP The full citation details ... 2020 DBLP  BibTeX  RDF
1Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Search on Bibsonomy Stud Logica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay A Bimodal Simulation of Defeasibility in the Normative Domain. Search on Bibsonomy FCR@KI The full citation details ... 2020 DBLP  BibTeX  RDF
1Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues Forgetting an Argument. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Timotheus Kampik, Dov M. Gabbay Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. Search on Bibsonomy SAFA@COMMA The full citation details ... 2020 DBLP  BibTeX  RDF
1Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. Search on Bibsonomy GraMSec@CSF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay Text Mining for Evaluating Authors' Birth and Death Years. Search on Bibsonomy ACM Trans. Knowl. Discov. Data The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Uri J. Schild, Esther David The Talmudic Logic Project, Ongoing Since 2008. Search on Bibsonomy Logica Universalis The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Xavier Parent, Leon van der Torre A geometrical view of I/O logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Dov M. Gabbay, Jörg H. Siekmann Editorial. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). Search on Bibsonomy Dagstuhl Manifestos The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay Argumentation as Exogenous Coordination. Search on Bibsonomy It's All About Coordination The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text. Search on Bibsonomy Trans. Comput. Collect. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Jörg H. Siekmann Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Dov M. Gabbay, Gadi Rozenberg Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Dov M. Gabbay, Gadi Rozenberg, Lydia Rivlin Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Dov M. Gabbay, Lydia Rivlin HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre Editorial. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller 0001 Preface. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Thimm, Dov M. Gabbay Editorial Preface. Search on Bibsonomy FLAP The full citation details ... 2016 DBLP  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Introducing Bayesian Argumentation Networks. Search on Bibsonomy FLAP The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay Quantum States and Disjunctive Attacks in Talmudic Logic. Search on Bibsonomy FLAP The full citation details ... 2016 DBLP  BibTeX  RDF
1Dov M. Gabbay Theory of Semi-Instantiation in Abstract Argumentation. Search on Bibsonomy Logica Universalis The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay The handling of loops in argumentation networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin Introduction to the special issue on Loops in Argumentation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Logical foundations for bipolar and tripolar argumentation networks: preliminary results. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Michael Gabbay 0001 Theory of disjunctive attacks, Part I. Search on Bibsonomy Log. J. IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Michael Gabbay 0001 The attack as intuitionistic negation. Search on Bibsonomy Log. J. IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Karl Schlechta A New Perspective on Nonmonotonic Logics Search on Bibsonomy 2016   DOI  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories. Search on Bibsonomy Computational Models of Rationality The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper. Search on Bibsonomy Computational Models of Rationality The full citation details ... 2016 DBLP  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Degrees of "in", "out" and "undecided" in Argumentation Networks. Search on Bibsonomy COMMA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Michael Gabbay 0001 Argumentation as Information Input: A Position Paper. Search on Bibsonomy COMMA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Editorial comment about "On the Difference between ABA and AA". Search on Bibsonomy FLAP The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Probabilistic Argumentation: An Equational Approach. Search on Bibsonomy Logica Universalis The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Equilibrium States in Numerical Argumentation Networks. Search on Bibsonomy Logica Universalis The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Probabilistic Argumentation. An Equational Approach. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay, Michael Gabbay 0001 The Attack as Intuitionistic Negation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay, Michael Gabbay 0001 The Attack as Strong Negation, Part I. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay Theory of Semi-Instantiation in Abstract Argumentation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dov M. Gabbay, Christian Straßer Reactive standard deontic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Michael Gabbay 0001 The attack as strong negation, part I. Search on Bibsonomy Log. J. IGPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors. Search on Bibsonomy International KEYSTONE Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Systems of Interacting Argumentation Networks. Search on Bibsonomy FLAP The full citation details ... 2014 DBLP  BibTeX  RDF
1Dov M. Gabbay, David Pearce 0001, Agustín Valverde Interpolable Formulas in Equilibrium Logic and Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Richard Booth 0001, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre Abduction and Dialogical Proof in Argumentation and Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues Equilibrium States in Numerical Argumentation Networks. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Dov M. Gabbay, Loïc Gammaitoni, Xin Sun 0001 The paradoxes of permission an action based solution. Search on Bibsonomy J. Appl. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman Products of modal logics and tensor products of modal algebras. Search on Bibsonomy J. Appl. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb A neural cognitive model of argumentation with application to legal inference and decision making. Search on Bibsonomy J. Appl. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese Reasoning about delegation and revocation schemes in answer set programming. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues An equational approach to the merging of argumentation networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay What is a logical system? An evolutionary view: 1964-2014. Search on Bibsonomy Computational Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jörg H. Siekmann, Dov M. Gabbay Editorial Note. Search on Bibsonomy Computational Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Davide Grossi When are Two Arguments the Same? Equivalence in Abstract Argumentation. Search on Bibsonomy Johan van Benthem on Logic and Information Dynamics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay When Text Authors Lived Using Undated Citations. Search on Bibsonomy IRFC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Abraham, Dov M. Gabbay, Uri J. Schild The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. Search on Bibsonomy HOWARD-60 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Howard Barringer, David E. Rydeheard, Dov M. Gabbay Reactivity and Grammars: An Exploration. Search on Bibsonomy Language, Culture, Computation (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Booth 0001, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre Abduction and Dialogical Proof in Argumentation and Logic Programming. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Odinaldo Rodrigues A self-correcting iteration schema for argumentation networks. Search on Bibsonomy COMMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Livio Robaldo, Xin Sun 0001, Leendert W. N. van der Torre, Zohreh Baniasadi Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. Search on Bibsonomy DEON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay The Equational Approach to Contrary-to-duty Obligations. Search on Bibsonomy FoIKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre A socio-cognitive model of trust using argumentation theory. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay Semantics and proof-theory of depth bounded Boolean logics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Reactive Kripke models and contrary to duty obligations. Part A: Semantics. Search on Bibsonomy J. Appl. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Abraham, Israel Belfer, Dov M. Gabbay, Uri J. Schild Future determination of entities in Talmudic public announcement logic. Search on Bibsonomy J. Appl. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Reactive Kripke Semantics Search on Bibsonomy 2013   DOI  RDF
1Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber Normative Reasoning and Consequence. Search on Bibsonomy Normative Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic 0001 Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Search on Bibsonomy Synth. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Dov M. Gabbay, John Woods 0001 Modal and temporal argumentation networks. Search on Bibsonomy Argument Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Howard Barringer, Dov M. Gabbay, John Woods 0001 Temporal, numerical and meta-level dynamics in argumentation networks. Search on Bibsonomy Argument Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Equational approach to argumentation networks. Search on Bibsonomy Argument Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Completeness theorems for reactive modal logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli Embedding and automating conditional logics in classical higher-order logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Bochman, Dov M. Gabbay Causal dynamic inference. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Overview on the connection between reactive Kripke models and argumentation networks. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Joris Hulstijn A logic of argumentation for specification and verification of abstract argumentation frameworks. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Introducing reactive modal tableaux. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre Modelling defeasible and prioritized support in bipolar argumentation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay Introducing reactive Kripke semantics and arc accessibility. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Sérgio Marcelino Global view on reactivity: switch graphs and their logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay The Equational Approach to CF2 Semantics Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander Bochman, Dov M. Gabbay Sequential Dynamic Logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michael Abraham, Dov M. Gabbay, Uri J. Schild Contrary to time conditionals in Talmudic logic. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay, Akihiro Kanamori, John Woods 0001 (eds.) Sets and Extensions in the Twentieth Century Search on Bibsonomy 2012 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 355 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license