Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Filter:
Author:  Woltran, Stefan

Results 21-40 of 90 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Gaggl, Sarah A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan Design and results of the Second International Competition on Computational Models of ArgumentationArtikel Article 2020
22Dvořák, Wolfgang ; Woltran, Stefan Complexity of Abstract Argumentation under a Claim-Centric ViewKonferenzbeitrag Inproceedings 2019
23Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2019
24Haret, Adrian ; Woltran, Stefan Belief Revision Operators with Varying Attitudes Towards Initial BeliefsKonferenzbeitrag Inproceedings 2019
25Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan A general notion of equivalence for abstract argumentationArtikel Article 2019
26Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan Strong Equivalence for Epistemic Logic Programs Made EasyKonferenzbeitrag Inproceedings 2019
27Charwat, Günther ; Woltran, Stefan Expansion-based QBF Solving on Tree DecompositionsArtikel Article 2019
28Gangl, Clemens ; Lackner, Martin ; Maly, Jan ; Woltran, Stefan Aggregating Expert Opinions in Support of Medical Diagnostic Decision-MakingKonferenzbeitrag Inproceedings 2019
29Bliem, Bernhard ; Woltran, Stefan Defensive alliances in graphs of bounded treewidthArtikel Article 31-Dec-2018
30Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan An extension-based approach to belief revision in abstract argumentationArtikel Article Feb-2018
31Dvorak, Wolfgang ; Pührer, Jörg ; Wallner, Johannes Peter ; Woltran, Stefan ; Diller, Martin Application of ASP in formal argumentationKonferenzbeitrag Inproceedings 2018
32Bichler, Manuel ; Morak, Michael ; Woltran, Stefan A Single-Shot Epistemic Logic Program SolverKonferenzbeitrag Inproceedings 2018
33Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
34Bichler, Manuel ; Morak, Michael ; Woltran, Stefan Single-Shot Epistemic Logic Program SolvingKonferenzbeitrag Inproceedings 2018
35Maly, Jan ; Woltran, Stefan ; Truszczynski, Miroslaw Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?Konferenzbeitrag Inproceedings 2018
36Maly, Jan ; Woltran, Stefan A New Logic for Jointly Representing Hard and Soft ConstraintsKonferenzbeitrag Inproceedings 2018
37Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
38Bliem, Bernhard ; Woltran, Stefan Complexity of Secure SetsArtikel Article 2018
39Delgrande, James P. ; Peppas, Pavlos ; Woltran, Stefan General Belief RevisionArtikel Article 2018
40Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Artikel Article 2018