research
∙
06/05/2023
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
In this paper we define and study a multi-agent extension of autoepistem...
share
research
∙
05/20/2023
Interactive Model Expansion in an Observable Environment
Many practical problems can be understood as the search for a state of a...
research
∙
04/26/2023
The Logic of Logic Programming
Our position is that logic programming is not programming in the Horn cl...
research
∙
05/09/2022
On Nested Justification Systems (full version)
Justification theory is a general framework for the definition of semant...
research
∙
02/02/2022
Quantification and aggregation over concepts of the ontology
The first phase of developing an intelligent system is the selection of ...
research
∙
02/01/2022
IDP-Z3: a reasoning engine for FO(.)
An important sign of intelligence is the capacity to apply a body of kno...
research
∙
04/30/2021
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
Aggregates provide a concise way to express complex knowledge. While the...
research
∙
02/02/2021
Justifications and a Reconstruction of Parity Game Solving Algorithms
Parity games are infinite two-player games played on directed graphs. Pa...
research
∙
08/04/2020
Exploiting Game Theory for Analysing Justifications
Justification theory is a unifying semantic framework. While it has its ...
research
∙
01/26/2019
The informal semantics of Answer Set Programming: A Tarskian perspective
In Knowledge Representation, it is crucial that knowledge engineers have...
research
∙
08/23/2018
Transpiling Programmable Computable Functions to Answer Set Programs
Programming Computable Functions (PCF) is a simplified programming langu...
research
∙
11/03/2015
Visualising interactive inferences with IDPD3
A large part of the use of knowledge base systems is the interpretation ...
research
∙
05/08/2014
FO(C): A Knowledge Representation Language of Causality
Cause-effect relations are an important part of human knowledge. In real...
research
∙
01/16/2014
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain...
research
∙
01/08/2013
Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results
Previous research into the relation between ASP and classical logic has ...
research
∙
07/11/2012
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
The logic FO(ID) uses ideas from the field of logic programming to exten...
research
∙
08/29/2011
A prototype of a knowledge-based programming environment
In this paper we present a proposal for a knowledge-based programming en...
research
∙
08/16/2011
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
A fact apparently not observed earlier in the literature of nonmonotonic...
research
∙
04/10/2009
CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
This papers develops a logical language for representing probabilistic c...
research
∙
05/11/2002
Ultimate approximations in nonmonotonic knowledge representation systems
We study fixpoints of operators on lattices. To this end we introduce th...
research
∙
03/17/2000
Detecting Unsolvable Queries for Definite Logic Programs
In solving a query, the SLD proof procedure for definite programs someti...
research
∙
03/13/2000
A note on the Declarative reading(s) of Logic Programming
This paper analyses the declarative readings of logic programming. Logic...
research
∙
03/08/2000
Problem solving in ID-logic with aggregates: some experiments
The goal of the LP+ project at the K.U.Leuven is to design an expressive...
research
∙
03/07/2000
Extending Classical Logic with Inductive Definitions
The goal of this paper is to extend classical logic with a generalized n...
research
∙
02/03/2000