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...
share
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
∙
09/02/2016
A MIP Backend for the IDP System
The IDP knowledge base system currently uses MiniSAT(ID) as its backend ...
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
∙
08/07/2002
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a comp...
research
∙
02/12/2002
Logic program specialisation through partial deduction: Control issues
Program specialisation aims at improving the overall performance of prog...
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/08/2000