E-LIB Suche - Ergebnisse für: Woltran, Stefan

1

Equipping Abstract Argumentation Solvers for Verifying Nega..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Dvorak, Wolfgang ; Gressler, Alexander ; Woltran, Stefan - p. 762-769 , 2024

Link: https://dl.acm.org/doi/1..

2

Constrained Derivation in Assumption-Based Argumentation:

, In: Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems,

Buraglio, Giovanni ; Dvořák, Wolfgang ; Rapberger, Anna. - p. 340-359 , 2024

Link: https://doi.org/10.1007/..

3

Abstract argumentation with conditional preferences:

Bernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan
Argument & Computation. 15 (2024) 2 - p. 161-189 , 2024

Link: https://doi.org/10.3233/..

4

Sequent Calculi for Choice Logics:

Bernreiter, Michael ; Lolic, Anela ; Maly, Jan.
Journal of Automated Reasoning. 68 (2024) 2 - p. , 2024

Link: https://doi.org/10.1007/..

5

A Short Introduction to Artificial Intelligence: Methods, S..:

, In: Introduction to Digital Humanism,

Heitzinger, Clemens ; Woltran, Stefan - p. 135-149 , 2023

Link: https://doi.org/10.1007/..

6

A claim-centric perspective on abstract argumentation seman..:

Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan
Artificial Intelligence. 324 (2023) - p. 104011 , 2023

Link: https://doi.org/10.1016/..

7

The complexity landscape of claim-augmented argumentation f..:

Dvořák, Wolfgang ; Greßler, Alexander ; Rapberger, Anna.
Artificial Intelligence. 317 (2023) - p. 103873 , 2023

Link: https://doi.org/10.1016/..

8

Solving Projected Model Counting by Utilizing Treewidth and..:

Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael..
Artificial Intelligence. 314 (2023) - p. 103810 , 2023

Link: https://doi.org/10.1016/..

9

Sequent Calculi for Choice Logics:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Bernreiter, Michael ; Lolic, Anela ; Maly, Jan. - p. 331-349 , 2022

Link: https://doi.org/10.1007/..

10

Advanced algorithms for abstract dialectical frameworks bas..:

Linsbichler, Thomas ; Maratea, Marco ; Niskanen, Andreas..
Artificial Intelligence. 307 (2022) - p. 103697 , 2022

Link: https://doi.org/10.1016/..

11

Choice logics and their computational properties:

Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan
Artificial Intelligence. 311 (2022) - p. 103755 , 2022

Link: https://doi.org/10.1016/..

12

Comparing the Reasoning Capabilities of Equilibrium Theorie..:

Fandinno, Jorge ; Pearce, David ; Vidal, Concepción.
Algorithms. 15 (2022) 6 - p. 201 , 2022

Link: https://doi.org/10.3390/..

13

Exploiting Database Management Systems and Treewidth for Co..:

FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK.
Theory and Practice of Logic Programming. 22 (2021) 1 - p. 128-157 , 2021

Link: https://doi.org/10.1017/..

14

Preface:

BALDUCCINI, MARCELLO ; LIERLER, YULIYA ; WOLTRAN, STEFAN
Theory and Practice of Logic Programming. 21 (2021) 3 - p. 293-295 , 2021

Link: https://doi.org/10.1017/..

15

It Is Simple, It Is Complicated:

, In: Perspectives on Digital Humanism,

Neidhardt, Julia ; Werthner, Hannes ; Woltran, Stefan - p. 335-342 , 2021

Link: https://doi.org/10.1007/..