|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | 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 |
| 2 | | Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas | A Logic Programming Approach to Repairing SHACL Constraint Violations | Article Artikel | 10-Dec-2025 |
| 3 | | 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 |
| 4 | | Pfliegler, Dave ; Geibinger, Tobias ; Eiter, Thomas | Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2025 |
| 5 | | Geibinger, Tobias ; Eiter, Thomas | An Argumentation Calculus for Equilibrium Logic | Inproceedings Konferenzbeitrag | Nov-2025 |
| 6 | | Geibinger, Tobias ; Saribatur, Zeynep G. | What Can We Explain in Answer Set Programming? | Inproceedings Konferenzbeitrag | Nov-2025 |
| 7 | | Ahmetaj, Shqiponja ; Konstantinidis, George ; Ortiz, Magdalena ; Pareti, Paolo ; Simkus, Mantas | SHACL Validation Under Graph Updates | Inproceedings Konferenzbeitrag | 29-Oct-2025 |
| 8 |  | 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 |
| 9 | | Haldimann, Jonas ; Ortiz, Magdalena ; Šimkus, Mantas | Towards Practicable Defeasible Reasoning for ABoxes | Inproceedings Konferenzbeitrag | 2-Sep-2025 |
| 10 | | Bednarczyk, Bartosz Jan ; Kojelis, Daumantas ; Pratt-Hartmann, Ian | The adjacent fragment and Quine’s limits of decision | Article Artikel | Sep-2025 |
| 11 | | Yu, Miao ; Xu, Zhenghua ; Lukasiewicz, Thomas | A general survey on medical image super-resolution via deep learning | Article Artikel | Jul-2025 |
| 12 |  | Eiter, Thomas ; Geibinger, Tobias ; Musliu, Nysret ; Oetsch, Johannes ; Kaminski, Tobias | ASP-FZN: a translation-based constraint answer set solver | Article Artikel | Jul-2025 |
| 13 | | Danzinger, Philipp ; Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret | Modeling and Solving the Generalized Test Laboratory Scheduling Problem | Inproceedings Konferenzbeitrag | 29-Jun-2025 |
| 14 | | Soldà, Davide ; Cabalar, Pedro ; Ciabattoni, Agata ; Neufeld, Emery | Tackling Temporal Deontic Challenges with Equilibrium Logic | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 15 | | Löhnert, Bianca ; Augsten, Nikolaus ; Okulmus, Cem ; Ortiz, Magdalena | Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite | Inproceedings Konferenzbeitrag | 1-Jun-2025 |
| 16 | | 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 |
| 17 | | Ceylan, İsmail İlkan ; Lukasiewicz, Thomas ; Malizia, Enrico ; Vaicenavičius, Andrius | Explanations for query answers under existential rules | Article Artikel | Apr-2025 |
| 18 | | Xu, Zhenghua ; Liu, Yunxin ; Xu, Gang ; Lukasiewicz, Thomas | Self-Supervised Medical Image Segmentation Using Deep Reinforced Adaptive Masking | Article Artikel | Jan-2025 |
| 19 | | Eiter, Thomas ; Geibinger, Tobias | A Sequent Calculus for Answer Set Entailment | Inproceedings Konferenzbeitrag | 2025 |
| 20 | | 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 |
| 21 | | 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 |
| 22 | | 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 |
| 23 | | Emde, Cornelius ; Pinto, Francesco ; Lukasiewicz, Thomas ; Torr, Philip ; Bibi, Adel | Towards Certification of Uncertainty Calibration under AdversarialAttacks | Inproceedings Konferenzbeitrag | 2025 |
| 24 | | Geibinger, Tobias ; Saribatur, Zeynep G. ; Woltran, Stefan | A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs | Inproceedings Konferenzbeitrag | 2025 |
| 25 | | 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 |
| 26 | | Di Stefano, Federica ; Lukumbuzya, Sanja ; Ortiz, Magdalena ; Simkus, Mantas | Expressive Description Logics with Rich Yet Affordable Numeric Constraints | Inproceedings Konferenzbeitrag | 2025 |
| 27 | | Bednarczyk, Bartosz Jan ; Kieroński, Emanuel | Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards | Inproceedings Konferenzbeitrag | 2025 |
| 28 | | David, Robert ; Ahmeti, Albin ; Ahmetaj, Shqiponja ; Polleres, Axel | OWL_strict: A Constrained OWL Fragment to Avoid Ambiguities for Knowledge Graph Practitioners | Inproceedings Konferenzbeitrag | 2025 |
| 29 | | Ortiz, Magdalena ; Wassermann, Renata ; Schaub, Torsten | Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning | Proceedings Tagungsband | 2025 |
| 30 | | Oudshoorn, Anouk Michelle | SHACL Satisfiability: What Can We Learn from DLs? | Inproceedings Konferenzbeitrag | 2025 |
| 31 | | Adam, Sebastian ; Eiter, Thomas | ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning | Inproceedings Konferenzbeitrag | 2025 |
| 32 |  | 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 |
| 33 | | 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 |
| 34 | | 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 |
| 35 | | Geibinger, Tobias ; Mischek, Florian ; Musliu, Nysret | Investigating constraint programming and hybrid methods for real world industrial test laboratory scheduling | Article Artikel | 14-Oct-2024 |
| 36 |  | 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 |
| 37 | | Ahmetaj, Shqiponja | Towards SHACL Validation of Evolving Graphs | Presentation Vortrag | 3-Oct-2024 |
| 38 | | Ahmetaj, Shqiponja ; Staworko, Slawomir ; Van den Bussche, Jan ; Jakubowski, Maxime | Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar24102) | Article Artikel | 19-Sep-2024 |
| 39 | | Collevati, Michele ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas | Leveraging Neurosymbolic AI for Slice Discovery | Inproceedings Konferenzbeitrag | 10-Sep-2024 |
| 40 |  | Eiter, Thomas ; Fichte, Johannes Klaus ; Hecher, Markus ; Woltran, Stefan | Epistemic Logic Programs: Non-Ground and Counting Complexity | Inproceedings Konferenzbeitrag | 9-Aug-2024 |
| 41 | | Oudshoorn, Anouk Michelle ; Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Simkus, Mantas | Combining SHACL and description logics | Presentation Vortrag | 25-Jun-2024 |
| 42 |  | 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 |
| 43 | | Ahmetaj, Shqiponja | Explanations for Non-Validation in SHACL | Presentation Vortrag | 31-May-2024 |
| 44 |  | 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 |
| 45 | | Lukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas | Datalog rewritability and data complexity of ALCHOIQ with closed predicates | Article Artikel | May-2024 |
| 46 |  | Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Peter David | aspmc: New frontiers of algebraic answer set counting | Article Artikel | May-2024 |
| 47 | | Mahon, Louis ; Lukasiewicz, Thomas | Hard Regularization to Prevent Deep Online Clustering Collapse without Data Augmentation | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 48 | | Fichte, Johannes K. ; Geibinger, Tobias ; Hecher, Markus ; Schlögel, Matthias | Parallel Empirical Evaluations: Resilience despite Concurrency | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 49 | | Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora | The Defeat of the Winograd Schema Challenge (Abstract Reprint) | Inproceedings Konferenzbeitrag | 24-Mar-2024 |
| 50 |  | Eiter, Thomas ; Woltran, Stefan | Künstliche Intelligenz ist mehr als CHATGPT | Special Contribution Spezialbeitrag | 1-Mar-2024 |
| 51 |  | 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 |
| 52 |  | 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 |
| 53 |  | Mahon, Louis ; Lukasiewicz, Thomas | Minimum description length clustering to measure meaningful image complexity | Article Artikel | Jan-2024 |
| 54 | | Oudshoorn, Anouk Michelle ; Ortiz, Magdalena ; Simkus, Mantas | Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases | Inproceedings Konferenzbeitrag | 2024 |
| 55 | | Ahmetaj, Shqiponja ; Merkl, Timo Camillo ; Pichler, Reinhard | Consistent Query Answering over SHACL Constraints | Inproceedings Konferenzbeitrag | 2024 |
| 56 |  | Cabalar, Pedro ; Eiter, Thomas ; Soldà, Davide | Contracted Temporal Equilibrium Logic | Inproceedings Konferenzbeitrag | 2024 |
| 57 | | Marquis, Pierre ; Ortiz, Magdalena ; Pagnucco, Maurice | Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning | Proceedings Tagungsband | 2024 |
| 58 | | Frieder, Simon ; Pinchetti, Luca ; Lukasiewicz, Thomas | Bad Predictive Coding Activation Functions | Inproceedings Konferenzbeitrag | 2024 |
| 59 | | 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 |
| 60 | | Stoian, Mihaela Cătălina ; Tatomir, Alex ; Lukasiewicz, Thomas ; Giunchiglia, Eleonora | PiShield: A NeSy Framework for Learning with Requirements | Inproceedings Konferenzbeitrag | 2024 |
| 61 | | 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 |
| 62 |  | 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 |
| 63 | | Frieder, Simon ; Olšák, Mirek ; Berner, Julius ; Lukasiewicz, Thomas | The IMO Small Challenge: Not-Too-Hard Olympiad Math Datasets for LLMs | Inproceedings Konferenzbeitrag | 2024 |
| 64 | | Ahmetaj, Shqiponja | Explanations and Repairs for Non-Validation in SHACL | Presentation Vortrag | 2024 |
| 65 | | Geibinger, Tobias ; Kaminski, Tobias ; Oetsch, Johannes | Explanations for Guess-and-Check ASP Encodings Using an LLM (Extended Abstract) | Inproceedings Konferenzbeitrag | 2024 |
| 66 | | Salvatori, Tommaso ; Pinchetti, Luca ; M'Charrak, Amine ; Millidge, Beren ; Lukasiewicz, Thomas | Predictive Coding beyond Correlations | Inproceedings Konferenzbeitrag | 2024 |
| 67 | | Meier, Arne ; Ortiz, Magdalena | Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings | Proceedings Tagungsband | 2024 |
| 68 | | Liu, Xin ; Xia, Junqiang ; Deng, Shanshan ; Zhou, Meirong ; Mao, Beiping ; Blanckaert, Koen | Hydrodynamic and Morphological Adaptation of Two Consecutive Sharp Bends of the Middle Yangtze River to Upstream Damming | Article Artikel | 29-Dec-2023 |
| 69 |  | Soldà, Davide ; Fabiano, Francesco ; Dovier, Agostino | ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems | Article Artikel | Dec-2023 |
| 70 | | Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora | The Defeat of the Winograd Schema Challenge | Article Artikel | Dec-2023 |
| 71 |  | Bauer, Jakob Johannes ; Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes | Neuro-Symbolic Visual Graph Question Answering with LLMs for Language Parsing | Presentation Vortrag | 21-Nov-2023 |
| 72 | | Xu, Zhenghua ; Tian, Biao ; Liu, Shijie ; Wang, Xiangtao ; Yuan, Di ; Gu, Junhua ; Chen, Junyang ; Lukasiewicz, Thomas ; Leung, Victor C. M. | Collaborative Attention Guided Multi-Scale Feature Fusion Network for Medical Image Segmentation | Article Artikel | 14-Nov-2023 |
| 73 | | Eiter, Thomas ; Geibinger, Tobias | Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract) | Inproceedings Konferenzbeitrag | Nov-2023 |
| 74 |  | Ahmetaj, Shqiponja ; Ortiz de la Fuente, Maria Magdalena ; Oudshoorn, Anouk Michelle ; Simkus, Mantas | Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract) | Inproceedings Konferenzbeitrag | 23-Oct-2023 |
| 75 | | Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Oudshoorn, Anouk ; Šimkus, Mantas | Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting | Inproceedings Konferenzbeitrag | 28-Sep-2023 |
| 76 | | Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes | Contrastive Explanations for Answer-Set Programs | Inproceedings Konferenzbeitrag | Sep-2023 |
| 77 | | Xu, Zhenghua ; Zhang, Xudong ; Zhang, Hexiang ; Liu, Yunxin ; Zhan, Yuefu ; Lukasiewicz, Thomas | EFPN: Effective medical image detection using feature pyramid fusion enhancement | Article Artikel | Sep-2023 |
| 78 | | Geibinger, Tobias | Explainable Answer-set Programming | Inproceedings Konferenzbeitrag | 30-Aug-2023 |
| 79 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes | A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering | Inproceedings Konferenzbeitrag | Aug-2023 |
| 80 | | Eiter, Thomas ; Geibinger, Tobias | Explaining Answer-Set Programs with Abstract Constraint Atoms | Inproceedings Konferenzbeitrag | Aug-2023 |
| 81 | | Eiter, Thomas ; Kiesel, Rafael Peter David | Semiring Reasoning Frameworks in AI and Their Computational Complexity | Article Artikel | 31-May-2023 |
| 82 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Contextual Reasoning for Scene Generation. Technical Report | Preprint Preprint | 3-May-2023 |
| 83 | | Giunchiglia, Eleonora ; Stoian, Mihaela Cătălina ; Khan, Salman ; Cuzzolin, Fabio ; Lukasiewicz, Thomas | ROAD-R: the autonomous driving dataset with logical requirements | Article Artikel | 1-May-2023 |
| 84 | | Yuan, Di ; Xu, Zhenghua ; Tian, Biao ; Wang, Hening ; Zhan, Yuefu ; Lukasiewicz, Thomas | μ-Net: Medical image segmentation using efficient and effective deep supervision | Article Artikel | 23-Apr-2023 |
| 85 | | Tang, Mufeng ; Salvatori, Tommaso ; Millidge, Beren ; Song, Yuhang ; Lukasiewicz, Thomas ; Bogacz, Rafal | Recurrent predictive coding models for associative memory employing covariance learning | Article Artikel | 14-Apr-2023 |
| 86 | | Xu, Zhenghua ; Li, Tianrun ; Liu, Yunxin ; Zhan, Yuefu ; Chen, Junyang ; Lukasiewicz, Thomas | PAC-Net: Multi-pathway FPN with position attention guided connections and vertex distance IoU for 3D medical image detection | Article Artikel | 2-Feb-2023 |
| 87 | | Yuan, Di ; Liu, Yunxin ; Xu, Zhenghua ; Zhan, Yuefu ; Chen, Junyang ; Lukasiewicz, Thomas | Painless and accurate medical image analysis using deep reinforcement learning with task-oriented homogenized automatic pre-processing | Article Artikel | Feb-2023 |
| 88 | | Li, Yikuan ; Mamouei, Mohammad ; Salimi-Khorshidi, Gholamreza ; Rao, Shishir ; Hassaine, Abdelaali ; Canoy, Dexter ; Lukasiewicz, Thomas ; Rahimi, Kazem | Hi-BEHRT: Hierarchical Transformer-Based Model for Accurate Prediction of Clinical Events Using Multimodal Longitudinal Electronic Health Records | Article Artikel | Feb-2023 |
| 89 | | Wang, Yisong ; Eiter, Thomas ; Zhang, Yuanlin ; Lin, Fangzhen | Witnesses for Answer Sets of Logic Programs | Article Artikel | 27-Jan-2023 |
| 90 | | EITER, THOMAS ; GEIBINGER, TOBIAS ; MUSLIU, NYSRET ; OETSCH, JOHANNES ; SKOČOVSKÝ, PETER ; STEPANOVA, DARIA | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling | Article Artikel | 26-Jan-2023 |
| 91 | | Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius | Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach | Article Artikel | 5-Jan-2023 |
| 92 | | EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW | The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II | Article Artikel | Jan-2023 |
| 93 |  | Kiesel, Rafael ; Eiter, Thomas | Knowledge Compilation and More with SharpSAT-TD | Inproceedings Konferenzbeitrag | 2023 |
| 94 | | Soldà, Davide ; López Miguel, Ignacio David ; Bartocci, Ezio ; Eiter, Thomas | Progression for Monitoring in Temporal ASP | Inproceedings Konferenzbeitrag | 2023 |
| 95 | | Ciabattoni, Agata ; Eiter, Thomas ; Hatschka, Christian | Deontic Paradoxes in ASP with Weak Constraints | Inproceedings Konferenzbeitrag | 2023 |
| 96 | | Xu, Gang ; Wang, Shengxin ; Lukasiewicz, Thomas ; Xu, Zhenghua | Adaptive-Masking Policy with Deep Reinforcement Learning for Self-Supervised Medical Image Segmentation | Inproceedings Konferenzbeitrag | 2023 |
| 97 | | Zhang, Hexiang ; Xu, Zhenghua ; Yao, Dan ; Zhang, Shuo ; Chen, Junyang ; Thomas Lukasiewicz | Multi-Head Feature Pyramid Networks for Breast Mass Detection | Inproceedings Konferenzbeitrag | 2023 |
| 98 |  | Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures | Inproceedings Konferenzbeitrag | 2023 |
| 99 | | Lukasiewicz, Thomas ; Malizia, Enrico ; Molinaro, Cristian | Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs | Inproceedings Konferenzbeitrag | 2023 |
| 100 | | Jang, Myeongjun ; Lukasiewicz, Thomas | Improving Language Models’ Meaning Understanding and Consistency by Learning Conceptual Roles from Dictionary | Inproceedings Konferenzbeitrag | 2023 |
