Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 361-380 of 4994 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
361Warren, David S. ; Dahl, Veronica ; Eiter, Thomas ; Hermenegildo, Manuel ; Kowalski. Robert A. ; Rossi, Francesca Prolog: The Next 50 YearsBook Buch2023
362Martinek Michael - 2023 - Integration of Structure Guided Query Optimization...pdf.jpgMartinek, Michael Integration of Structure Guided Query Optimization into NewSQL DatabasesThesis Hochschulschrift 2023
363Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
364Kiesel, Rafael ; Schidler, André A Dynamic MaxSAT-based Approach to Directed Feedback Vertex SetsInproceedings Konferenzbeitrag 2023
365Chen, Jiehua ; Csáji, Gergely ; Roy, Sanjukta ; Simola, Sofia Henna Elisa Hedonic Games With Friends, Enemies, and Neutrals: Resolving Open Questions and Fine-Grained ComplexityInproceedings Konferenzbeitrag 2023
366Chen, Jiehua ; Csáji, Gergely Optimal Capacity Modification for Many-To-One Matching ProblemsInproceedings Konferenzbeitrag 2023
367Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
368Lanzinger, Matthias ; Nissl, Markus ; Sallinger, Emanuel ; Wałęga, Przemysław Temporal Datalog with Existential QuantificationInproceedings Konferenzbeitrag 2023
369Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan The Parameterized Complexity of Finding Concise Local ExplanationsInproceedings Konferenzbeitrag 2023
370Sallinger, Emanuel Knowledge Graphs in Action: from Theory to Systems and Real-world Applications (Abstract)Inproceedings Konferenzbeitrag 2023
371Rodemann, Tobias ; Kataoka, Hiroaki ; Jatschka, Thomas ; Raidl, Günther ; Limmer, Steffen ; Meguro, Hiromu Optimizing the positions of battery swapping stations - Pilot studies and layout optimization algorithm -Inproceedings Konferenzbeitrag 2023
372Lackner, Martin ; Maly, Jan ; Nardi, Oliviero Free-Riding in Multi-Issue DecisionsInproceedings Konferenzbeitrag 2023
373Maly, Jan ; Rey, Simon ; Endriss, Ulle ; Lackner, Martin Fairness in Participatory Budgeting via Equality of ResourcesInproceedings Konferenzbeitrag 2023
374Regen Fabian - 2023 - On the impossbility of proving security of equivalence...pdf.jpgRegen, Fabian On the impossbility of proving security of equivalence class signatures from computational assumptionsThesis Hochschulschrift 2023
375Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023
376Stoian, Mihaela Cătălina ; Giunchiglia, Eleonora ; Lukasiewicz, Thomas Exploiting T-norms for Deep Learning in Autonomous DrivingInproceedings Konferenzbeitrag2023
377Mahon, Louis ; Lukasiewicz, Thomas Efficient Deep Clustering of Human Activities and How to Improve EvaluationInproceedings Konferenzbeitrag 2023
378Azzam Amr - 2023 - Querying Knowledge Graphs at Web Scale.pdf.jpgAzzam, Amr Querying knowledge graphs at web scaleThesis Hochschulschrift 2023
379Frieder, Simon ; Pinchetti, Luca ; Chevalier, Alexis ; Griffiths, Ryan-Rhys ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Petersen, Philipp ; Berner, Julius Mathematical Capabilities of ChatGPTInproceedings Konferenzbeitrag 2023
380Andreeva, Elena ; Weninger, Andreas A Forkcipher-Based Pseudo-Random Number GeneratorInproceedings Konferenzbeitrag 2023