|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Haldimann, Jonas ; Šimkus, Mantas ; Meyer, Thomas | Towards Defeasible Reasoning about Actions and Their Effects | Inproceedings Konferenzbeitrag    | 16-Aug-2026 |
| 2 |  | Šimkus, Mantas | A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 3 |  | Skaisgiris, Paulius ; Veronese, Celeste ; Meli, Daniele | Learning Symbolic Temporal Advice for Guiding Reinforcement Learning (Extended Abstract) | Inproceedings Konferenzbeitrag | 16-Aug-2026 |
| 4 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Shapes from Examples: Foundations of Shape Learning in Recursive SHACL | Preprint Preprint | 30-Jul-2026 |
| 5 |  | Gortworst, Bente ; Okulmus, Cem ; Ortiz, Magdalena ; Turhan, Anni-Yasmin | Reaching for the Stars in EL* Concept Learning | Inproceedings Konferenzbeitrag | 25-Jul-2026 |
| 6 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Šimkus, Mantas | Static Analysis of Recursive SHACL | Inproceedings Konferenzbeitrag | 17-Jul-2026 |
| 7 | | Danzinger, Philipp ; Musliu, Nysret | From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc | Inproceedings Konferenzbeitrag | 13-Jul-2026 |
| 8 |  | Bachmann, Paul Anton ; Boehmer, Niclas ; Klausner, Lukas Daniel ; Lackner, Martin | AI of the People, by the People, for the People: A Social Choice Approach to Collective Control of Artificial Intelligence | Inproceedings Konferenzbeitrag | 25-Jun-2026 |
| 9 |  | Bilal, Mohammad ; Ehrenmüller, Katrin ; Steindl, Gernot ; Zheng, Zhuoxun ; Ahmetaj, Shqiponja ; Soylu, Ahmet ; Sallinger, Emanuel ; Kastner, Wolfgang | Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUML | Article Artikel | 22-Apr-2026 |
| 10 |  | Collevati, Michele ; Eiter, Thomas ; Higuera, Nelson | Leveraging Neurosymbolic AI for Slice Discovery | Article Artikel | Mar-2026 |
| 11 | | Dvořák, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again | Inproceedings Konferenzbeitrag | 2026 |
| 12 |  | Buchmüller, R. | GLANCE: Strategy-Based Visual Mediation for LLM Interaction | Inproceedings Konferenzbeitrag | 2026 |
| 13 | | Eiter, Thomas ; Geibinger, Tobias ; Saribatur, Zeynep G. | An XAI View on Explainable ASP: Methods, Systems, and Perspectives | Inproceedings Konferenzbeitrag | 2026 |
| 14 | | 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 |
| 15 |  | Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas | A Logic Programming Approach to Repairing SHACL Constraint Violations | Article Artikel | 10-Dec-2025 |
| 16 |  | Ekaputra, Fajar J. ; Käfer, Gregor ; Kempe, Matthias | An Ontology for the Common Data Format on Football Match Data | Inproceedings Konferenzbeitrag | 31-Oct-2025 |
| 17 |  | Bellomarini, Luigi ; Blasi, Livia ; Gentili, Andrea ; Laurendi, Rosario ; Laurenza, Eleonora ; Sallinger, Emanuel | The Joint Knowledge Graph Labs: Neuro-symbolic Reasoning in Action | Inproceedings Konferenzbeitrag | 30-Oct-2025 |
| 18 |  | 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 |
| 19 | | Eiter, Thomas ; Soldà, Davide | On Temporal ASP with Eager Unfoldable Operators | Inproceedings Konferenzbeitrag | Aug-2025 |
| 20 | | Lasy, Ilya ; Knees, Peter ; Woltran, Stefan | Understanding Verbatim Memorization in LLMs Through Circuit Discovery | Inproceedings Konferenzbeitrag | 2025 |
