b'TU Wien'

research

∙ 10/13/2021

Sustainability Through Cognition Aware Safety Systems – Next Level Human-Machine-Interaction

Industrial Safety deals with the physical integrity of humans, machines ...

Juergen Mangler, et al. ∙

research

∙ 04/18/2022

Special Session: Towards an Agile Design Methodology for Efficient, Reliable, and Secure ML Systems

The real-world use cases of Machine Learning (ML) have exploded over the...

Shail Dave, et al. ∙

research

∙ 02/04/2019

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

Recently, many adversarial examples have emerged for Deep Neural Network...

Alberto Marchisio, et al. ∙

research

∙ 06/24/2020

Turbocharging Treewidth-Bounded Bayesian Network Structure Learning

We present a new approach for learning the structure of a treewidth-boun...

Vaidyanathan P. R., et al. ∙

research

∙ 07/18/2021

GoTube: Scalable Stochastic Verification of Continuous-Depth Models

We introduce a new stochastic verification algorithm that formally quant...

Sophie Gruenbacher, et al. ∙

research

∙ 10/29/2021

3D-OOCS: Learning Prostate Segmentation with Inductive Bias

Despite the great success of convolutional neural networks (CNN) in 3D m...

Shrajan Bhandary, et al. ∙

research

∙ 11/22/2021

Multi-agent Bayesian Deep Reinforcement Learning for Microgrid Energy Management under Communication Failures

Microgrids (MGs) are important players for the future transactive energy...

Hao Zhou, et al. ∙

research

∙ 01/01/2022

SporeAgent: Reinforced Scene-level Plausibility for Object Pose Refinement

Observational noise, inaccurate segmentation and ambiguity due to symmet...

Dominik Bauer, et al. ∙

research

∙ 03/28/2021

ReAgent: Point Cloud Registration using Imitation and Reinforcement Learning

Point cloud registration is a common step in many 3D computer vision tas...

Dominik Bauer, et al. ∙

research

∙ 09/01/2021

R-SNN: An Analysis and Design Methodology for Robustifying Spiking Neural Networks against Adversarial Attacks through Noise Filters for Dynamic Vision Sensors

Spiking Neural Networks (SNNs) aim at providing energy-efficient learnin...

Alberto Marchisio, et al. ∙

research

∙ 09/20/2021

Towards Energy-Efficient and Secure Edge AI: A Cross-Layer Framework

The security and privacy concerns along with the amount of data that is ...

Muhammad Shafique, et al. ∙

research

∙ 03/20/2022

Attention Aided CSI Wireless Localization

Deep neural networks (DNNs) have become a popular approach for wireless ...

Artan Salihu, et al. ∙

research

∙ 01/02/2022

Establishing Strong Baselines for TripClick Health Retrieval

We present strong Transformer-based re-ranking and dense retrieval basel...

Sebastian Hofstätter, et al. ∙

research

∙ 07/25/2019

On Uniform Equivalence of Epistemic Logic Programs

Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with...

Wolfgang Faber, et al. ∙

research

∙ 06/08/2020

Learning Long-Term Dependencies in Irregularly-Sampled Time Series

Recurrent neural networks (RNNs) with continuous-time hidden states are ...

Mathias Lechner, et al. ∙

research

∙ 07/10/2017

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

We describe the Inspire system which participated in the first competiti...

Peter Schüller, et al. ∙

research

∙ 06/28/2017

Default Logic and Bounded Treewidth

In this paper, we study Reiter's propositional default logic when the tr...

Johannes K. Fichte, et al. ∙

research

∙ 06/06/2017

Marmara Turkish Coreference Corpus and Coreference Resolution Baseline

We describe the Marmara Turkish Coreference Corpus, which is an annotati...

Peter Schüller, et al. ∙

research

∙ 05/18/2017

Stepwise Debugging of Answer-Set Programs

We introduce a stepping methodology for answer-set programming (ASP) tha...

Johannes Oetsch, et al. ∙

research

∙ 11/09/2016

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

CP-nets and their variants constitute one of the main AI approaches for ...

Martin Diller, et al. ∙

research

∙ 10/13/2016

Stream Reasoning-Based Control of Caching Strategies in CCN Routers

Content-Centric Networking (CCN) research addresses the mismatch between...

Harald Beck, et al. ∙

research

∙ 05/25/2017

Unsupervised Feature Learning for Writer Identification and Writer Retrieval

Deep Convolutional Neural Networks (CNN) have shown great success in sup...

