research
∙
08/30/2023
Deontic Paradoxes in ASP with Weak Constraints
The rise of powerful AI technology for a range of applications that are ...
share
research
∙
05/03/2023
Contextual Reasoning for Scene Generation (Technical Report)
We present a continuation to our previous work, in which we developed th...
research
∙
12/18/2022
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
We deal with a challenging scheduling problem on parallel machines with ...
research
∙
05/16/2022
A Neuro-Symbolic ASP Pipeline for Visual Question Answering
We present a neuro-symbolic visual question answering (VQA) pipeline for...
research
∙
05/04/2022
Chasing Streams with Existential Rules
We study reasoning with existential rules to perform query answering ove...
research
∙
02/15/2022
CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion
We present CQELS 2.0, the second version of Continuous Query Evaluation ...
research
∙
08/06/2021
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures
Dealing with context dependent knowledge has led to different formalizat...
research
∙
06/28/2021
Reasoning on DL-Lite_ R with Defeasibility in ASP
Reasoning on defeasible knowledge is a topic of interest in the area of ...
research
∙
10/01/2020
Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming
Recently, the notions of subjective constraint monotonicity, epistemic s...
research
∙
08/10/2020
ASP(AC): Answer Set Programming with Algebraic Constraints
Weighted Logic is a powerful tool for the specification of calculations ...
research
∙
08/07/2020
Managing caching strategies for stream reasoning with reinforcement learning
Efficient decision-making over continuously changing data is essential f...
research
∙
04/03/2020
Omission-based Abstraction for Answer Set Programs
Abstraction is a well-known approach to simplify a complex problem by ov...
research
∙
09/11/2019
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Humans are capable of abstracting away irrelevant details when studying ...
research
∙
07/29/2019
A Distributed Approach to LARS Stream Reasoning (System paper)
Stream reasoning systems are designed for complex decision-making from p...
research
∙
05/22/2019
A Note on Reasoning on DL-Lite_ R with Defeasibility
Representation of defeasible information is of interest in description l...
research
∙
09/18/2018
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
ASP programs are a convenient tool for problem solving, whereas with lar...
research
∙
08/06/2018
Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)
This paper is an appendix to the paper "Reasoning with Justifiable Excep...
research
∙
04/30/2018
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Meta-Interpretive Learning (MIL) learns logic programs from examples by ...
research
∙
10/13/2016
Stream Reasoning-Based Control of Caching Strategies in CCN Routers
Content-Centric Networking (CCN) research addresses the mismatch between...
research
∙
03/31/2016
Reactive Policies with Planning for Action Languages
We describe a representation in a high-level transition system for polic...
research
∙
05/20/2015
Towards Ideal Semantics for Analyzing Stream Reasoning
The rise of smart applications has drawn interest to logical reasoning o...
research
∙
01/08/2013
Eliminating Unfounded Set Checking for HEX-Programs
HEX-programs are an extension of the Answer Set Programming (ASP) paradi...
research
∙
12/12/2012
Causes and Explanations in the Structural-Model Approach: Tractable Cases
In this paper, we continue our research on the algorithmic aspects of Ha...
research
∙
10/19/2012
Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
We present the language m Pcal C+ for probabilistic reasoning about acti...
research
∙
10/05/2012
Conflict-driven ASP Solving with External Sources
Answer Set Programming (ASP) is a well-known problem solving approach ba...
research
∙
11/07/2011
Embedding Description Logic Programs into Default Logic
Description logic programs (dl-programs) under the answer set semantics ...
research
∙
08/29/2011
Nested HEX-Programs
Answer-Set Programming (ASP) is an established declarative programming p...
research
∙
08/16/2011
Finding Similar/Diverse Solutions in Answer Set Programming
For some computational problems (e.g., product configuration, planning, ...
research
∙
11/04/2002
The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the state...
research
∙
07/20/2002
Complexity of Nested Circumscription and Nested Abnormality Theories
The need for a circumscriptive formalism that allows for simple yet eleg...
research
∙
03/08/2000
DLV - A System for Declarative Problem Solving
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR...
research
∙
03/08/2000