|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes | Answer-Set-Programming-based Abstractions for Reinforcement Learning | Presentation Vortrag | 24-Nov-2026 |
| 2 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics: Extended Abstract | Presentation Vortrag | 8-Sep-2026 |
| 3 | | Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas | Imbuing Large Language Models with Bidirectional Logic for Robust Chain Repair | Inproceedings Konferenzbeitrag  | 7-Sep-2026 |
| 4 | | Xu, Zhenghua ; Wang, Zhenzhen ; Liu, Jing ; Li, Bo ; Ma, Xijia ; Zhan, Yuefu ; Yang, Runhe ; Lukasiewicz, Thomas | HGR-DiffSeg: Hybrid-guided robust diffusion model for medical image segmentation | Article Artikel | 1-Sep-2026 |
| 5 |  | Alviano, Mario ; Dodaro, Carmine ; Eiter, Thomas ; Geibinger, Tobias ; Vasile, Ilaria R. | Extending Structured Declarative Language with Constraint Programming via MiniZinc | Inproceedings Konferenzbeitrag   | 24-Aug-2026 |
| 6 |  | Buraglio, Giovanni ; Di Stefano, Federica ; Šimkus, Mantas | Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 7 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Shapes from Examples: Foundations of Shape Learning in Recursive SHACL | Preprint Preprint | 30-Jul-2026 |
| 8 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Reaching for the Stars in EL* Concept Learning | Inproceedings Konferenzbeitrag | 25-Jul-2026 |
| 9 | | Pichler, Dominik ; Tagliaferri, Mirko | Robust Classification in ML: A Topological Semantics Approach | Inproceedings Konferenzbeitrag | 18-Jul-2026 |
| 10 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 11 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 12 | | Wang, Xiangtao ; Wang, Ruizhi ; Lukasiewicz, Thomas ; Xu, Zhenghua | AMLP: Adjustable Masking Lesion Patches for Self-Supervised Medical Image Segmentation | Article Artikel | May-2026 |
| 13 | | Xu, Zhenghua ; Liu, Yunxin ; Yuan, Di ; Li, Bo ; Liu, Weipeng ; Lukasiewicz, Thomas | You Need Glimpse Before Segmentation: Stochastic Detector-Actor-Critic for Medical Image Segmentation | Article Artikel | May-2026 |
| 14 | | Oudshoorn, Anouk ; Ortiz, Magdalena ; Šimkus, Mantas | SHACL validation in the presence of ontologies: Semantics and rewriting techniques | Article Artikel | Mar-2026 |
| 15 | | Salvatori, Tommaso ; Mali, Ankur ; Buckley, Christopher L. ; Lukasiewicz, Thomas ; Rao, Rajesh P.N. ; Friston, Karl ; Ororbia, Alexander | A survey on neuro-mimetic deep learning via predictive coding | Article Artikel | Mar-2026 |
| 16 |  | Collevati, Michele ; Eiter, Thomas ; Higuera, Nelson | Leveraging Neurosymbolic AI for Slice Discovery | Article Artikel | Mar-2026 |
| 17 | | Xu, Zhenghua ; Tang, Jiaqi ; Yao, Dan ; Wang, Zhenzhen ; Lukasiewicz, Thomas | AttCL-GAN: Attentional contrastive learning-based generative adversarial network for modality completion of medical images | Article Artikel | 15-Feb-2026 |
| 18 | | Wang, Ruizhi ; Xu, Zhenghua ; Wang, Xiangtao ; Liu, Weipeng ; Lukasiewicz, Thomas | C2M-DoT: Cross-modal consistent multi-view medical report generation with domain transfer network | Article Artikel | Jan-2026 |
| 19 | | Saribatur, Zeynep G. ; Langer, Johannes ; Schmid, Ute | The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding | Inproceedings Konferenzbeitrag | 2026 |
| 20 | | Eiter, Thomas ; Geibinger, Tobias ; Saribatur, Zeynep G. | An XAI View on Explainable ASP: Methods, Systems, and Perspectives | Inproceedings Konferenzbeitrag | 2026 |
| 21 | | Saribatur, Zeynep G. ; Hecher, Markus ; Fichte, Johannes Klaus | Abstracting the Indistinguishable in ASP | Inproceedings Konferenzbeitrag | 2026 |
| 22 | | Saribatur, Zeynep G. | Towards Reasonable AI: Foundations for Abstraction and Generalized Reasoning | Inproceedings Konferenzbeitrag | 2026 |
| 23 | | Schön, Felix ; Tompits, Hans | On Efficient Computational Methods for Transformer-Based Symbolic Music Generation | Inproceedings Konferenzbeitrag | 2026 |
| 24 | | Schön, Felix ; Tompits, Hans | Efficient Additive Relative Information Attention for Transformer-based Symbolic Music Composition | Inproceedings Konferenzbeitrag | 2026 |
| 25 | | Schön, Felix ; Hans, Tompits, | Rotary Informational Embeddings for Symbolic Music Generation | Inproceedings Konferenzbeitrag | 2026 |
| 26 | | Stoian, Mihaela C. ; Giunchiglia, Eleonora ; Lukasiewicz, Thomas | A Survey on Deep Learning Approaches for Tabular Data Generation:Utility, Alignment, Fidelity, Privacy, Diversity, and Beyond | Article Artikel | 2026 |
| 27 | | Ahmetaj, Shqiponja ; Boneva, Iovka ; Hidders, Jan ; Jakubowski, Maxime ; Labra-Gayo, Jose-Emilio ; Martens, Wim ; Mogavero, Fabio ; Murlak, Filip ; Okulmus, Cem ; Savkovic, Ognjen ; Šimkus, Mantas ; Tomaszuk, Dominik | Common Foundations for Recursive Shape Languages | Inproceedings Konferenzbeitrag | 2026 |
| 28 | | Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas | CircuitSynth: Reliable Synthetic Data Generation | Inproceedings Konferenzbeitrag | 2026 |
| 29 | | Cheng, Zehua ; Dai, Wei ; Sun, Jiahao ; Lukasiewicz, Thomas | GraphSynth: Resolving the Diversity-Reliability Trade-off with Probabilistic Factor Graphs | Inproceedings Konferenzbeitrag | 2026 |
| 30 | | Schön, Felix ; Hans, Tompits, | blksprs: A Triton Library for Block-Sparse Matrix Operations | Inproceedings Konferenzbeitrag | 2026 |
| 31 | | Xu, Zhenghua ; Zhang, Yujun ; Li, Bo ; Zhou, Gaoxi ; Lu, Xianglin ; Lukasiewicz, Thomas | Advancing federated semi-supervised medical image segmentation: A duo of interactive denoising pseudo-labels and convolutional contrastive learning | Article Artikel | 2026 |
| 32 | | Xu, Zhenghua ; Zhang, Hexiang ; Yang, Runhe ; Liu, Weipeng ; Lukasiewicz, Thomas | Semi-supervised medical image lesion detection based on multi-head feature fusion | Article Artikel | 2026 |
| 33 | | Adam, Sebastian Philipp ; Eiter, Thomas | ASP-Based Probabilistic Policy Fixing for Norm Compliant RL | Inproceedings Konferenzbeitrag | 2026 |
| 34 |  | Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas | A Logic Programming Approach to Repairing SHACL Constraint Violations | Article Artikel | 10-Dec-2025 |
| 35 | | Cabalar, Pedro ; Eiter, Thomas ; Pearce, David ; Soldà, Davide | Brief Temporal Equilibrium Logic | Presentation Vortrag | 25-Nov-2025 |
| 36 | | Aguilera-Ventura, Carlos ; Liu, Xinghan ; Lorini, Emiliano ; Rozplokhas, Dmitrii | A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals | Inproceedings Konferenzbeitrag | 12-Nov-2025 |
| 37 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 38 | | Adam, Sebastian ; Eiter, Thomas | Incremental Lazy Grounding (Work in Progress) | Presentation Vortrag | Nov-2025 |
| 39 | | Xie, Zhongbin ; Lukasiewicz, Thomas | Investigating Multi-layer Representations for Dense Passage Retrieval | Inproceedings Konferenzbeitrag | Nov-2025 |
| 40 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 41 | | Geibinger, Tobias ; Saribatur, Zeynep G. | What Can We Explain in Answer Set Programming? | Inproceedings Konferenzbeitrag | Nov-2025 |
| 42 | | Ahmetaj, Shqiponja ; Konstantinidis, George ; Ortiz, Magdalena ; Pareti, Paolo ; Simkus, Mantas | SHACL Validation Under Graph Updates | Inproceedings Konferenzbeitrag | 29-Oct-2025 |
| 43 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 44 |  | Geibinger, Tobias ; Jaakkola, Reijo ; Kuusisto, Antti ; Liu, Xinghan ; Vilander, Miikka | Why This and Not That? A Logic-Based Framework for Contrastive Explanations | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 45 | | Bednarczyk, Bartosz Jan ; Kojelis, Daumantas ; Pratt-Hartmann, Ian | The adjacent fragment and Quine’s limits of decision | Article Artikel | Sep-2025 |
| 46 | | Eiter, Thomas ; Soldà, Davide | On Temporal ASP with Eager Unfoldable Operators | Inproceedings Konferenzbeitrag | Aug-2025 |
| 47 | | Yu, Miao ; Xu, Zhenghua ; Lukasiewicz, Thomas | A general survey on medical image super-resolution via deep learning | Article Artikel | Jul-2025 |
| 48 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Kaminski, Tobias | ASP-FZN: a translation-based constraint answer set solver | Article Artikel | Jul-2025 |
| 49 | | Danzinger, Philipp ; Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret | Modeling and Solving the Generalized Test Laboratory Scheduling Problem | Inproceedings Konferenzbeitrag | 29-Jun-2025 |
| 50 | | Soldà, Davide ; Cabalar, Pedro ; Ciabattoni, Agata ; Neufeld, Emery | Tackling Temporal Deontic Challenges with Equilibrium Logic | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 51 | | Löhnert, Bianca ; Augsten, Nikolaus ; Okulmus, Cem ; Ortiz, Magdalena | Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite | Inproceedings Konferenzbeitrag | 1-Jun-2025 |
| 52 | | Ahmetaj, Shqiponja ; Boneva, Iovka ; Hidders, Jan ; Hose, Katja ; Jakubowski, Maxime ; Labra Gayo, Jose Emilio ; Martens, Wim ; Mogavero, Fabio ; Murlak, Filip ; Okulmus, Cem ; Polleres, Axel ; Savković, Ognjen ; Simkus, Mantas ; Tomaszuk, Dominik | Common Foundations for SHACL, ShEx, and PG-Schema | Inproceedings Konferenzbeitrag | 22-Apr-2025 |
| 53 | | Ceylan, İsmail İlkan ; Lukasiewicz, Thomas ; Malizia, Enrico ; Vaicenavičius, Andrius | Explanations for query answers under existential rules | Article Artikel | Apr-2025 |
| 54 | | Schön, Felix ; Tompits, Hans | On Different Symbolic Music Representations for Algorithmic Composition Approaches Based on Neural Sequence Models | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 55 | | Xu, Zhenghua ; Liu, Yunxin ; Xu, Gang ; Lukasiewicz, Thomas | Self-Supervised Medical Image Segmentation Using Deep Reinforced Adaptive Masking | Article Artikel | Jan-2025 |
| 56 | | Di Stefano, Federica ; Manière, Quentin ; Ortiz, Magdalena ; Simkus, Mantas | Minimal Model Reasoning in Description Logics: Don’t Try This at Home! | Inproceedings Konferenzbeitrag | 2025 |
| 57 | | Di Stefano, Federica ; Lukumbuzya, Sanja ; Ortiz, Magdalena ; Simkus, Mantas | Expressive Description Logics with Rich Yet Affordable Numeric Constraints | Inproceedings Konferenzbeitrag | 2025 |
| 58 | | Ortiz, Magdalena ; Wassermann, Renata ; Schaub, Torsten | Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning | Proceedings Tagungsband | 2025 |
| 59 | | Adam, Sebastian ; Eiter, Thomas | ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning | Inproceedings Konferenzbeitrag | 2025 |
| 60 | | Bednarczyk, Bartosz Jan ; Kieroński, Emanuel | Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards | Inproceedings Konferenzbeitrag | 2025 |
| 61 | | Pinchetti, Luca ; Qi, Chang ; Lokshyn, Oleh ; Emde, Cornelius ; M'Charrak, Amine ; Tang, Mufeng ; Simon, Frieder ; Menzat, Bayar Ilhan ; Oliviers, Gaspard ; Bogacz, Rafal ; Lukasiewicz, Thomas ; Salvatori, Tommaso | Benchmarking Predictive Coding Networks - Made Simple | Inproceedings Konferenzbeitrag | 2025 |
| 62 | | Emde, Cornelius ; Pinto, Francesco ; Lukasiewicz, Thomas ; Torr, Philip ; Bibi, Adel | Towards Certification of Uncertainty Calibration under AdversarialAttacks | Inproceedings Konferenzbeitrag | 2025 |
| 63 | | Emde, Cornelius ; Paren, Alasdair James ; Arvind, Preetham ; Kayser, Maxime Guillaume ; Rainforth, Tom ; Lukasiewicz, Thomas ; Torr, Philip ; Bibi, Adel | Shh, don't say that! Domain Certification in LLMs | Inproceedings Konferenzbeitrag | 2025 |
| 64 | | Xu, Zhenghua ; Yang, Runhe ; Xu, Zihang ; Zhang, Shuo ; Yang, Yuchen ; Liu, Weipeng ; Xu, Weichao ; Chen, Junyang ; Lukasiewicz, Thomas ; Leung, Victor C. M. | PCA: Semi-Supervised Segmentation With Patch Confidence Adversarial Training | Article Artikel | 2025 |
| 65 | | Lopez-Miguel, Ignacio D. ; Adam, Sebastian Philipp ; Bartocci, Ezio ; Eiter, Thomas ; Tappler, Martin | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents | Inproceedings Konferenzbeitrag | 2025 |
| 66 |  | Geibinger, Tobias ; Saribatur, Zeynep G. ; Woltran, Stefan | A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs | Inproceedings Konferenzbeitrag | 2025 |
| 67 | | David, Robert ; Ahmeti, Albin ; Ahmetaj, Shqiponja ; Polleres, Axel | OWL_strict: A Constrained OWL Fragment to Avoid Ambiguities for Knowledge Graph Practitioners | Inproceedings Konferenzbeitrag | 2025 |
| 68 | | Oudshoorn, Anouk Michelle | SHACL Satisfiability: What Can We Learn from DLs? | Inproceedings Konferenzbeitrag | 2025 |
| 69 | | Eiter, Thomas ; Geibinger, Tobias | A Sequent Calculus for Answer Set Entailment | Inproceedings Konferenzbeitrag | 2025 |
| 70 |  | Ferranti, Nicolas ; De Souza, Jairo Francisco ; Ahmetaj, Shqiponja ; Polleres, Axel | Formalizing and Validating Wikidata’s Property Constraints using SHACL and SPARQL | Article Artikel | 1-Dec-2024 |
| 71 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson Nicolas ; Musliu, Nysret ; Oetsch, Johannes ; Pfliegler, Dave ; Stepanova, Daria | Adaptive large-neighbourhood search for optimisation in answer-set programming | Article Artikel | Dec-2024 |
| 72 | | Kayser, Maxime ; Menzat, Bayar Ilhan ; Emde, Cornelius ; Bercean, Bogdan ; Novak, Alex ; Espinosa, Abdala ; Papiez, Bartlomiej W. ; Gaube, Susanne ; Lukasiewicz, Thomas ; Camburu, Oana-Maria | Fool Me Once? Contrasting Textual and Visual Explanations in a Clinical Decision-Support Setting | Inproceedings Konferenzbeitrag | Nov-2024 |
| 73 | | Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret | Investigating constraint programming and hybrid methods for real world industrial test laboratory scheduling | Article Artikel | 14-Oct-2024 |
| 74 |  | Eiter, Thomas ; Hadl, Jan ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Declarative Knowledge Distillation from Large Language Models forVisual Question Answering Datasets | Inproceedings Konferenzbeitrag | 12-Oct-2024 |
| 75 | | Ahmetaj, Shqiponja | Towards SHACL Validation of Evolving Graphs | Presentation Vortrag | 3-Oct-2024 |
| 76 | | Ahmetaj, Shqiponja ; Staworko, Slawomir ; Van den Bussche, Jan ; Jakubowski, Maxime | Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar24102) | Article Artikel | 19-Sep-2024 |
| 77 | | Collevati, Michele ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas | Leveraging Neurosymbolic AI for Slice Discovery | Inproceedings Konferenzbeitrag | 10-Sep-2024 |
| 78 |  | Eiter, Thomas ; Fichte, Johannes Klaus ; Hecher, Markus ; Woltran, Stefan | Epistemic Logic Programs: Non-Ground and Counting Complexity | Inproceedings Konferenzbeitrag | 9-Aug-2024 |
| 79 | | Oudshoorn, Anouk Michelle ; Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Simkus, Mantas | Combining SHACL and description logics | Presentation Vortrag | 25-Jun-2024 |
| 80 |  | Löhnert, Bianca ; Augsten, Nikolaus ; Okulmus, Cem ; Ortiz de la Fuente, Maria Magdalena | Towards Practicable Algorithms for Rewriting Graph Queries beyondDL-Lite (Extended Abstract) | Inproceedings Konferenzbeitrag | 21-Jun-2024 |
| 81 | | Ahmetaj, Shqiponja | Explanations for Non-Validation in SHACL | Presentation Vortrag | 31-May-2024 |
| 82 |  | Bonte, Pieter ; Calbimonte, Jean-Paul ; de Leng, Daniel ; Dell'Aglio, Daniele ; Valle, Emanuele Della ; Eiter, Thomas ; Giannini, Federico ; Heintz, Fredrik ; Kostyantyn Shchekotykhin ; Le Phuoc, Danh ; Mileo, Alessandra ; Schneider, Patrik ; Tommasini, Riccardo ; Urbani, Jacopo ; Ziffer, Giacomo | Grounding stream reasoning research | Article Artikel | 3-May-2024 |
| 83 | | Lukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas | Datalog rewritability and data complexity of ALCHOIQ with closed predicates | Article Artikel | May-2024 |
| 84 |  | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Peter David | aspmc: New frontiers of algebraic answer set counting | Article Artikel | May-2024 |
| 85 | | Mahon, Louis ; Lukasiewicz, Thomas | Hard Regularization to Prevent Deep Online Clustering Collapse without Data Augmentation | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 86 | | Fichte, Johannes K. ; Geibinger, Tobias ; Hecher, Markus ; Schlögel, Matthias | Parallel Empirical Evaluations: Resilience despite Concurrency | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 87 | | Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora | The Defeat of the Winograd Schema Challenge (Abstract Reprint) | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 88 |  | Eiter, Thomas ; Woltran, Stefan | Künstliche Intelligenz ist mehr als CHATGPT | Special Contribution Spezialbeitrag | 1-Mar-2024 |
| 89 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Skočovský, Peter ; Stepanova, Daria | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM | Article Artikel | 1-Mar-2024 |
| 90 |  | Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Ich sehe was, das du nicht siehst: Visual Question Answering heute & in Zukunft | Special Contribution Spezialbeitrag | 1-Mar-2024 |
| 91 |  | Mahon, Louis ; Lukasiewicz, Thomas | Minimum description length clustering to measure meaningful image complexity | Article Artikel | Jan-2024 |
| 92 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Simkus, Mantas | Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases | Inproceedings Konferenzbeitrag | 2024 |
| 93 |  | Cabalar, Pedro ; Eiter, Thomas ; Soldà, Davide | Contracted Temporal Equilibrium Logic | Inproceedings Konferenzbeitrag | 2024 |
| 94 | | Marquis, Pierre ; Ortiz, Magdalena ; Pagnucco, Maurice | Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning | Proceedings Tagungsband | 2024 |
| 95 | | Frieder, Simon ; Pinchetti, Luca ; Lukasiewicz, Thomas | Bad Predictive Coding Activation Functions | Inproceedings Konferenzbeitrag | 2024 |
| 96 | | Tommaso Salvatori ; Song, Yuhang ; Yordanov, Yordan ; Millidge, Beren ; Sha, Lei ; Emde, Cornelius ; Xu, Zhenghua ; Bogacz, Rafal ; Thomas Lukasiewicz | A Stable, Fast, and Fully Automatic Learning Algorithm for Predictive Coding Networks | Inproceedings Konferenzbeitrag | 2024 |
| 97 | | Stoian, Mihaela Cătălina ; Tatomir, Alex ; Lukasiewicz, Thomas ; Giunchiglia, Eleonora | PiShield: A NeSy Framework for Learning with Requirements | Inproceedings Konferenzbeitrag | 2024 |
| 98 | | Stoian, Mihaela Cătălina ; Dyrmishi, Salijona ; Cordy, Maxime ; Lukasiewicz, Thomas ; Giunchiglia, Eleonora | How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data | Inproceedings Konferenzbeitrag | 2024 |
| 99 |  | Song, Yuhang ; Millidge, Beren ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Xu, Zhenghua ; Bogacz, Rafal | Inferring neural activity before plasticity as a foundation for learning beyond backpropagation | Article Artikel | 2024 |
| 100 | | Frieder, Simon ; Olšák, Mirek ; Berner, Julius ; Lukasiewicz, Thomas | The IMO Small Challenge: Not-Too-Hard Olympiad Math Datasets for LLMs | Inproceedings Konferenzbeitrag | 2024 |