Vincent Christlein, et al. ∙

research

∙ 08/08/2016

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

We study the computational complexity of several scenarios of strategic ...

Ronald de Haan, et al. ∙

research

∙ 08/05/2016

The Power of Non-Ground Rules in Answer Set Programming

Answer set programming (ASP) is a well-established logic programming lan...

Manuel Bichler, et al. ∙

research

∙ 07/29/2016

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

The DLVHEX system implements the HEX-semantics, which integrates answer ...

Christoph Redl, et al. ∙

research

∙ 05/09/2017

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...

Tobias Grüning, et al. ∙

research

∙ 06/30/2016

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

Disjunctive Answer Set Programming (ASP) is a powerful declarative progr...

Bernhard Bliem, et al. ∙

research

∙ 03/31/2016

Reactive Policies with Planning for Action Languages

We describe a representation in a high-level transition system for polic...

Zeynep G. Saribatur, et al. ∙

research

∙ 03/29/2016

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 ...

Jean-Guy Mailly, et al. ∙

research

∙ 02/19/2016

Strong Backdoors for Default Logic

In this paper, we introduce a notion of backdoors to Reiter's propositio...

Johannes K. Fichte, et al. ∙

research

∙ 05/20/2015

Towards Ideal Semantics for Analyzing Stream Reasoning

The rise of smart applications has drawn interest to logical reasoning o...

Harald Beck, et al. ∙

research

∙ 02/13/2015

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems

We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...

Konstantin Selyunin, et al. ∙

research

∙ 09/12/2014

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...

Ebru Aydin Gol, et al. ∙

research

∙ 04/16/2014

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...

Shqiponja Ahmetaj, et al. ∙

research

∙ 09/03/2013

On the Robustness of Temporal Properties for Stochastic Models

Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stoch...

Ezio Bartocci, et al. ∙

research

∙ 07/16/2013

Parameterized Complexity Results for Plan Reuse

Planning is a notoriously difficult computational problem of high worst-...

Ronald de Haan, et al. ∙

research

∙ 04/22/2013

Backdoors to Abduction

Abductive reasoning (or Abduction, for short) is among the most fundamen...

Andreas Pfandler, et al. ∙

research

∙ 01/08/2013

Backdoors to Normality for Disjunctive Logic Programs

Over the last two decades, propositional satisfiability (SAT) has become...

Johannes Klaus Fichte, et al. ∙

research

∙ 01/08/2013

Utilizing ASP for Generating and Visualizing Argumentation Frameworks

Within the area of computational models of argumentation, the instantiat...

Günther Charwat, et al. ∙

research

∙ 10/08/2012

Annotating Answer-Set Programs in LANA?

While past research in answer-set programming (ASP) mainly focused on th...

Marina De Vos, et al. ∙

research

∙ 08/13/2012

The Complexity of Planning Revisited - A Parameterized Analysis

The early classifications of the computational complexity of planning un...

Christer Baeckstroem, et al. ∙

research

∙ 08/08/2012

On Finding Optimal Polytrees

Inferring probabilistic networks from data is a notoriously difficult ta...

Serge Gaspers, et al. ∙

research

∙ 01/04/2016

Multimodal Classification of Events in Social Media

A large amount of social media hosted on platforms like Flickr and Insta...

Matthias Zeppelzauer, et al. ∙

research

∙ 02/20/2012

Strong Backdoors to Nested Satisfiability

Knuth (1990) introduced the class of nested formulas and showed that the...

Serge Gaspers, et al. ∙

research

∙ 02/15/2012

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

Backdoors of answer-set programs are sets of atoms that represent clever...

Johannes Klaus Fichte, et al. ∙

research

∙ 12/04/2011

Strong Equivalence of Qualitative Optimization Problems

We introduce the framework of qualitative optimization problems (or, sim...

Wolfgang Faber, et al. ∙

research

∙ 11/07/2011

Embedding Description Logic Programs into Default Logic

Description logic programs (dl-programs) under the answer set semantics ...

Yisong Wang, et al. ∙

research

∙ 10/28/2011

Backdoors to Satisfaction

A backdoor set is a set of variables of a propositional formula such tha...

Serge Gaspers, et al. ∙

research

∙ 10/28/2011

Backdoors to Acyclic SAT

Backdoor sets, a notion introduced by Williams et al. in 2003, are certa...

Serge Gaspers, et al. ∙

research

∙ 09/19/2011

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...

Johannes Oetsch, et al. ∙

TU Wien

Featured Researchers