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:
Subject:  Artificial Intelligence
Date Issued:  [2010 TO 2019]

Results 1-20 of 26 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan A general notion of equivalence for abstract argumentationArtikel Article 2019
2Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan Algorithms and Complexity Results for Persuasive ArgumentationArtikel Article2011
3Strass, Hannes ; Wallner, Johannes Peter Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theoryArtikel Article2015
4Dvořák, Wolfgang ; Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationArtikel Article2012
5Kronegger, Martin ; Ordyniak, Sebastian ; Pfandler, Andreas Backdoors to planningArtikel Article 2019
6Fichte, Johannes Klaus ; Szeider, Stefan Backdoors to tractable answer-set programmingArtikel Article2015
7Gottlob, Georg ; Pichler, Reinhard ; Wei, Fang Bounded treewidth as a key to tractability of knowledge representation and reasoningArtikel Article 2010
8Dunne, Paul E. ; Dvořák, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan Characteristics of multiple viewpoints in abstract argumentationArtikel Article2015
9Oikarinen, Emilia ; Woltran, Stefan Characterizing strong equivalence for argumentation frameworksArtikel Article2011
10Dvořák, Wolfgang ; Järvisalo, Matti ; Wallner, Johannes Peter ; Woltran, Stefan Complexity-Sensitive Decision Procedures for Abstract ArgumentationArtikel Article2014
11Shen, Yi-Dong ; Eiter, Thomas Determining Inference Semantics for Disjunctive Logic ProgramsArtikel Article 2019
12Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Enhancing Contextualized Knowledge Repositories with Justifiable ExceptionsArtikel Article 2018
13Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius Finding Explanations of Inconsistency in Multi-Context SystemsArtikel Article2014
14Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun FLP answer set semantics without circular justifications for general logic programsArtikel Article2014
15Gaspers, Serge ; Szeider, Stefan Guarantees and limits of preprocessing in constraint satisfaction and reasoningArtikel Article2014
16Horn, Matthias ; Raidl, Günther ; Blum, Christian Job sequencing with one common and multiple secondary resources: An A∗/Beam Search based anytime algorithmArtikel Article 2019
17Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas LARS: A Logic-based Framework for Analytic Reasoning over StreamsArtikel Article 2018
18Lan, Liang ; Zhang, Kai ; Ge, Hancheng ; Cheng, Wei ; Liu, Jun ; Rauber, Andreas ; Li, Xiao-Li ; Wang, Jun ; Zha, Hongyuan Low-rank decomposition meets kernel learning: A generalized Nyström methodArtikel Article Sep-2017
19Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan Methods for solving reasoning problems in abstract argumentation - A surveyArtikel Article 2015
20Baumann, Ringo ; Dvořák, Wolfgang ; Linsbichler, Thomas ; Spanring, Christof ; Strass, Hannes ; Woltran, Stefan On rejected arguments and implicit conflicts: The hidden power of argumentation semanticsArtikel Article 2016