Title Titel
Artificial Intelligence
 
e-ISSN
1872-7921
 
ISSN
0004-3702
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2024]
Date Issued:  [2020 TO 2024]

Results 1-20 of 27 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Saribatur, Zeynep G. ; Eiter, Thomas ; Schüller, Peter Abstraction for non-ground answer set programsArtikel Article 2021
2Linsbichler-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
3Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Algorithms and conditional lower bounds for planning problemsArtikel Article 2021
4Bernreiter-2022-Artificial Intelligence-vor.pdf.jpgBernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice logics and their computational propertiesArticle Artikel Oct-2022
5Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressivenessArticle Artikel Nov-2023
6Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Greßler, Alexander ; Rapberger, Anna ; Woltran, Stefan The complexity landscape of claim-augmented argumentation frameworksArticle Artikel Apr-2023
7Dvořák, Wolfgang ; Woltran, Stefan Complexity of abstract argumentation under a claim-centric viewArtikel Article 2020
8Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
9Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora The Defeat of the Winograd Schema ChallengeArticle Artikel Dec-2023
10Gaggl, Sarah A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan Design and results of the Second International Competition on Computational Models of ArgumentationArtikel Article 2020
11Ganian, Robert ; Hamm, Thekla ; Talvitie, Topi An efficient algorithm for counting Markov equivalent DAGsArticle Artikel Mar-2022
12Antić, Christian Fixed point semantics for stream reasoningArtikel Article 2020
13Ganian, 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
14Lackner, Martin ; Fitzsimmons, Zack Incomplete Preferences in Single-Peaked ElectoratesArtikel Article 2020
15Ganian, Robert ; Szeider, Stefan New width parameters for SAT and #SATArtikel Article 2021
16Gonçalves, Ricardo ; Knorr, Matthias ; Leite, João ; Woltran, Stefan On the limits of forgetting in Answer Set ProgrammingArtikel Article 2020
17Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Ordyniak, Sebastian Parameterized complexity of envy-free resource allocation in social networksArticle Artikel Feb-2023
18Ahmetaj, Shqiponja ; Ortiz, Magdalena ; Šimkus, Mantas Polynomial rewritings from expressive Description Logics with closed predicates to variants of DatalogArtikel Article 2020
19Kocijan, Vid ; Jang, Myeongjun ; Lukasiewicz, Thomas Pre-training and diagnosing knowledge base completion modelsArticle Artikel Apr-2024
20Peters, Dominik ; Lackner, Martin Preferences Single-Peaked on a CircleArtikel Article 24-Jun-2020