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 1-20 of 51 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Hamm, Thekla ; Knop, Dušan ; Schierreich, Šimon ; Suchý, Ondřej Hedonic diversity games: A complexity picture with more than two colorsArticle Artikel Dec-2023
2Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan On the parameterized complexity of clustering problems for incomplete dataArticle Artikel Jun-2023
3Garigliotti, Darío ; Balog, Krisztian ; Hose, Katja ; Bjerva, Johannes Recommending tasks based on search queries and missionsArticle Artikel 17-May-2023
4Ganian, Robert ; Ordyniak, Sebastian ; Rahul, C. S. Group Activity Selection with Few Agent TypesArticle Artikel May-2023
5Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian Parameterized complexity of envy-free resource allocation in social networksArticle Artikel Feb-2023
6Galby, Esther ; Khazaliya, Liana ; Mc Inerney, Fionn ; Sharma, Roohani ; Tale, Prafullkumar Metric Dimension Parameterized by Feedback Vertex Set and Other Structural ParametersArticle Artikel 2023
7Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and parallel decomposition of constraint satisfaction problemsArticle Artikel 24-Oct-2022
8Bernreiter-2022-Artificial Intelligence-vor.pdf.jpgBernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice logics and their computational propertiesArticle Artikel Oct-2022
9Dvorak-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
10Kiesel, Rafael ; Totis, Pietro ; Kimmig, Angelika Efficient Knowledge Compilation Beyond Weighted Model CountingArticle Artikel 3-Jul-2022
11Linsbichler-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
12Fandinno-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
13De Coster, Arnaud ; Musliu, Nysret ; Schaerf, Andrea ; Schoisswohl, Johannes ; Smith-Miles, Kate Algorithm selection and instance space analysis for curriculum-based course timetablingArtikel Article 2021
14Pascucci Matteo - 2019 - A Note on the Issue of Cohesiveness in Canonical Models.pdf.jpgPascucci, Matteo A Note on the Issue of Cohesiveness in Canonical ModelsArticle Artikel Sep-2020
15Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan Computing Secure Sets in Graphs using Answer Set ProgrammingArtikel Article Jun-2020
16Thimm, Matthias ; Wallner, Johannes On the complexity of inconsistency measurementArticle Artikel Oct-2019
17Alhazov Artiom - 2019 - Variants of P systems with activation and blocking of...pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu Variants of P systems with activation and blocking of rulesArticle Artikel Sep-2019
18Corsi Esther Anna - 2018 - Connecting fuzzy logic and argumentation frames via...pdf.jpgCorsi, Esther Anna ; Fermüller, Christian G. Connecting fuzzy logic and argumentation frames via logical attack principlesArticle Artikel 15-Apr-2019
19Lellmann, Björn ; Pimentel, Elaine Modularisation of Sequent Calculi for Normal and Non-normal ModalitiesArtikel Article 2019
20Charwat, Günther ; Woltran, Stefan Expansion-based QBF Solving on Tree DecompositionsArtikel Article 2019