Proceedings

Stefan Woltran

TU Wien , Vienna , Austria

29 papers in the IJCAI proceedings

IJCAI 2024

Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
with Alexander Beiser, Markus Hecher, Kaan Unalan
doi:10.24963/ijcai.2024/360
Details PDF
Epistemic Logic Programs: Non-Ground and Counting Complexity
with Thomas Eiter, Johannes K. Fichte, Markus Hecher
doi:10.24963/ijcai.2024/369
Details PDF

IJCAI 2022

Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck
with Viktor Besin, Markus Hecher
doi:10.24963/ijcai.2022/353
Details PDF
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract)
with Viktor Besin, Markus Hecher
doi:10.24963/ijcai.2022/732
Details PDF

IJCAI 2021

Choice Logics and Their Computational Properties
with Michael Bernreiter, Jan Maly
doi:10.24963/ijcai.2021/247
Details PDF

IJCAI 2019

Belief Revision Operators with Varying Attitudes Towards Initial Beliefs
with Adrian Haret
doi:10.24963/ijcai.2019/239
Details PDF

IJCAI 2018

Belief Update in the Horn Fragment
with Nadia Creignou, Adrian Haret, Odile Papini
doi:10.24963/ijcai.2018/246
Details PDF
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
with Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner
doi:10.24963/ijcai.2018/263
Details PDF
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
with Jan Maly, Miroslaw Truszczynski
doi:10.24963/ijcai.2018/60
Details PDF
Single-Shot Epistemic Logic Program Solving
with Manuel Bichler, Michael Morak
doi:10.24963/ijcai.2018/237
Details PDF
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments
with Adrian Haret, Johannes P. Wallner
doi:10.24963/ijcai.2018/256
Details PDF

IJCAI 2017

A General Notion of Equivalence for Abstract Argumentation
with Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler
doi:10.24963/ijcai.2017/111
Details PDF
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks
with Markus Kröll, Reinhard Pichler
doi:10.24963/ijcai.2017/159
Details PDF
The Impact of Treewidth on ASP Grounding and Solving
with Bernhard Bliem, Marius Moldovan, Michael Morak
doi:10.24963/ijcai.2017/118
Details PDF

IJCAI 2016

ASP for Anytime Dynamic Programming on Tree Decompositions
with Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub
Details PDF
Distributing Knowledge into Simple Bases
with Adrian Haret, Jean-Guy Mailly
Details PDF
Investigating the Relationship between Argumentation Semantics via Signatures
with Paul E. Dunne, Christof Spanring, Thomas Linsbichler
Details PDF

IJCAI 2015

An Extension-Based Approach to Belief Revision in Abstract Argumentation
with Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele
Details PDF
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
with Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner
Details PDF
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
with Michael Abseher, Frederico Dusberger, Nysret Musliu
Details PDF
Merging in the Horn Fragment
with Adrian Haret, Stefan Rümmele
Details PDF
On the Parameterized Complexity of Belief Revision
with Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner
Details PDF

IJCAI 2013

Abstract Dialectical Frameworks Revisited
with Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner
Details PDF
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
with Nadia Creignou, Reinhard Pichler
Details PDF

IJCAI 2011

Parametric Properties of Ideal Semantics
with Wolfgang Dvorák, Paul E. Dunne
doi:10.5591/978-1-57735-516-8/IJCAI11-148
Details PDF
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs
with Gerhard Brewka, Paul E. Dunne
doi:10.5591/978-1-57735-516-8/IJCAI11-137
Details PDF

IJCAI 2009

Answer-Set Programming with Bounded Treewidth
with Michael Jakl, Reinhard Pichler
Details PDF

IJCAI 2007

Complexity Results for Checking Equivalence of Stratified Logic Programs
with Thomas Eiter, Michael Fink, Hans Tompits
Details PDF

IJCAI 2005

On Solution Correspondences in Answer-Set Programming
with Thomas Eiter, Hans Tompits
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards