default search action
Jochen Renz
Person information
- affiliation: Australian National University, Canberrra, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j23]Vimukthini Pinto
, Chathura Nagoda Gamage, Cheng Xue, Peng Zhang, Ekaterina Nikonova, Matthew Stephenson
NovPhy: A physical reasoning benchmark for open-world AI systems. Artif. Intell. 336: 104198 (2024) - [c66]Pittawat Taveekitworachai, Febri Abdullah, Mury F. Dewantoro, Yi Xia, Pratch Suntichaikul, Ruck Thawonmas, Julian Togelius, Jochen Renz:
ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation. CoG 2024: 1-8 - [i21]Pittawat Taveekitworachai, Febri Abdullah
ChatGPT4PCG 2 Competition: Prompt Engineering for Science Birds Level Generation. CoRR abs/2403.02610 (2024) - 2023
- [j22]Cheng Xue
Phy-Q as a measure for physical reasoning intelligence. Nat. Mac. Intell. 5(1): 83-93 (2023) - [c65]Chathura Nagoda Gamage, Vimukthini Pinto, Matthew Stephenson
Physics-Based Task Generation through Causal Sequence of Physical Interactions. AIIDE 2023: 53-63 - [c64]Vimukthini Pinto
The Difficulty of Novelty Detection and Adaptation in Physical Environments. AI (2) 2023: 28-40 - [c63]Pittawat Taveekitworachai, Febri Abdullah
ChatGPT4PCG Competition: Character-like Level Generation for Science Birds. CoG 2023: 1-8 - [i20]Chathura Nagoda Gamage, Vimukthini Pinto, Cheng Xue, Peng Zhang, Ekaterina Nikonova, Matthew Stephenson, Jochen Renz
NovPhy: A Testbed for Physical Reasoning in Open-world Environments. CoRR abs/2303.01711 (2023) - [i19]Pittawat Taveekitworachai, Febri Abdullah
ChatGPT4PCG Competition: Character-like Level Generation for Science Birds. CoRR abs/2303.15662 (2023) - [i18]Chathura Nagoda Gamage, Vimukthini Pinto, Matthew Stephenson, Jochen Renz
Physics-Based Task Generation through Causal Sequence of Physical Interactions. CoRR abs/2308.02835 (2023) - [i17]Ekaterina Nikonova, Cheng Xue, Jochen Renz
Efficient Open-world Reinforcement Learning via Knowledge Distillation and Autonomous Rule Discovery. CoRR abs/2311.14270 (2023) - [i16]Cheng Xue, Ekaterina Nikonova, Peng Zhang, Jochen Renz
Rapid Open-World Adaptation by Adaptation Principles Learning. CoRR abs/2312.11138 (2023) - 2022
- [c62]Hua Hua, Dongxu Li, Ruiqi Li
Towards Explainable Action Recognition by Salient Qualitative Spatial Object Relation Chains. AAAI 2022: 5710-5718 - [e3]Michael Sioutis, Zhiguo Long, John G. Stell, Jochen Renz:
Proceedings of the 1st International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2022) co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI 2022, ECAI 2022), Vienna, Austria, July 24, 2022. CEUR Workshop Proceedings 3190, CEUR-WS.org 2022 [contents] - [i15]Ekaterina Nikonova, Cheng Xue, Vimukthini Pinto, Chathura Nagoda Gamage, Peng Zhang, Jochen Renz
Measuring Difficulty of Novelty Reaction. CoRR abs/2207.13857 (2022) - [i14]Ekaterina Nikonova, Cheng Xue, Jochen Renz
Don't do it: Safer Reinforcement Learning With Rule-based Guidance. CoRR abs/2212.13819 (2022) - 2021
- [j21]Stephan Winter, Timothy Baldwin, Martin Tomko, Jochen Renz
Spatial concepts in the conversation with a computer. Commun. ACM 64(7): 82-88 (2021) - [j20]Matthew Stephenson
Generating Stable Building Block Structures From Sketches. IEEE Trans. Games 13(1): 1-10 (2021) - [c61]Chathura Nagoda Gamage, Vimukthini Pinto, Jochen Renz
Deceptive Level Generation for Angry Birds. CoG 2021: 1-8 - [c60]Chathura Nagoda Gamage, Vimukthini Pinto, Cheng Xue, Matthew Stephenson
Novelty Generation Framework for AI Agents in Angry Birds Style Physics Games. CoG 2021: 1-8 - [c59]Ruiqi Li
Unsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations. KR 2021: 454-464 - [i13]Chathura Nagoda Gamage, Matthew Stephenson, Vimukthini Pinto, Jochen Renz:
Deceptive Level Generation for Angry Birds. CoRR abs/2106.01639 (2021) - [i12]Vimukthini Pinto, Cheng Xue, Chathura Nagoda Gamage, Jochen Renz:
The Difficulty of Novelty Detection in Open-World Physical Domains: An Application to Angry Birds. CoRR abs/2106.08670 (2021) - [i11]Cheng Xue, Vimukthini Pinto, Chathura Nagoda Gamage, Ekaterina Nikonova, Peng Zhang, Jochen Renz:
Phy-Q: A Benchmark for Physical Reasoning. CoRR abs/2108.13696 (2021) - 2020
- [j19]Matthew Stephenson
The computational complexity of Angry Birds. Artif. Intell. 280: 103232 (2020) - [c58]Matthew Stephenson
A Continuous Information Gain Measure to Find the Most Discriminatory Problems for AI Benchmarking. CEC 2020: 1-8 - [c57]Matthew Stephenson
The Computational Complexity of Angry Birds (Extended Abstract). IJCAI 2020: 5105-5109
2010 – 2019
- 2019
- [j18]Jochen Renz
AI meets Angry Birds. Nat. Mach. Intell. 1(7): 328 (2019) - [j17]Matthew Stephenson
The 2017 AIBIRDS Level Generation Competition. IEEE Trans. Games 11(3): 275-284 (2019) - [c56]Tommy Liu, Jochen Renz
Using Restart Heuristics to Improve Agent Performance in Angry Birds. CoG 2019: 1-8 - [c55]Hua Hua, Peng Zhang, Jochen Renz
Qualitative Place Maps for Landmark-based Localization and Navigation in GPS-denied Environments. SIGSPATIAL/GIS 2019: 23-32 - [c54]Peng Zhang, Xiaoyu Ge, Jochen Renz
Support Relation Analysis for Objects in Multiple View RGB-D Images. IJCAI 2019: 41-61 - [i10]Matthew Stephenson, Jochen Renz:
Agent-Based Adaptive Level Generation for Dynamic Difficulty Adjustment in Angry Birds. CoRR abs/1902.02518 (2019) - [i9]Peng Zhang, Xiaoyu Ge, Jochen Renz:
Support Relation Analysis for Objects in Multiple View RGB-D Images. CoRR abs/1905.04084 (2019) - [i8]Tommy Liu, Jochen Renz, Peng Zhang, Matthew Stephenson:
Using Restart Heuristics to Improve Agent Performance in Angry Birds. CoRR abs/1905.12877 (2019) - 2018
- [c53]Damien Anderson
Deceptive Games. EvoApplications 2018: 376-391 - [c52]Matthew Stephenson
Deceptive angry birds: towards smarter game-playing agents. FDG 2018: 13:1-13:10 - [c51]Hua Hua, Jochen Renz, Xiaoyu Ge:
Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference. KR 2018: 551-560 - [c50]Xiaoyu Ge, Jochen Renz, Hua Hua:
Towards Explainable Inference about Object Motion using Qualitative Reasoning. KR 2018: 641-642 - [i7]Damien Anderson, Matthew Stephenson, Julian Togelius, Christoph Salge, John Levine, Jochen Renz:
Deceptive Games. CoRR abs/1802.00048 (2018) - [i6]Matthew Stephenson, Jochen Renz, Xiaoyu Ge, Peng Zhang:
The 2017 AIBIRDS Competition. CoRR abs/1803.05156 (2018) - [i5]Xiaoyu Ge, Jochen Renz, Hua Hua:
Towards Explainable Inference about Object Motion using Qualitative Reasoning. CoRR abs/1807.10935 (2018) - [i4]Matthew Stephenson, Damien Anderson, Ahmed Khalifa, John Levine, Jochen Renz, Julian Togelius, Christoph Salge:
A Continuous Information Gain Measure to Find the Most Discriminatory Problems for AI Benchmarking. CoRR abs/1809.02904 (2018) - [i3]Matthew Stephenson, Jochen Renz, Xiaoyu Ge:
The Computational Complexity of Angry Birds. CoRR abs/1812.07793 (2018) - 2017
- [c49]Matthew Stephenson
Creating a Hyper-Agent for Solving Angry Birds Levels. AIIDE 2017: 234-240 - [c48]Matthew Stephenson
The Computational Complexity of Angry Birds and Similar Physics-Simulation Games. AIIDE 2017: 241-247 - [c47]Diego Perez Liebana, Matthew Stephenson
Introducing real world physics and macro-actions to general video game ai. CIG 2017: 248-255 - [c46]Matthew Stephenson
Generating varied, stable and solvable levels for angry birds style physics games. CIG 2017: 288-295 - 2016
- [j16]Jochen Renz
Guest Editorial: Physics-Based Simulation Games. IEEE Trans. Comput. Intell. AI Games 8(2): 101-103 (2016) - [j15]Xiaoyu Ge, Jochen Renz
Visual Detection of Unknown Objects in Video Games Using Qualitative Stability Analysis. IEEE Trans. Comput. Intell. AI Games 8(2): 166-177 (2016) - [c45]Jochen Renz, Xiaoyu Ge, Rohan Verma, Peng Zhang:
Angry Birds as a Challenge for Artificial Intelligence. AAAI 2016: 4338-4339 - [c44]Matthew Stephenson, Jochen Renz:
Procedural Generation of Levels for Angry Birds Style Physics Games. AIIDE 2016: 225-231 - [c43]Matthew Stephenson
Procedural generation of complex stable structures for angry birds levels. CIG 2016: 1-8 - [c42]Xiaoyu Ge, Jae Hee Lee
Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems. ECAI 2016: 1762-1763 - [c41]Rohan Verma, Xiaoyu Ge, Jochen Renz:
Creating a New Angry Birds Competition Track. FLAIRS 2016: 122-127 - [c40]Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang:
Trend-Based Prediction of Spatial Change. IJCAI 2016: 1074-1080 - 2015
- [j14]Jochen Renz
The Angry Birds AI Competition. AI Mag. 36(2): 85-87 (2015) - [j13]Matthias Westphal, Stefan Wölfl, Bernhard Nebel
On Qualitative Route Descriptions. J. Philos. Log. 44(2): 177-201 (2015) - [c39]Jochen Renz:
AIBIRDS: The Angry Birds Artificial Intelligence Competition. AAAI 2015: 4326-4327 - [c38]Peng Zhang, Jae Hee Lee, Jochen Renz:
From Raw Sensor Data to Detailed Spatial Knowledge. IJCAI 2015: 910-917 - [e2]Bernhard Pfahringer, Jochen Renz:
AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings. Lecture Notes in Computer Science 9457, Springer 2015, ISBN 978-3-319-26349-6 [contents] - 2014
- [j12]Anthony G. Cohn, Sanjiang Li
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects. J. Artif. Intell. Res. 51: 493-532 (2014) - [c37]Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz
Determining Interacting Objects in Human-Centric Activities via Qualitative Spatio-Temporal Reasoning. ACCV (5) 2014: 550-563 - [c36]Peng Zhang, Jochen Renz:
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra. KR 2014 - [c35]Xiaoyu Ge, Jochen Renz:
Tracking Perceptually Indistinguishable Objects Using Spatial Reasoning. PRICAI 2014: 600-613 - 2013
- [j11]Jinbo Huang, Jason Jingshi Li, Jochen Renz
Decomposition and tractability in qualitative spatial and temporal reasoning. Artif. Intell. 195: 140-164 (2013) - [c34]Xiaoyu Ge, Jochen Renz:
Representation and Reasoning about General Solid Rectangles. IJCAI 2013: 905-911 - [c33]Jae Hee Lee, Jochen Renz, Diedrich Wolter:
StarVars - Effective Reasoning about Relative Directions. IJCAI 2013: 976-982 - [c32]Hajar Sadeghi Sokeh, Stephen Gould, Jochen Renz:
Efficient Extraction and Representation of Spatial Information from Video Data. IJCAI 2013: 1076-1082 - 2012
- [c31]Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar:
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis. KR 2012 - [c30]Jochen Renz:
Implicit Constraints for Qualitative Spatial and Temporal Reasoning. KR 2012 - 2011
- [c29]Matthias Westphal, Jochen Renz
Evaluating and minimizing ambiguities in qualitative route instructions. GIS 2011: 171-180 - [c28]Matthias Westphal, Stefan Wölfl, Bernhard Nebel
On Qualitative Route Descriptions: Representation and Computational Complexity. IJCAI 2011: 1120-1125 - [i2]Bernhard Nebel, Jochen Renz:
Efficient Methods for Qualitative Spatial Reasoning. CoRR abs/1106.0679 (2011) - 2010
- [c27]Jason Jingshi Li, Jochen Renz:
In Defense of Large Qualitative Calculi. AAAI 2010: 315-320 - [c26]Jochen Renz
A Qualitative Representation of Route Networks. ECAI 2010: 1091-1092 - [c25]Matt Duckham
Decentralized querying of topological relations between regions without using localization. GIS 2010: 414-417 - [e1]Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe:
QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning, 10.10. - 13.10.2010. Dagstuhl Seminar Proceedings 10412, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i1]Stefan Wölfl, Anthony G. Cohn, Jochen Renz, Georg Sutcliffe:
10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning. QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning 2010
2000 – 2009
- 2009
- [c24]Jason Jingshi Li, Jinbo Huang, Jochen Renz:
A Divide-and-Conquer Approach for Solving Interval Algebra Networks. IJCAI 2009: 572-577 - [c23]Weiming Liu, Sanjiang Li, Jochen Renz:
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity. IJCAI 2009: 854-859 - [c22]Bernhard Nebel, Jochen Renz:
A Fixed-Parameter Tractable Algorithm for Spatio-Temporal Calendar Management. IJCAI 2009: 879-884 - 2008
- [j10]Hans W. Guesgen
Spatial and Temporal Reasoning. Spatial Cogn. Comput. 8(1-2): 1-3 (2008) - [c21]Jason Jingshi Li, Tomasz Kowalski
Combining binary constraint networks in qualitative reasoning. ECAI 2008: 515-519 - [c20]Norman Foo, Jochen Renz
Experience and Trust - A Systems-Theoretic Approach. ECAI 2008: 867-868 - [c19]Jochen Renz, Jason Jingshi Li:
Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. KR 2008: 715-723 - [c18]Rowan Martin-Hughes, Jochen Renz
Examining the motivations of defection in large-scale open systems. SAC 2008: 2035-2039 - [r1]Anthony G. Cohn, Jochen Renz
Qualitative Spatial Representation and Reasoning. Handbook of Knowledge Representation 2008: 551-596 - 2007
- [j9]Sarabjot Singh Anand, Daniel Bahls, Catherina Burghart, Mark H. Burstein, Huajun Chen, John Collins, Thomas G. Dietterich, Jon Doyle, Chris Drummond, William Elazmeh, Christopher W. Geib, Judy Goldsmith, Hans W. Guesgen, Jim Hendler, Dietmar Jannach, Nathalie Japkowicz, Ulrich Junker, Gal A. Kaminka, Alfred Kobsa, Jérôme Lang, David B. Leake, Lundy Lewis, Gerard Ligozat, Sofus A. Macskassy, Drew V. McDermott, Ted Metzler, Bamshad Mobasher, Ullas Nambiar, Zaiqing Nie, Klas Orsvärn, Barry O'Sullivan, David V. Pynadath, Jochen Renz, Rita V. Rodríguez, Thomas Roth-Berghofer, Stefan Schulz, Rudi Studer, Yimin Wang, Michael P. Wellman:
AAAI-07 Workshop Reports. AI Mag. 28(4): 119-128 (2007) - [c17]Jochen Renz
Customizing Qualitative Spatial and Temporal Calculi. Australian Conference on Artificial Intelligence 2007: 293-304 - [c16]Jochen Renz:
Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone. IJCAI 2007: 526-531 - [p1]Jochen Renz, Bernhard Nebel:
Qualitative Spatial Reasoning Using Constraint Calculi. Handbook of Spatial Logics 2007: 161-215 - 2005
- [c15]Jochen Renz
Weak Composition for Qualitative Spatial and Temporal Reasoning. CP 2005: 534-548 - 2004
- [j8]Jochen Renz, Hans W. Guesgen:
Spatial and temporal reasoning. AI Commun. 17(4): 183-184 (2004) - [c14]Gérard Ligozat, Jochen Renz:
Problems with Local Consistency for Qualitative Calculi. ECAI 2004: 1047-1048 - [c13]Gérard Ligozat, Jochen Renz
What Is a Qualitative Calculus? A General Framework. PRICAI 2004: 53-64 - [c12]Jochen Renz
Qualitative Direction Calculi with Arbitrary Granularity. PRICAI 2004: 65-74 - 2003
- [j7]Andreas Abecker, Erik K. Antonsson, Charles B. Callaway, Virginia Dignum, Patrick Doherty, Ludger van Elst, Michael Freed, Reva Freedman, Hans W. Guesgen, Gareth J. F. Jones, John R. Koza, David Kortenkamp, Mark T. Maybury, John McCarthy, Debasis Mitra, Jochen Renz, Debra Schreckenghost, Mary-Anne Williams:
2003 AAAI Spring Symposium Series. AI Mag. 24(3): 131-140 (2003) - 2002
- [b1]Jochen Renz
Qualitative Spatial Reasoning with Topological Information. Lecture Notes in Computer Science 2293, Springer 2002, ISBN 3-540-43346-5 - [j6]Alfonso Gerevini
Combining topological and size information for spatial reasoning. Artif. Intell. 137(1-2): 1-42 (2002) - [j5]Mathias Broxvall, Peter Jonsson, Jochen Renz
Disjunctions, independence, refinements. Artif. Intell. 140(1/2): 153-173 (2002) - [j4]Jochen Renz
A Canonical Model of the Region Connection Calculus. J. Appl. Non Class. Logics 12(3-4): 469-494 (2002) - 2001
- [j3]Jochen Renz
Efficient Methods for Qualitative Spatial Reasoning. J. Artif. Intell. Res. 15: 289-318 (2001) - [c11]Jochen Renz:
A Spatial Odyssey of the Interval Algebra: 1. Directed Intervals. IJCAI 2001: 51-56 - 2000
- [c10]Mathias Broxvall, Peter Jonsson, Jochen Renz
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. CP 2000: 114-127 - [c9]Reinhard Moratz, Jochen Renz, Diedrich Wolter:
Qualitative Spatial Reasoning about Line Segments. ECAI 2000: 234-238 - [c8]Jochen Renz, Reinhold Rauh
Towards Cognitive Adequacy of Topological Spatial Relations. Spatial Cognition 2000: 184-197
1990 – 1999
- 1999
- [j2]Jochen Renz
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artif. Intell. 108(1-2): 69-123 (1999) - [c7]Jochen Renz:
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis. IJCAI 1999: 448-455 - 1998
- [j1]Katja Lay, Christoph Hölscher, Jochen Renz:
4. Frühjahrstreffen der kognitionswissenschaftlichen Graduiertenkollegs Freiburg, Hamburg und Saarbrücken. Kognitionswissenschaft 7(2): 91 (1998) - [c6]Alfonso Gerevini
Combining Topological and Qualitative Size Constraints for Spatial Reasoning. CP 1998: 220-234 - [c5]Jochen Renz, Bernhard Nebel:
Efficient Algorithms for Qualitative Spatial Reasoning. ECAI 1998: 562-566 - [c4]Jochen Renz:
A Canonical Model of the Region Connection Calculus. KR 1998: 330-341 - [c3]Jochen Renz, Bernhard Nebel:
Spatial Reasoning with Topological Information. Spatial Cognition 1998: 351-372 - 1997
- [c2]Markus Knauff
A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation. COSIT 1997: 193-206 - [c1]Jochen Renz, Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. IJCAI (1) 1997: 522-527
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-12-10 20:50 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: