|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | 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 |
| 2 | | Dvořák, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again | Inproceedings Konferenzbeitrag | 2026 |
| 3 |  | Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Šimkus, Mantas | A Logic Programming Approach to Repairing SHACL Constraint Violations | Article Artikel | 10-Dec-2025 |
| 4 |  | 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 |
| 5 |  | 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 |
| 6 | | Eiter, Thomas ; Geibinger, Tobias | A Sequent Calculus for Answer Set Entailment | Inproceedings Konferenzbeitrag | 2025 |
| 7 | | Lasy, Ilya ; Knees, Peter ; Woltran, Stefan | Understanding Verbatim Memorization in LLMs Through Circuit Discovery | Inproceedings Konferenzbeitrag | 2025 |
| 8 | | Dvorak, Wolfgang ; Saribatur, Zeynep G. ; Woltran, Stefan | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again | Inproceedings Konferenzbeitrag | 2025 |
| 9 | | Beiser, Alexander ; Penz, David ; Musliu, Nysret | Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning | Inproceedings Konferenzbeitrag | 2025 |
| 10 | | 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 |
| 11 | | Geibinger, Tobias ; Saribatur, Zeynep G. ; Woltran, Stefan | A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs | Inproceedings Konferenzbeitrag | 2025 |
