TU Wien

∙ Wien , Austria ∙ 0 followers

Universitat Wien offers degrees in both undergraduate and graduate level curriculum. The University provides programs including undergraduate and graduate degree programs in diversity management, computer education, human resource, event management, arts, language, medicine, and research.

SNN under Attack: are Spiking Deep Belief Networks vulnerable to Adversarial Examples?

Recently, many adversarial examples have emerged for Deep Neural Network...
02/04/2019 ∙ by Alberto Marchisio, et al. ∙ 16 ∙ share

read it
Turbocharging Treewidth-Bounded Bayesian Network Structure Learning

We present a new approach for learning the structure of a treewidth-boun...
06/24/2020 ∙ by Vaidyanathan P. R., et al. ∙ 15 ∙ share

read it
On Uniform Equivalence of Epistemic Logic Programs

Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with...
07/25/2019 ∙ by Wolfgang Faber, et al. ∙ 1 ∙ share

read it
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation

We describe the Inspire system which participated in the first competiti...
07/10/2017 ∙ by Peter Schüller, et al. ∙ 0 ∙ share

read it
Default Logic and Bounded Treewidth

In this paper, we study Reiter's propositional default logic when the tr...
06/28/2017 ∙ by Johannes K. Fichte, et al. ∙ 0 ∙ share

read it
Marmara Turkish Coreference Corpus and Coreference Resolution Baseline

We describe the Marmara Turkish Coreference Corpus, which is an annotati...
06/06/2017 ∙ by Peter Schüller, et al. ∙ 0 ∙ share

read it
Stepwise Debugging of Answer-Set Programs

We introduce a stepping methodology for answer-set programming (ASP) tha...
05/18/2017 ∙ by Johannes Oetsch, et al. ∙ 0 ∙ share

read it
Encoding monotonic multi-set preferences using CI-nets: preliminary report

CP-nets and their variants constitute one of the main AI approaches for ...
11/09/2016 ∙ by Martin Diller, et al. ∙ 0 ∙ share

read it
Stream Reasoning-Based Control of Caching Strategies in CCN Routers

Content-Centric Networking (CCN) research addresses the mismatch between...
10/13/2016 ∙ by Harald Beck, et al. ∙ 0 ∙ share

read it
Unsupervised Feature Learning for Writer Identification and Writer Retrieval

Deep Convolutional Neural Networks (CNN) have shown great success in sup...
05/25/2017 ∙ by Vincent Christlein, et al. ∙ 0 ∙ share

read it
Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation

We study the computational complexity of several scenarios of strategic ...
08/08/2016 ∙ by Ronald de Haan, et al. ∙ 0 ∙ share

read it
The Power of Non-Ground Rules in Answer Set Programming

Answer set programming (ASP) is a well-established logic programming lan...
08/05/2016 ∙ by Manuel Bichler, et al. ∙ 0 ∙ share

read it
The DLVHEX System for Knowledge Representation: Recent Advances (System Description)

The DLVHEX system implements the HEX-semantics, which integrates answer ...
07/29/2016 ∙ by Christoph Redl, et al. ∙ 0 ∙ share

read it
READ-BAD: A New Dataset and Evaluation Scheme for Baseline Detection in Archival Documents

Text line detection is crucial for any application associated with Autom...
05/09/2017 ∙ by Tobias Grüning, et al. ∙ 0 ∙ share

read it
Clique-Width and Directed Width Measures for Answer-Set Programming

Disjunctive Answer Set Programming (ASP) is a powerful declarative progr...
06/30/2016 ∙ by Bernhard Bliem, et al. ∙ 0 ∙ share

read it
Reactive Policies with Planning for Action Languages

We describe a representation in a high-level transition system for polic...
03/31/2016 ∙ by Zeynep G. Saribatur, et al. ∙ 0 ∙ share

read it
Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks

In this paper, we present a preliminary work on an approach to fill the ...
03/29/2016 ∙ by Jean-Guy Mailly, et al. ∙ 0 ∙ share

read it
Strong Backdoors for Default Logic

In this paper, we introduce a notion of backdoors to Reiter's propositio...
02/19/2016 ∙ by Johannes K. Fichte, et al. ∙ 0 ∙ share

read it
Towards Ideal Semantics for Analyzing Stream Reasoning

The rise of smart applications has drawn interest to logical reasoning o...
05/20/2015 ∙ by Harald Beck, et al. ∙ 0 ∙ share

read it
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems

We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...
02/13/2015 ∙ by Konstantin Selyunin, et al. ∙ 0 ∙ share

read it
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems

We propose a technique to detect and generate patterns in a network of l...
09/12/2014 ∙ by Ebru Aydin Gol, et al. ∙ 0 ∙ share

read it
Managing Change in Graph-structured Data Using Description Logics (long version with appendix)

In this paper, we consider the setting of graph-structured data that evo...
04/16/2014 ∙ by Shqiponja Ahmetaj, et al. ∙ 0 ∙ share

read it
On the Robustness of Temporal Properties for Stochastic Models

Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stoch...
09/03/2013 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Parameterized Complexity Results for Plan Reuse

Planning is a notoriously difficult computational problem of high worst-...
07/16/2013 ∙ by Ronald de Haan, et al. ∙ 0 ∙ share

read it
Backdoors to Abduction

Abductive reasoning (or Abduction, for short) is among the most fundamen...
04/22/2013 ∙ by Andreas Pfandler, et al. ∙ 0 ∙ share

