The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LPNMR"( http://dblp.L3S.de/Venues/LPNMR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lpnmr

Publication years (Num. hits)
1990 (19) 1991 (19) 1993 (30) 1995 (30) 1997 (35) 1999 (31) 2001 (40) 2004 (35) 2005 (45) 2007 (33) 2009 (76) 2011 (47) 2013 (56) 2015 (49) 2017 (32) 2019 (26)
Publication types (Num. hits)
inproceedings(587) proceedings(16)
Venues (Conferences, Journals, ...)
LPNMR(603)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 28 keywords

Results
Found 603 publication records. Showing 603 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ping Hou, Johan Wittocx, Marc Denecker A Deductive System for PC(ID). Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jorge Lobo 0001 Policy-Based Computing: From Systems and Applications to Theory. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni Programming Applications in CIFF. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen Modularity in smodelsPrograms. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub clasp : A Conflict-Driven Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli The LP-OD System: Logic Programming Meets Outlier Detection. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler Head-Elementary-Set-Free Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicola Leone Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, David Pearce 0001, Agustín Valverde A Characterization of Strong Equivalence for Logic Programs with Variables. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Conflict-Driven Answer Set Enumeration. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippe Chapdelaine, Miki Hermann, Ilka Schnoor Complexity of Default Logic on Generalized Conjunctive Queries. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir Conditional Planning with External Functions. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Aaron Hunter, James P. Delgrande, Joel Faber Using Answer Sets to Solve Belief Change Problems. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A Preference-Based Framework for Updating Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski The First Answer Set Programming System Competition. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran Debugging ASP Programs by Means of ASP. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gang Wu, Jia-Huai You, Guohui Lin Application of Smodels in Quartet Based Phylogeny Construction. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub Loops: Relevant or Redundant? Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.) Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris On Modular Translations and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paolo Ferraris Answer Sets for Propositional Theories. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker An Algebraic Account of Modularity in ID-Logic. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso 0002 A DLP System with Object-Oriented Features. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Omar El-Khatib, Enrico Pontelli, Tran Cao Son Integrating an Answer Set Solver into Prolog: ASP-PROLOG. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski Approximating Answer Sets of Unitary Lifschitz-Woo Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Dialectical Reasoning, Logic Programming, Defeasible Argumentation
1Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub The nomore++ System. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hai-Feng Guo Mode-Directed Fixed Point Computation. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir Guarded Open Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kewen Wang, Yan Zhang Nested Epistemic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler cmodels - SAT-Based Disjunctive Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Patrick Traxler Testing Strong Equivalence of Datalog Programs - Implementation and Examples. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergei P. Odintsov, David Pearce 0001 Routley Semantics for Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe On the Local Closed-World Assumption of Data-Sources. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001 Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler Default Reasoning with Preference Within Only Knowing Logic. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yin Chen, Fangzhen Lin, Lei Li SELP - A System for Studying Strong Equivalence Between Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales An Approximation of Action Theories of and Its Application to Conformant Planning. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alberto Finzi, Thomas Lukasiewicz Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Buccafurri, Gianluca Caminiti A Social Semantics for Multi-agent Systems. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen circ2dlp - Translating Circumscription into Disjunctive Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marek J. Sergot, Robert Craven Some Logical Properties of Nonmonotonic Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Susanne Grell, Kathrin Konczak, Torsten Schaub nomore<: A System for Computing Preferred Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alex Dekhtyar, Michael I. Dekhtyar Revisiting the Semantics of Interval Probabilistic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Francesco Ricca Solving Hard ASP Programs Efficiently. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Antonis C. Kakas, Loizos Michael, Rob Miller 0002 Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Islam Elkabani, Enrico Pontelli, Tran Cao Son SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina Data Integration: a Challenging ASP Application. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner Using Answer Set Programming for a Decision Support System. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe An ID-Logic Formalization of the Composition of Autonomous Databases. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Kifer Nonmonotonic Reasoning in FLORA-2. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni External Sources of Computation for Answer Set Solvers. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Ján Senko KMonitor - A Tool for Monitoring Plan Execution in Action Theories. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler The Well Supported Semantics for Multidimensional Dynamic Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko Lookahead in Smodels Compared to Local Consistencies in CSP. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kathrin Konczak, Ralf Vogel 0001 Abduction and Preferences in Linguistics. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Eiter Data Integration and Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jürgen Angele, Eddie Mönch, Henrik Oppermann, Dirk Wenke Halo I: A Controlled Experiment for Large Scale Knowledge Base Development. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot Inference of Gene Relations from Microarray Data by Abduction. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy Platypus: A Platform for Distributed Answer Set Solving. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz, Ilkka Niemelä (eds.) Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hudson Turner Strong Equivalence for Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerald Pfeifer Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Kathrin Konczak, Thomas Linke, Torsten Schaub Graphs and Colorings for Answer Set Programming: Abridged Report. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joohyung Lee Nondefinite vs. Definite Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Michael Gelfond, J. Nelson Rushton Probabilistic Reasoning With Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Henry A. Kautz Toward A Universal Inference Engine. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Terrance Swift Deduction in Ontologies via ASP. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz Almost Definite Causal Theories. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran nlp: A Compiler for Nested Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä GNT - A Solver for Disjunctive Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Marco Maratea Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Vincenzino Lio, Giorgio Terracina DLVDB: Adding Efficient Data Management Features to ASP. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman Using Criticalities as a Heuristic for Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael Reasoning About Actions and Change in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Phan Huy Tu, Chitta Baral Planning with Sensing Actions and Incomplete Information Using Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka Answer Sets: From Constraint Programming Towards Qualitative Optimization. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Jeffrey B. Remmel Set Constraints in Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Uniform Equivalence for Equilibrium Logic and Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli Planning with Preferences Using Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dongmo Zhang Properties of Iterated Multiple Belief Revision. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Iterated belief revision, multiple belief revision, belief revision
1Thomas Eiter, Axel Polleres Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski WSAT(CC) - A Fast Local-Search ASP Solver. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite Semantics for Dynamic Logic Programming: A Principle-Based Approach. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Partial Stable Models for Logic Programs with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic Programs With Monotone Cardinality Atoms. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran Simplifying Logic Programs Under Uniform and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rina Dechter Constraints and Probabilistic Networks: A Look At The Interface. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Enrico Pontelli, Tran Cao Son, Islam Elkabani Smodels with CLP?A Treatment of Aggregates in ASP. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Emilia Oikarinen, Tomi Janhunen Verifying the Equivalence of Logic Programs in the Disjunctive Case. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jeffrey Ward, John S. Schlipf Answer Set Programming with Clause Learning. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Chen Avin, Rachel Ben-Eliyahu-Zohary Algorithms for Computing X-Minimal Models. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 603 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][>>]
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