|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Yan, Yingfei ; Tang, Khai Hanh ; Chu, Hien Thi Thu ; Chow, Sherman S. M. ; Ling, San ; Wang, Huaxiong ; Zhang, Kai | Sovereign Modal Signatures | Inproceedings Konferenzbeitrag  | 2027 |
| 2 |  | Schärmer, Alina ; Landauer, Max ; Skopik, Florian ; Wurzenberger, Markus ; Squarcina, Marco | Let the Alerts Speak: LLM-Based IDS Alert Interpretation for SOC Triage | Inproceedings Konferenzbeitrag   | 2027 |
| 3 | | Bankosegger, Rafael ; Eiter, Thomas ; Oetsch, Johannes | Answer-Set-Programming-based Abstractions for Reinforcement Learning | Presentation Vortrag | 24-Nov-2026 |
| 4 |  | Calzavara, Stefano ; Casarin, Samuele ; Squarcina, Marco ; Maffei, Matteo | From Syntactic Matching to Taint Tracking and Back: A Comparative Study of Web Tracking Detection Techniques | Inproceedings Konferenzbeitrag | Oct-2026 |
| 5 | | 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 |
| 6 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian | The complexity of envy-free graph cutting | Article Artikel | Sep-2026 |
| 7 |  | Dutertre, Bruno ; Könighofer, Bettina | Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026 | Proceedings Tagungsband | Sep-2026 |
| 8 |  | Kovacs, Laura | The Vampire Diary | Inproceedings Konferenzbeitrag | Sep-2026 |
| 9 |  | Saccomani, Pedro ; Mohamed, Abdalrhman ; Pertseva, Elisaveta ; Kaufmann, Daniela ; Tinelli, Cesare ; Barrett, Clark ; Barbosa, Haniel | Proof Production for Satisfiability Modulo Finite Fields with Proof Checking in Pacheck and Lean | Inproceedings Konferenzbeitrag | Sep-2026 |
| 10 |  | Kafshdar Goharshady, Amir ; Hader, Thomas ; Kovacs, Laura ; Motwani, Harshit Jitendra | Randomized Satisfiability Checking for Non-Linear Arithmetic over Finite Fields | Inproceedings Konferenzbeitrag | Sep-2026 |
| 11 |  | Adame, Berhan Oumer ; Bogaerts, Bart ; Bogø, Benjamin ; Dold, Simon ; GONTIER, Arthur ; Koops, Wietze ; McCreesh, Ciaran ; McIlree, Matthew ; Nordström, Jakob ; Oertel, Andy ; Rebola Pardo, Adrian ; Turnbull, Mark Paul | Trimming Pseudo-Boolean Proofs | Inproceedings Konferenzbeitrag | Sep-2026 |
| 12 |  | Ferdowsi, Arman ; Kovacs, Laura | Certificate-Aware Property-Directed Reachability | Inproceedings Konferenzbeitrag | Sep-2026 |
| 13 | | Kletzander, Lucas | Multi-Contract Integrated Shift Design and Rostering | Presentation Vortrag | 27-Aug-2026 |
| 14 |  | 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 |
| 15 | | Chu, Hien Thi Thu ; Corsi, Alessandro ; Rösler, Paul | Anamorphic Messaging: Analyzing the Double Ratchet, Triple Ratchet, PQ3, and MLS | Presentation Vortrag | 13-Aug-2026 |
| 16 | | Alwen, Joël ; Fuchsbauer, Georg ; Mularczyk, Marta ; Riepel, Doreen | Lattice-Based Updatable KEM for Group Messaging | Inproceedings Konferenzbeitrag | 13-Aug-2026 |
| 17 | | Faonio, Antonio ; Russo, Luigi | Sumcheck-Based zkSNARKs are Non-malleable | Inproceedings Konferenzbeitrag | 11-Aug-2026 |
| 18 | | Breuer, Nils Ole ; Linhardt, Lorenz ; Normann, Philipp ; Arp, Daniel | Towards Explaining Classification Models in Security with Sparse Autoencoders | Inproceedings Konferenzbeitrag | 6-Aug-2026 |
| 19 | | Almeida, José ; Limmer, Steffen ; Soares, João ; Bresich, Maria ; Raidl, Günther ; Vale, Zita | Dataset of electric autonomous dial-a-ride instances with local energy communities and electricity tariffs | Article Artikel | Aug-2026 |
| 20 |  | Beer, Philipp ; Roth, Sebastian ; Lindorfer, Martina ; Squarcina, Marco | Plain Text, Plain Risks: Measuring HTTP Inclusion in Android WebViews at Scale | Inproceedings Konferenzbeitrag | Aug-2026 |
| 21 | | Bartocci, Ezio | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk) | Inproceedings Konferenzbeitrag | Aug-2026 |
| 22 | | Leitsch, Alexander ; Lolic, Anela ; Mahler, Stella | Schemata, Cyclic Proofs and Herbrand Systems | Presentation Vortrag | 25-Jul-2026 |
| 23 | | Cissell, Bethany Isabella | Argumentation Based Dialogue Games for Deontic Explanations with Uncertainty | Presentation Vortrag | 25-Jul-2026 |
| 24 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Wagner, Eva Maria | Completeness of Synthesis Under Realizability Assumptions Using Superposition | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 25 | | Köll, Christian ; Ciabattoni, Agata ; Rozplokhas, Dmitry | SMT-Based Deontic Reasoning for Åqvist Logics | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 26 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 27 | | Hofstadler, Clemens ; Kaufmann, Daniela ; Chen, Chen | Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 28 | | Sallinger, Sarah Sophie ; Graussam, Lukas ; Weissenbacher, Georg ; Zuleger, Florian ; Ignatiev, Alexey | Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 29 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela ; Mahler, Stella | How to deal with Henkin Quantifiers in First-Order Logic | Presentation Vortrag | 24-Jul-2026 |
| 30 | | Pichler, Dominik ; Tagliaferri, Mirko | Robust Classification in ML: A Topological Semantics Approach | Inproceedings Konferenzbeitrag | 18-Jul-2026 |
| 31 | | Eiter, Thomas ; Nießen, Tobias ; Soldà, Davide | SAT Modulo Well-Founded Semantics | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 32 | | Ganian, Robert ; Gründel, Marlene | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 33 | | Varga, Johannes ; Raidl, Günther ; Rodemann, Tobias | Timing of Queries in Interactive Job Scheduling | Presentation Vortrag | 16-Jul-2026 |
| 34 | | Iurlano, Enrico ; Raidl, Günther ; Weissenfels, Alexander | A Beam Search for Linearly Covering all Subsets of a Finite Set | Presentation Vortrag | 16-Jul-2026 |
| 35 | | Pollitt, Florian ; Fleury, Mathias ; Fazekas, Katalin ; Froleyks, Nils ; Schidler, André ; Schreiber, Dominik ; Biere, Armin | CaDiCaL 3.0 (Tool Paper) | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 36 | | Chew, Leroy ; Peitl, Tomáš | Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking | Inproceedings Konferenzbeitrag | 16-Jul-2026 |
| 37 | | Kletzander, Lucas ; Foschini, Marco ; Guns, Tias | Automated Weight Setting for Interactive Exploration in Multi-objective Combinatorial Optimization | Presentation Vortrag | 15-Jul-2026 |
| 38 | | Bojikian, Narek ; Firbas, Alexander ; Ganian, Robert ; Hoang, Hung P. ; Szilágyi, Krisztina | Fine-Grained Complexity of Computing Degree-Constrained Spanning Trees | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 39 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad | Coordinated Motion Planning Is FPT on Discretized Simple Polygons | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 40 | | Bai, Tian ; Fomin, Fedor V. ; Golovach, Petr A. ; More, Yash Hiren ; Wietheger, Simon | Clustering Permutations Under the Ulam Metric: A Parameterized Complexity Study | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 41 | | Hoang, Hung P. ; Ohsaka, Naoto ; Saito, Rin ; Tamura, Yuma | On (In)approximability of MaxMin Independent Set Reconfiguration | Inproceedings Konferenzbeitrag | 1-Jul-2026 |
| 42 |  | 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 |
| 43 | | Wallinger, Markus ; Bonerath, Annika ; Terziadis, Soeren ; Wulms, Jules ; Nöllenburg, Martin | Clarity and Computational Efficiency of Orbital Boundary Labeling | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 44 | | Dobler, Alexander ; Le Thanh, Son ; Nöllenburg, Martin ; Weinkauf, Tino | Minimizing Visual Clutter in Temporal Treemaps to Enable Comparison of Evolving Hierarchies | Inproceedings Konferenzbeitrag | 17-Jun-2026 |
| 45 | | Alsuwaykit, Zainab ; Rajeh, Yousef ; Kouyoumdjian, Alexandre ; Kieffer, Steve ; Engel, Dominik ; Di Bartolomeo, Sara ; Nöllenburg, Martin ; Viola, Ivan | ARCOL: Aspect Ratio Constrained Orthogonal Layout | Article Artikel | 17-Jun-2026 |
| 46 |  | Köck, Bianca ; Pichlhöfer, Alexander ; Idiskut, Habibe ; Szeider, Stefan ; Hackl, Andrea ; Lammer, Lara | Zukunftsthemen spielerisch erleben : Nachhaltigkeit und Informatik als Hands-on-Erfahrung im Co-Creation-Space der TU Wien | Special Contribution Spezialbeitrag | 12-Jun-2026 |
| 47 | | Thölke, Henri ; Fermüller, Christian G. | Comparing Methods for Distance-based Many-valued Judgment Aggregation | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 48 | | Baaz, Matthias ; Gamsakhurdia, Mariami ; Lolić, Anela | Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics | Inproceedings Konferenzbeitrag | 11-Jun-2026 |
| 49 |  | Di Bartolomeo, S. ; Dobler, A. ; Filipov, Velitchko ; Nöllenburg, Martin ; Ehlers, H. | The Story(line) So Far: A Survey on Storyline Visualization | Inproceedings Konferenzbeitrag | 8-Jun-2026 |
| 50 | | Depian, Thomas ; Haase, Carolina ; Nöllenburg, Martin ; Schulz, André | Realizing Planar Linkages in Polygonal Domains | Inproceedings Konferenzbeitrag | 7-Jun-2026 |
| 51 | | Brenner, Sofia ; Fink, Jiří ; Hoang, Phuc Hung ; Merino, Arturo ; Pilaud, Vincent | Minimum Maximal Matchings in Permutahedra | Article Artikel | 5-Jun-2026 |
| 52 |  | Saha, Aakanksha ; Lindorfer, Martina ; Caballero, Juan | Kitten or Panda? Measuring the Specificity of Threat Group Behaviors in Public CTI Knowledge Bases | Inproceedings Konferenzbeitrag | 4-Jun-2026 |
| 53 |  | Weninger, Andreas ; Andreeva, Elena | PUE Schemes: Efficient Updatable Encryption With Robust Security From Symmetric Primitives | Inproceedings Konferenzbeitrag | 4-Jun-2026 |
| 54 | | van Berkel, Kees | A Formal Study of Ought Implies Can and Other Metaethical Principles | Article Artikel | 2-Jun-2026 |
| 55 | | Mugdan, Esther ; Kletzander, Lucas ; Musliu, Nysret | Explainability Results for the Rotating Workforce Scheduling Problem | Inproceedings Konferenzbeitrag | 1-Jun-2026 |
| 56 | | Lanzinger, Matthias ; Razgon, Igor | FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs | Article Artikel | Jun-2026 |
| 57 | | Bresich, Maria ; Raidl, Günther R. ; Limmer, Steffen | Revisiting Large Neighborhood Search with On-the-Fly Charging Station Insertion for the Electric Autonomous Dial-a-Ride Problem | Article Artikel | Jun-2026 |
| 58 |  | Capelli, Florent ; Carmeli, Nofar ; Conte, Alessio ; Kimelfeld, Benny ; Pichler, Reinhard ; Tziavelis, Nikolaos | Enumeration Theory through the Lens of Database Challenges | Inproceedings Konferenzbeitrag | 30-May-2026 |
| 59 |  | Lanzinger, Matthias ; Pichler, Reinhard ; Selzer, Alexander | Query Answering without Join Computation: An Interactive Exploration of Practical Techniques | Inproceedings Konferenzbeitrag | 30-May-2026 |
| 60 | | Borzechowski, Michaela ; Haslebacher, Sebastian ; Hoang, Hung P. ; Schnider, Patrick ; Weber, Simon | Splitting Sandwiches Unevenly via Unique Sink Orientations and Rainbow Arrangements | Inproceedings Konferenzbeitrag | 27-May-2026 |
| 61 | | Katz, Jonathan ; Sefranek, Marek | Issuer Hiding for BBS-Based Anonymous Credentials | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 62 | | Klocker, Linus ; Fink, Simon Dominik | Hexasort – the Complexity of Stacking Colors on Graphs | Inproceedings Konferenzbeitrag | 15-May-2026 |
| 63 | | Gärtner, Bernd ; Haslebacher, Sebastian ; Hoang, Hung P. | Sinks and Ladders: ARRIVAL and SSG with Two Vertices per Level | Inproceedings Konferenzbeitrag | 15-May-2026 |
| 64 | | Barceló, Pablo ; Geerts, Floris ; Lanzinger, Matthias ; Pakhomenko, Klara ; Van den Bussche, Jan | A Logical View of GNN-Style Computation and the Role of Activation Functions | Article Artikel | 14-May-2026 |
| 65 | | Lanzinger, Matthias ; Razgon, Igor ; Unterberger, Daniel | FPT Parameterisations of Fractional and Generalised Hypertree Width | Article Artikel | 14-May-2026 |
| 66 | | Fuchsbauer, Georg ; Sefranek, Marek | Plonk Without Random Oracles | Presentation Vortrag | 9-May-2026 |
| 67 | | Mulhern, James Harrison ; Zhao, Bingyu ; Shibayama, Takeru ; Raidl, Günther R. | Public Transit Optimization via a Novel Connectivity Parameter | Presentation Vortrag | 7-May-2026 |
| 68 | | Gerhart, Paul Claus ; Li Calsi, Davide ; Russo, Luigi ; Schröder, Dominique | Fully-Adaptive Two-Round Threshold Schnorr Signatures from DDH | Inproceedings Konferenzbeitrag | 7-May-2026 |
| 69 | | Salvà Soler, Joan ; Raidl, Günther R. | A Denoising Diffusion-Based Evolutionary Algorithm Framework: Application to the Maximum Independent Set Problem | Inproceedings Konferenzbeitrag | 1-May-2026 |
| 70 | | Tomandl, Laurenz ; Bresich, Maria ; Raidl, Günther R. ; Mei, Yi ; Limmer, Steffen ; Rodemann, Tobias | A Reinforcement Learning Guided Large Neighborhood Search for the Dynamic Electric Autonomous Dial-a-Ride Problem | Inproceedings Konferenzbeitrag | 1-May-2026 |
| 71 | | Bresich, Maria ; Raidl, Günther R. ; Coleman, Caspian ; Welke, Pascal ; Limmer, Steffen | Search Space Reduction Through Machine Learning for the Electric Autonomous Dial-A-Ride Problem | Inproceedings Konferenzbeitrag | 1-May-2026 |
| 72 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel | May-2026 |
| 73 | | Wang, Xiangtao ; Wang, Ruizhi ; Lukasiewicz, Thomas ; Xu, Zhenghua | AMLP: Adjustable Masking Lesion Patches for Self-Supervised Medical Image Segmentation | Article Artikel | May-2026 |
| 74 | | 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 |
| 75 | | Harviainen, Juha ; Sommer, Frank ; Sorge, Manuel | Exact and Approximate Algorithms for Polytree Learning | Inproceedings Konferenzbeitrag | 30-Apr-2026 |
| 76 | | Münch, Miriam ; Fink, Simon Dominik ; Pfretzschner, Matthias ; Rutter, Ignaz | Heuristics for Exact 1-Planarity Testing | Article Artikel | 29-Apr-2026 |
| 77 | | Nießen, Tobias ; Paverd, Andrew | Trusted and Transparent Time-Stamping Through TEEs and Network Time Security | Inproceedings Konferenzbeitrag | 26-Apr-2026 |
| 78 |  | 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 |
| 79 | | Schreiber, Dominik ; Fleury, Mathias ; Fazekas, Katalin ; Biere, Armin | Real-time Proof Checking for Distributed Incremental SAT Solving | Inproceedings Konferenzbeitrag | 16-Apr-2026 |
| 80 | | Chen, Chen ; Kaufmann, Daniela ; Deng, Chenhui ; Song, Zhan ; Zhang, Hongce ; Yu, Cunxi | ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers | Inproceedings Konferenzbeitrag | 15-Apr-2026 |
| 81 |  | Sextl, Florian | Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust | Presentation Vortrag | 13-Apr-2026 |
| 82 |  | Dolci, Tommaso ; Jovanovik, Milos ; Hose, Katja | Towards LLM-KG Symbiosis for Reducing Factual Hallucinations | Inproceedings Konferenzbeitrag | 9-Apr-2026 |
| 83 |  | Fermüller, Christian G. | Towards a Logical Framework for Graded Deontic Reasoning | Presentation Vortrag | 4-Apr-2026 |
| 84 | | Jovanovik, Milos ; Vecovska, Marija ; Jakubowski, Maxime ; Hose, Katja | RDFGraphGen: An RDF Graph Generator Based on SHACL Shapes | Inproceedings Konferenzbeitrag | 1-Apr-2026 |
| 85 | | Creignou, Nadia ; Merkl, Timo ; Pichler, Reinhard ; Unterberger, Daniel | From FPT Decision to FPT Enumeration | Inproceedings Konferenzbeitrag | 30-Mar-2026 |
| 86 |  | Böhm, Daniela ; Gottlob, Georg ; Lanzinger, Matthias ; Longo, Davide Mario ; Okulmus, Cem ; Pichler, Reinhard ; Selzer, Alexander | Selective Use of Yannakakis' Algorithm for Consistent Performance Gains | Inproceedings Konferenzbeitrag | 25-Mar-2026 |
| 87 | | Deeds, Kyle ; Merkl, Timo Camillo ; Pichler, Reinhard ; Suciu, Dan | Query Decompositions and All That | Inproceedings Konferenzbeitrag | 18-Mar-2026 |
| 88 |  | Lanzinger, Matthias ; Pichler, Reinhard ; Selzer, Alexander | Database Theory in Action: Evaluation of Aggregate Queries Without Materialisation | Inproceedings Konferenzbeitrag | 18-Mar-2026 |
| 89 | | Ganian, Robert ; Hoang, Hung P. ; Wietheger, Simon | Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 90 | | Anzinger, Clemens ; Chen, Jiehua ; Hatschka, Christian ; Sorge, Manuel ; Temper, Alexander | How Hard Is It to Explain Preferences Using Few Boolean Attributes? | Inproceedings Konferenzbeitrag | 14-Mar-2026 |
| 91 | | King, Daragh ; Koutavas, Vasileios ; Kovacs, Laura | LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions | Article Artikel | 12-Mar-2026 |
| 92 | | Frühwirth, Lukas ; Musliu, Nysret | Exact methods for the time frame rostering problem in the context of tram driver rostering | Article Artikel | 4-Mar-2026 |
| 93 | | Schrott, Johannes ; Jakubowski, Maxime ; Hose, Katja | Graph-Native Normalization | Preprint Preprint | 3-Mar-2026 |
| 94 | | Oudshoorn, Anouk ; Ortiz, Magdalena ; Šimkus, Mantas | SHACL validation in the presence of ontologies: Semantics and rewriting techniques | Article Artikel | Mar-2026 |
| 95 | | Taylor, Jay ; Gerhart, Paul Claus ; Thyagarajan, Sri AravindaKrishnan | How To Make Delegated Payments on Bitcoin: A Question for the AI Agentic Future | Presentation Vortrag | Mar-2026 |
| 96 | | 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 |
| 97 |  | Salvà Soler, Joan ; Hemmelmayr, Vera C. ; Raidl, Günther R. | Exact methods for the Selective Assessment Routing Problem | Article Artikel | Mar-2026 |
| 98 | | Ganian, Robert ; Rocton, Mathis | Computing Twin-Width via Treedepth and Vertex Integrity | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 99 | | Horner, Elias ; Mateis, Cristinel ; Governatori, Guido ; Ciabattoni, Agata | From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis | Inproceedings Konferenzbeitrag | 25-Feb-2026 |
| 100 | | Varga, Johannes ; Korinek, Harald ; Raidl, Günther R. ; Rodemann, Tobias | Timing of Queries in Interactive Job Scheduling | Inproceedings Konferenzbeitrag | 24-Feb-2026 |
