Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5789 Publications
2021 | Journal Article | LibreCat-ID: 24456 | 
Rohlfing, Katharina J., et al. “Explanation as a Social Practice: Toward a Conceptual Framework for the Social Design of AI Systems.” IEEE Transactions on Cognitive and Developmental Systems, vol. 13, no. 3, 2021, pp. 717–28, doi:10.1109/tcds.2020.3044366.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 48853
Bossek, Jakob, et al. “Breeding Diverse Packings for the Knapsack Problem by Means of Diversity-Tailored Evolutionary Algorithms.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2021, pp. 556–564, doi:10.1145/3449639.3459364.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48855
Bossek, Jakob, et al. “Exact Counting And~Sampling of Optima for the Knapsack Problem.” Learning and Intelligent Optimization, Springer-Verlag, 2021, pp. 40–54, doi:10.1007/978-3-030-92121-7_4.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48860
Bossek, Jakob, and Frank Neumann. “Evolutionary Diversity Optimization and the Minimum Spanning Tree Problem.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2021, pp. 198–206, doi:10.1145/3449639.3459363.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48862
Bossek, Jakob, and Dirk Sudholt. “Do Additional Optima Speed up Evolutionary Algorithms?” Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, 2021, pp. 1–11.
LibreCat
2021 | Book Chapter | LibreCat-ID: 48881
Heins, Jonathan, et al. “On the Potential of Normalized TSP Features for Automated Algorithm Selection.” Proceedings of the 16th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, 2021, pp. 1–15.
LibreCat
2021 | Conference Paper | LibreCat-ID: 48876
Bossek, Jakob, and Markus Wagner. “Generating Instances with Performance Differences for More than Just Two Algorithms.” Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, 2021, pp. 1423–1432, doi:10.1145/3449726.3463165.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48893
Nikfarjam, Adel, et al. “Entropy-Based Evolutionary Diversity Optimisation for the Traveling Salesperson Problem.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2021, pp. 600–608, doi:10.1145/3449639.3459384.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 48891
Neumann, Aneta, et al. “Diversifying Greedy Sampling and Evolutionary Diversity Optimisation for Constrained Monotone Submodular Functions.” Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2021, pp. 261–269, doi:10.1145/3449639.3459385.
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48892
Nikfarjam, Adel, et al. “Computing Diverse Sets of High Quality TSP Tours by EAX-Based Evolutionary Diversity Optimisation.” Proceedings of the 16th ACM}/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, 2021, pp. 1–11.
LibreCat
2021 | Journal Article | LibreCat-ID: 48854
Bossek, Jakob, et al. “Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem.” Algorithmica, vol. 83, no. 10, 2021, pp. 3148–3179, doi:10.1007/s00453-021-00838-3.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 25212
Qudus, Umair, et al. “An Empirical Evaluation of Cost-Based Federated SPARQL Query Processing Engines.” Semantic Web, vol. 12, no. 6, ISO Press, pp. 843–68, doi:10.3233/SW-200420.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 29937
Karp, Martin, et al. “High-Performance Spectral Element Methods on Field-Programmable Gate Arrays : Implementation, Evaluation, and Future Projection.” 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2021, doi:10.1109/ipdps49936.2021.00116.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348, doi:10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput., vol. 33, no. 6, 2021, pp. 885–921, doi:10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR, vol. abs/2107.12877, 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 22285
Biermeier, Kai, et al. “Ensuring User Interface Adaptation Consistency through Triple Graph Grammers.” Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 46194
Kenter, Tobias, et al. “Algorithm-Hardware Co-Design of a Discontinuous Galerkin Shallow-Water Model for a Dataflow Architecture on FPGA.” Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021, doi:10.1145/3468267.3470617.
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 29291 |
Zahera, Hamada Mohamed Abdelsamee, et al. “ASSET: A Semi-Supervised Approach for Entity Typing in Knowledge Graphs.” Proceedings of the 11th on Knowledge Capture Conference, ACM, 2021, doi:10.1145/3460210.3493563.
LibreCat
| Files available
| DOI
| Download (ext.)