The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ICLP (Technical Communications)"( http://dblp.L3S.de/Venues/ICLP_(Technical_Communications) )

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

Publication years (Num. hits)
2010 (42) 2011 (34) 2012 (48) 2015 (31) 2016 (25) 2017 (16) 2018 (27)
Publication types (Num. hits)
inproceedings(216) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 223 publication records. Showing 223 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Da Shen, Yuliya Lierler SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filipe Gouveia, Inês Lynce, Pedro T. Monteiro Model Revision of Logical Regulatory Networks Using Logic-Based Tools. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joana Côrte-Real, Anton Dries, Inês Dutra, Ricardo Rocha 0001 Improving Candidate Quality of Probabilistic Logic Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth CHR^vis: Syntax and Semantics. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yi Wang Probabilistic Action Language pBC+. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emily C. LeBlanc Explaining Actual Causation via Reasoning About Actions and Change. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tiantian Gao Knowledge Authoring and Question Answering via Controlled Natural Language. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Farhad Shakerin, Gopal Gupta Cumulative Scoring-Based Induction of Default Theories. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Richard Taupe Speeding up Lazy-Grounding Answer Set Solving. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue Learning Commonsense Knowledge Through Interactive Dialogue. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arindam Mitra The Learning-Knowledge-Reasoning Paradigm for Natural Language Understanding and Question Answering. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Obermeier Scalable Robotic Intra-Logistics with Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Thor Kahl, Anthony P. Leclerc Epistemic Logic Programs with World View Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor (eds.) Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  BibTeX  RDF
1Frantisek Farka Proof-Relevant Resolution for Elaboration of Programming Languages. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Van Duc Nguyen, Tran Cao Son, Enrico Pontelli Explanations Generation For Web Service Workflow. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhizheng Zhang Introspecting Preferences in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales, Manuel V. Hermenegildo Towards Static Performance Guarantees for Programs with Run-Time Checks. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo Towards Incremental and Modular Context-Sensitive Analysis. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhun Yang Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Igne, Agostino Dovier, Enrico Pontelli MASP-Reduce: A Proposal for Distributed Computation of Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Tran Cao Son, Christopher Mears, Neda Saeedloei (eds.) Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  BibTeX  RDF
1Igor Stéphan A New Proof-Theoretical Linear Semantics for CHR. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bram Aerts, Joost Vennekens Application of Logic-Based Methods to Machine Component Design. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Van Duc Nguyen Natural Language Generation From Ontologies Using Grammatical Framework. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian Entity set expansion from the Web via ASP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Roman Barták // Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Hanus Semantic Versioning Checking in a Declarative Package Manager. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Reasoning on anonymity in Datalog+/-. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tiantian Gao Achieving High Quality Knowledge Acquisition using Controlled Natural Language. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Codish, Michael Frank 0002, Amit Metodi, Morad Muslimany Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jason Hemann, Daniel P. Friedman, William E. Byrd, Matthew Might A Simple Complete Search for Logic Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Melisachew Wudage Chekol, Heiner Stuckenschmidt Rule Based Temporal Inference. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney Understanding Restaurant Stories Using an ASP Theory of Intentions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rolf Schwitter Learning Effect Axioms via Probabilistic Logic Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Hitchhiker's Guide to Reinventing a Prolog Machine. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo Towards Run-time Checks Simplification via Term Hiding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano The Pyglaf Argumentation Reasoner. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nataliia Stulova On Improving Run-time Checking in Dynamic Languages. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Susman, Yuliya Lierler SMT-Based Constraint Answer Set Solver EZSMT (System Description). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhuo Chen Automating Disease Management Using Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Yuliya Lierler Constraint CNF: SAT and CSP Language Under One Roof. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker A Compositional Typed Higher-Order Logic with Definitions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp Wanko Scalable Design Space Exploration via Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Romero 0003, Torsten Schaub, Philipp Wanko Computing Diverse Optimal Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen Rewriting Optimization Statements in Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher Brenton, Wolfgang Faber 0001, Sotiris Batsakis Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Peter J. Stuckey Constraint Propagation and Explanation over Novel Types by Abstract Compilation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe Grounded Fixpoints and Active Integrity Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher Béatrix, Claire Lefèvre, Laurent Garcia, Igor Stéphan Justifications and Blocking Sets in a Rule-Based Answer Set Computation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos (eds.) Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  BibTeX  RDF
1Arun Nampally, C. R. Ramakrishnan Inference in Probabilistic Logic Programs Using Lifted Explanations. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michell Guzmán, Frank D. Valencia On the Expressiveness of Spatial Constraint Systems. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tiantian Gao Controlled Natural Languages for Knowledge Representation and Reasoning. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Frank Methods for Solving Extremal Problems in Practice. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Intelligent Instantiation and Supersafe Rules. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, List of Authors. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub Answer Set Solving with Generalized Learned Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko Theory Solving Made Easy with Clingo 5. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joaquín Arias Tabled CLP for Reasoning Over Stream Data. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Vandenbroucke The Functional Perspective on Advanced Logic Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miguel Isabel Testing of Concurrent Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amelia Harrison Formal Methods for Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048, Yu Zhang Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Rémi Brochenin, Marco Maratea Abstract Answer Set Solvers for Cautious Reasoning. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael J. Maher Relating Concrete Argumentation Formalisms and Abstract Argumentation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicos Angelopoulos, Georgios Giamas A Logical Approach to Working with Biological Databases. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Günther Charwat Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Joohyung Lee, Yunsong Meng, Yi Wang 0048 Markov Logic Style Weighted Rules under the Stable Model Semantics. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni (eds.) Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Paul Tarau On Type-directed Generation of Lambda Terms. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Dalal Alrajeh, Paul Gill A Logic-Based Approach to Understanding Lone-Actor Terrorism. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Joaquín Arias, Manuel Carro Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Salim Perchy, Frank Valencia Opinions and Beliefs as constraint system operators. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota An Abductive Framework for Datalog± Ontologies. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, João Moura Pires, Anastasia Analyti Unifying Justifications and Debugging for Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Vincent Nys Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Agostino Dovier Logic Programming and Bisimulation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy Structural Resolution for Logic Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi Wang Handling Probability and Inconsistency in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Peter Schüller, Antonius Weinzierl Answer Set Application Programming: a Case Study on Tetris. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Mohan Yang, Alexander Shkapsky, Carlo Zaniolo Parallel Bottom-Up Evaluation of Logic Programs: DeALS on Shared-Memory Multicore Machines. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Carlo Zaniolo Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1David Martínez 0004, Tony Ribeiro, Katsumi Inoue, Guillem Alenyà, Carme Torras Learning Probabilistic Action Models from Interpretation Transitions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Ahmed Elsawy, Amira Zaki, Slim Abdennadher CHR Exhaustive Execution - Revisited. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Tingting Li, Marina De Vos, Julian Padget, Ken Satoh, Tina Balke Debugging ASP using ILP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella Parallel Execution of the ASP Computation - an Investigation on GPUs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthias van der Hallen Higher Order Support in Logic Specification Languages for Data Mining Applications. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Benjamin Kiesl, Peter Schüller, Hans Tompits On Structural Analysis of Non-Ground Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Jan Rosecky, Filip Procházka, Barbora Buhnova Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein Thread-Aware Logic Programming for Data-Driven Parallel Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Marcus Völker, Katsumi Inoue Logic Programming for Cellular Automata. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Amr Hany Saleh Transforming Delimited Control: Achieving Faster Effect Handlers. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Florian Schanda, Martin Brain Using Answer Set Programming in the Development of Verified Software. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 223 (100 per page; Change: )
Pages: [1][2][3][>>]
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