Institut für Logic and Computation

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
 


Results 101-120 of 870 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
101Jang, Myeongjun ; Thomas Lukasiewicz NoiER: An Approach for Training more Reliable Fine-Tuned Downstream Task ModelsArticle Artikel 22-Jul-2022
102Dvorak-2022-Journal of Artificial Intelligence Research-vor.pdf.jpgDvořák, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak AdmissibilityArticle Artikel 21-Jul-2022
103Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika Efficient Knowledge Compilation Beyond Weighted Model CountingArticle Artikel 3-Jul-2022
104Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Verification of agent navigation in partially-known environmentsArticle Artikel Jul-2022
105Alhazov-2022-Theoretical Computer Science-vor.pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion Variants of derivation modes for which purely catalytic {P} systemsare computationally completeArticle Artikel 12-Jun-2022
106Nickel-2022-IEEE Transactions on Visualization and Computer Graphics-vor.pdf.jpgNickel, Soeren ; Sondag, Max ; Meulemans, Wouter ; Kobourov, Stephen ; Peltonen, Jaakko ; Nöllenburg, Martin Multicriteria Optimization for Dynamic Demers CartogramsArticle Artikel 1-Jun-2022
107Brand, Cornelius A note on algebraic techniques for subgraph detectionArticle Artikel Jun-2022
108Fermueller-2022-Logica Universalis-vor.pdf.jpgFermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicArticle Artikel Jun-2022
109Cornelsen-2022-Journal of Graph Algorithms and Applications-vor.pdf.jpgCornelsen, Sabine ; Pfister, Maximilian ; Förster, Henry ; Gronemann, Martin ; Hoffmann, Michael ; Kobourov, Stephen ; Schneck, Thomas Drawing Shortest Paths in Geodetic GraphsArticle Artikel Jun-2022
110Bhore-2022-Journal of Graph Algorithms and Applications-vor.pdf.jpgBhore, Sujoy ; Ganian, Robert ; Montecchiani, Fabrizio ; Nöllenburg, Martin Parameterized Algorithms for Queue LayoutsArticle Artikel Jun-2022
111Bekos-2022-Journal of Graph Algorithms and Applications-vor.pdf.jpgBekos, Michael A. ; Binucci, Carla ; Di Battista, Giuseppe ; Didimo, Walter ; Gronemann, Martin ; Klein, Karsten ; Patrignani, Maurizio ; Rutter, Ignaz On Turn-Regular Orthogonal RepresentationsArticle Artikel Jun-2022
112Linsbichler-2022-Artificial Intelligence-vor.pdf.jpgLinsbichler, Thomas ; Maratea, Marco ; Niskanen, Andreas ; Wallner, Johannes P. ; Woltran, Stefan Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solvingArticle Artikel Jun-2022
113Fandinno-2022-Algorithms-vor.pdf.jpgFandinno, Jorge ; Pearce, David ; Vidal, Concepción ; Woltran, Stefan Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set ProgramsArticle Artikel Jun-2022
114Masarik-2022-SIAM Journal on Discrete Mathematics-vor.pdf.jpgMasařík, Tomáš ; Pilipczuk, Marcin ; Rzążewski, Paweł ; Sorge, Manuel Constant Congestion Brambles in Directed GraphsArticle Artikel Jun-2022
115Vass-2022-Journal of Scheduling-vor.pdf.jpgVass, Johannes ; Lackner, Marie-Louise ; Mrkvicka, Christoph ; Musliu, Nysret ; Winter, Felix Exact and meta-heuristic approaches for the production leveling problemArtikel Article Jun-2022
116Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
117Hatzel-2022-Discrete Mathematics  Theoretical Computer Science-vor.pdf.jpgHatzel, Meike ; Pilipczuk, Marcin ; Komosa, Paweł ; Sorge, Manuel Constant Congestion BramblesArticle Artikel 31-Mar-2022
118Ganian, Robert ; Hamm, Thekla ; Talvitie, Topi An efficient algorithm for counting Markov equivalent DAGsArticle Artikel Mar-2022
119Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting ; Ossona de Mendez, Patrice ; Raymond, Jean-Florent Twin-width and generalized coloring numbersArticle Artikel Mar-2022
120Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Reasoning on DL-LiteR with Defeasibility in ASPArtikel Article Mar-2022