10 citations · 21 across the 5 of their papers we have counts for
7 papers
An Algebraic Approach to Weighted Answer-set Programming
Francisco Coelho, Bruno Dinis, Dietmar Seipel +1
Logic programs, more specifically, Answer-set programs, can be annotated with probabilities on facts to express uncertainty. We address the problem of propagating weight annotation…
Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations
Martin Atzmueller, Cicek Güven, Dietmar Seipel
The explication and the generation of explanations are prominent topics in artificial intelligence and data science, in order to make methods and systems more transparent and under…
Finding Maximal Non-Redundant Association Rules in Tennis Data
Daniel Weidner, Martin Atzmueller, Dietmar Seipel
The concept of association rules is well--known in data mining. But often redundancy and subsumption are not considered, and standard approaches produce thousands or even millions…
Pre-proceedings of the DECLARE 2019 Conference
Salvador Abreu, Petra Hofstedt, Ulrich John +2
This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declara…
Source Code Verification for Embedded Systems using Prolog
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel +1
System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their…
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts
Falco Nogatz, Dietmar Seipel
The methods to access large relational databases in a distributed system are well established: the relational query language SQL often serves as a language for data access and mani…
Knowledge Engineering for Hybrid Deductive Databases
Dietmar Seipel
Modern knowledge base systems frequently need to combine a collection of databases in different formats: e.g., relational databases, XML databases, rule bases, ontologies, etc. In…