Picture for Wolfgang Faber

Wolfgang Faber

University of Klagenfurt

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases

Add code
Feb 13, 2025
Viaarxiv icon

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL

Add code
Feb 05, 2024
Viaarxiv icon

An efficient solver for ASP(Q)

Add code
May 17, 2023
Viaarxiv icon

Aggregate Semantics for Propositional Answer Set Programs

Add code
Sep 17, 2021
Figure 1 for Aggregate Semantics for Propositional Answer Set Programs
Figure 2 for Aggregate Semantics for Propositional Answer Set Programs
Figure 3 for Aggregate Semantics for Propositional Answer Set Programs
Figure 4 for Aggregate Semantics for Propositional Answer Set Programs
Viaarxiv icon

Thirty years of Epistemic Specifications

Add code
Aug 17, 2021
Figure 1 for Thirty years of Epistemic Specifications
Figure 2 for Thirty years of Epistemic Specifications
Figure 3 for Thirty years of Epistemic Specifications
Figure 4 for Thirty years of Epistemic Specifications
Viaarxiv icon

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Add code
Aug 11, 2021
Figure 1 for Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Figure 2 for Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming
Viaarxiv icon

ASP-Core-2 Input Language Format

Add code
Nov 11, 2019
Viaarxiv icon

On Uniform Equivalence of Epistemic Logic Programs

Add code
Jul 25, 2019
Viaarxiv icon

On the Computation of Paracoherent Answer Sets

Add code
Jul 21, 2017
Figure 1 for On the Computation of Paracoherent Answer Sets
Figure 2 for On the Computation of Paracoherent Answer Sets
Figure 3 for On the Computation of Paracoherent Answer Sets
Viaarxiv icon

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation

Add code
Dec 22, 2016
Figure 1 for Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Figure 2 for Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Figure 3 for Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Figure 4 for Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Viaarxiv icon