read it
Backdoors to Normality for Disjunctive Logic Programs

Over the last two decades, propositional satisfiability (SAT) has become...
01/08/2013 ∙ by Johannes Klaus Fichte, et al. ∙ 0 ∙ share

read it
Utilizing ASP for Generating and Visualizing Argumentation Frameworks

Within the area of computational models of argumentation, the instantiat...
01/08/2013 ∙ by Günther Charwat, et al. ∙ 0 ∙ share

read it
Annotating Answer-Set Programs in LANA?

While past research in answer-set programming (ASP) mainly focused on th...
10/08/2012 ∙ by Marina De Vos, et al. ∙ 0 ∙ share

read it
The Complexity of Planning Revisited - A Parameterized Analysis

The early classifications of the computational complexity of planning un...
08/13/2012 ∙ by Christer Baeckstroem, et al. ∙ 0 ∙ share

read it
On Finding Optimal Polytrees

Inferring probabilistic networks from data is a notoriously difficult ta...
08/08/2012 ∙ by Serge Gaspers, et al. ∙ 0 ∙ share

read it
Multimodal Classification of Events in Social Media

A large amount of social media hosted on platforms like Flickr and Insta...
01/04/2016 ∙ by Matthias Zeppelzauer, et al. ∙ 0 ∙ share

read it
Strong Backdoors to Nested Satisfiability

Knuth (1990) introduced the class of nested formulas and showed that the...
02/20/2012 ∙ by Serge Gaspers, et al. ∙ 0 ∙ share

read it
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs

Backdoors of answer-set programs are sets of atoms that represent clever...
02/15/2012 ∙ by Johannes Klaus Fichte, et al. ∙ 0 ∙ share

read it
Strong Equivalence of Qualitative Optimization Problems

We introduce the framework of qualitative optimization problems (or, sim...
12/04/2011 ∙ by Wolfgang Faber, et al. ∙ 0 ∙ share

read it
Embedding Description Logic Programs into Default Logic

Description logic programs (dl-programs) under the answer set semantics ...
11/07/2011 ∙ by Yisong Wang, et al. ∙ 0 ∙ share

read it
Backdoors to Satisfaction

A backdoor set is a set of variables of a propositional formula such tha...
10/28/2011 ∙ by Serge Gaspers, et al. ∙ 0 ∙ share

read it
Backdoors to Acyclic SAT

Backdoor sets, a notion introduced by Williams et al. in 2003, are certa...
10/28/2011 ∙ by Serge Gaspers, et al. ∙ 0 ∙ share

read it
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report

We report about the current state and designated features of the tool Se...
09/19/2011 ∙ by Johannes Oetsch, et al. ∙ 0 ∙ share

read it
Domain-specific Languages in a Finite Domain Constraint Programming System

In this paper, we present domain-specific languages (DSLs) that we devis...
08/30/2011 ∙ by Markus Triska, et al. ∙ 0 ∙ share

read it
Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report

Combinatory categorial grammar (CCG) is a grammar formalism used for nat...
08/29/2011 ∙ by Yuliya Lierler, et al. ∙ 0 ∙ share

read it
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems

Dung's famous abstract argumentation frameworks represent the core forma...
08/24/2011 ∙ by Wolfgang Dvorák, et al. ∙ 0 ∙ share

read it
Finding Similar/Diverse Solutions in Answer Set Programming

For some computational problems (e.g., product configuration, planning, ...
08/16/2011 ∙ by Thomas Eiter, et al. ∙ 0 ∙ share

read it
Compressive Nonparametric Graphical Model Selection For Time Series

We propose a method for inferring the conditional indepen- dence graph (...
11/13/2013 ∙ by Alexander Jung, et al. ∙ 0 ∙ share

read it
Confidence Sets Based on Thresholding Estimators in High-Dimensional Gaussian Regression Models

We study confidence intervals based on hard-thresholding, soft-threshold...
08/14/2013 ∙ by Ulrike Schneider, et al. ∙ 0 ∙ share

read it
Augmenting Tractable Fragments of Abstract Argumentation

We present a new and compelling approach to the efficient solution of im...
04/14/2011 ∙ by Sebastian Ordyniak, et al. ∙ 0 ∙ share

read it
Backdoors to Tractable Answer-Set Programming

Answer Set Programming (ASP) is an increasingly popular framework for de...
04/14/2011 ∙ by Johannes Klaus Fichte, et al. ∙ 0 ∙ share

read it
Kernels for Global Constraints

Bessiere et al. (AAAI'08) showed that several intractable global constra...
04/13/2011 ∙ by Serge Gaspers, et al. ∙ 0 ∙ share

read it
Using Dimension Reduction to Improve the Classification of High-dimensional Data

In this work we show that the classification performance of high-dimensi...
05/26/2015 ∙ by Andreas Grünauer, et al. ∙ 0 ∙ share

read it
Relativized hyperequivalence of logic programs for modular programming

A recent framework of relativized hyperequivalence of programs offers a ...
07/23/2009 ∙ by Miroslaw Truszczynski, et al. ∙ 0 ∙ share

read it
Characterising equilibrium logic and nested logic programs: Reductions and complexity

Equilibrium logic is an approach to nonmonotonic reasoning that extends ...
06/11/2009 ∙ by David Pearce, et al. ∙ 0 ∙ share

read it

TU Wien

Featured Researchers