|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 41 | | Wang, Jianfeng ; Massiceti, Daniela ; Hu, Xiaolin ; Pavlovic, Vladimir ; Lukasiewicz, Thomas | NP-SemiSeg: When Neural Processes meet Semi-Supervised Semantic Segmentation | Inproceedings Konferenzbeitrag  | 2023 |
| 42 | | Wang, Ruizhi ; Wang, Xiangtao ; Xu, Zhenghua ; Xu, Wenting ; Chen, Junyang ; Lukasiewicz, Thomas | MvCo-DoT: Multi-View Contrastive Domain Transfer Network for Medical Report Generation | Inproceedings Konferenzbeitrag | 2023 |
| 43 | | Warren, David S. ; Dahl, Veronica ; Eiter, Thomas ; Hermenegildo, Manuel ; Kowalski. Robert A. ; Rossi, Francesca | Prolog: The Next 50 Years | Book Buch | 2023 |
| 44 |  | Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | A modular neurosymbolic approach for visual graph question answering | Inproceedings Konferenzbeitrag   | 2023 |
| 45 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag | 2023 |
| 46 |  | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag | 2023 |
| 7 |  | Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas | Progression for Monitoring in Temporal ASP | Inproceedings Konferenzbeitrag | 2023 |
| 8 | | Eiter, Thomas | Enhancing AI Capabilities by Rules: Challenges and Opportunities | Presentation Vortrag | 13-Dec-2022 |
| 9 | | Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen | Witnesses for Answer Sets of Logic Programs | Presentation Vortrag | 29-Nov-2022 |
| 10 | | Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas | Elaboration for Neurosymbolic Compuation | Presentation Vortrag | 29-Nov-2022 |
| 11 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) | Inproceedings Konferenzbeitrag | 28-Nov-2022 |
| 12 | | Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas | Representing Normative Reasoning in Answer Set Programming Using Weak Constraints | Presentation Vortrag | 28-Nov-2022 |
| 13 | | Ferranti, Nicolas ; Polleres, Axel ; de Souza, Jairo Francisco ; Ahmetaj, Shqiponja | Formalizing Property Constraints in Wikidata | Inproceedings Konferenzbeitrag | 5-Nov-2022 |
| 14 | | Eiter, Thomas | Enhancing AI Capabilities by Rules: Applications and Opportunities | Presentation Vortrag | 4-Nov-2022 |
| 15 | | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David | Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract) | Inproceedings Konferenzbeitrag | 3-Nov-2022 |
| 16 | | Eiter, Thomas | Enhancing AI Capabilities by Rules: Applications and Opportunities | Presentation Vortrag | 18-Oct-2022 |
| 17 | | Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas | Repairing SHACL Constraint Violations Using Answer Set Programming | Inproceedings Konferenzbeitrag | 16-Oct-2022 |
| 18 | | Li, Bowen ; Torr, Philip H. S. ; Lukasiewicz, Thomas | Clustering Generative Adversarial Networks for Story Visualization | Inproceedings Konferenzbeitrag | Oct-2022 |
| 19 | | Jang, Myeongjun ; Kwon, Deuk Sin ; Lukasiewicz, Thomas | BECEL: Benchmark for Consistency Evaluation of Language Models | Inproceedings Konferenzbeitrag | Oct-2022 |
| 20 | | Mandl, Alexander ; Egly, Uwe | Implementations for Shor's algorithm for the DLP | Inproceedings Konferenzbeitrag | 27-Sep-2022 |
