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 4996 (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
3Kovács, Laura ; Varonka, Anton What Else is Undecidable About Loops?Inproceedings Konferenzbeitrag 2023
4Kiesel, Rafael ; Schidler, André A Dynamic MaxSAT-based Approach to Directed Feedback Vertex SetsInproceedings Konferenzbeitrag 2023
5Chen, 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
6Chen, Jiehua ; Csáji, Gergely Optimal Capacity Modification for Many-To-One Matching ProblemsInproceedings Konferenzbeitrag 2023
7Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
8Lanzinger, Matthias ; Nissl, Markus ; Sallinger, Emanuel ; Wałęga, Przemysław Temporal Datalog with Existential QuantificationInproceedings Konferenzbeitrag 2023
9Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan The Parameterized Complexity of Finding Concise Local ExplanationsInproceedings Konferenzbeitrag 2023
10Sallinger, Emanuel Knowledge Graphs in Action: from Theory to Systems and Real-world Applications (Abstract)Inproceedings Konferenzbeitrag 2023
11Rodemann, 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
12Lackner, Martin ; Maly, Jan ; Nardi, Oliviero Free-Riding in Multi-Issue DecisionsInproceedings Konferenzbeitrag 2023
13Maly, Jan ; Rey, Simon ; Endriss, Ulle ; Lackner, Martin Fairness in Participatory Budgeting via Equality of ResourcesInproceedings Konferenzbeitrag 2023
14Regen 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
15Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena ; Peitl, Tomáš ; Sood, Guarav Hard QBFs for merge resolutionArticle Artikel 2023
16Stoian, Mihaela Cătălina ; Giunchiglia, Eleonora ; Lukasiewicz, Thomas Exploiting T-norms for Deep Learning in Autonomous DrivingInproceedings Konferenzbeitrag2023
17Mahon, Louis ; Lukasiewicz, Thomas Efficient Deep Clustering of Human Activities and How to Improve EvaluationInproceedings Konferenzbeitrag 2023
18Azzam Amr - 2023 - Querying Knowledge Graphs at Web Scale.pdf.jpgAzzam, Amr Querying knowledge graphs at web scaleThesis Hochschulschrift 2023
19Frieder, Simon ; Pinchetti, Luca ; Chevalier, Alexis ; Griffiths, Ryan-Rhys ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Petersen, Philipp ; Berner, Julius Mathematical Capabilities of ChatGPTInproceedings Konferenzbeitrag 2023
20Andreeva, Elena ; Weninger, Andreas A Forkcipher-Based Pseudo-Random Number GeneratorInproceedings Konferenzbeitrag 2023