Alpha-Acyclic Decompositions of Relational Database Schemes. - Detlev Ruland; Dietmar Seipel (PODS, 1986)

Designing Alpha-Acyclic BCNF-Database Schemes. - Detlev Ruland; Dietmar Seipel (MFDBS, 1987)

Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques. - Dietmar Seipel; Detlev Ruland (WG, 1987)

A Graph-Based Decomposition Approach for Recursive Query Processing. - Dietmar Seipel (WG, 1988)

Decomposition in Database and Knowledge-Base Systems. - Dietmar Seipel (1989)

Decomposition of Linear Recursive Logic Programs. - Dietmar Seipel (WG, 1990)

Wavefront Techniques for Recursive Logic Programs. - Dietmar Seipel; Hans Argenton (Workshop on Deductive Databases, JICSLP, 1992)

A Data Structure for Efficient Deduction in Disjunctive Logic Programs. - Dietmar Seipel; Hans Argenton (WLP, 1993)

DISLOG - A System for in Disjunctive Deductive Databases. - Dietmar Seipel; Helmut Thöne (DAISD, 1994)

Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. - Dietmar Seipel (GI Jahrestagung, 1994)

An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. - Dietmar Seipel (LPAR, 1994)

A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. - Dietmar Seipel (WLP, 1994)

Graph-Based Processing of Logic Programs. - Dietmar Seipel (Computers and Artificial Intelligence, 1994)

Mixed Fixpoint Theory for Disjunktive Deductive Databases. - Dietmar Seipel; Ulrich Güntzer (WLP, 1995)

Deduktive Datenbanken - das aktuelle Schlagwort. - François Bry; Dietmar Seipel (Inform. Spektrum, 1996)

Partial Evidential Stable Models for Disjunctive Deductive Databases. - Dietmar Seipel (LPKR, 1997)

A Characterization of the Partial Stable Models For Disjunctive Databases. - Dietmar Seipel; Jack Minker; Carolina Ruiz (ILPS, 1997)

DisLog - A Disjunctive Deductive Database Prototype (system description). - Dietmar Seipel (WLP, 1997)

Model Generation and State Generation for Disjunctive Logic Programs. - Dietmar Seipel; Jack Minker; Carolina Ruiz (J. Log. Program., 1997)

An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. - Dietmar Seipel (FQAS, 1998)

Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. - Dietmar Seipel (FoIKS, 2000)

Preface. - François Bry; Ulrich Geske; Dietmar Seipel (WLP, 2000)

Introduction to Part III: Decision Support by Advanced Logic Programming. - Ulrich Geske; Dietmar Seipel (INAP (LNCS Volume), 2001)

Cardinality Constraints in Disjunctive Deductive Databases. - Dietmar Seipel; Ulrich Geske (Semantics in Databases, 2001)

Using clausal deductive databases for defining semantics in disjunctive deductive databases. - Dietmar Seipel (Ann. Math. Artif. Intell., 2001)

Disjunctive Logic Programming: A Survey and Assessment. - Jack Minker; Dietmar Seipel (Computational Logic: Logic Programming and Beyond, 2002)

An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. - Bernd D. Heumesser; Dietmar Seipel; Ralf-Dieter Schimkat; Ulrich Güntzer (Electronic Information and Communication in Mathematics, 2002)

Comprehending and Visualizing Software Based on XML - Representations and Call Graphs. - Marbod Hopfner; Dietmar Seipel; Jürgen Wolff von Gudenberg (IWPC, 2003)

Analyzing and Visualising Prolog programs based on XML representations. - Dietmar Seipel; Marbod Hopfner; Bernd D. Heumesser (WLPE, 2003)

An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. - Bernd D. Heumesser; Dietmar Seipel; Ulrich Güntzer (MKM, 2003)

Incremental Development of Diagnostic Set-Covering Models with Therapy Effects. - Joachim Baumeister; Dietmar Seipel; Frank Puppe (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2003)

Reasoning about Source Code in XML-Representation. - Marbod Hopfner; Dietmar Seipel; Jürgen Wolff von Gudenberg; Gregor Fischer (Softwaretechnik-Trends, 2003)

Refactoring Methods for Knowledge Bases. - Joachim Baumeister; Frank Puppe; Dietmar Seipel (EKAW, 2004)

Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems. - Joachim Baumeister; Dietmar Seipel; Frank Puppe (FLAIRS, 2004)

Clone Detection in Source Code by Frequent Itemset Techniques. - Vera Wahler; Dietmar Seipel; Jürgen Wolff von Gudenberg; Gregor Fischer (SCAM, 2004)

Web Services Based on Prolog and Xml. - Bernd D. Heumesser; Andreas Ludwig; Dietmar Seipel (INAP/WLP, 2004)

Declaratively Querying and Visualizing Knowledge Bases in Xml. - Dietmar Seipel; Joachim Baumeister; Marbod Hopfner (INAP/WLP, 2004)

Matching web site structure and content. - Vassil Gedov; Carsten Stolz; Ralph Neuneier; Michal Skubacz; Dietmar Seipel (WWW (Alternate Track Papers & Posters), 2004)

Integration of Data in Pathogenomics: Three Layers of cellular complexity and an XML-based Framework. - M. Dünßer; R. Lampidis; Steffen Schmidt; Dietmar Seipel; Thomas Dandekar (J. Integr. Bioinform., 2004)

An Agile Process Model for Developing Diagnostic Knowledge Systems. - Joachim Baumeister; Frank Puppe; Dietmar Seipel (Künstliche Intell., 2004)

Smelly Owls - Design Anomalies in Ontologies. - Joachim Baumeister; Dietmar Seipel (FLAIRS, 2005)

User-centered consultation by a society of agents. - Georg Buscher; Joachim Baumeister; Frank Puppe; Dietmar Seipel (K-CAP, 2005)

A PROLOG Tool for Slicing Source Code. - Marbod Hopfner; Dietmar Seipel; Joachim Baumeister (W(C)LP, 2005)

XML Transformations based on Logic Programming. - Dietmar Seipel; Klaus Prätor (W(C)LP, 2005)

Anfragesprachen für das Semantic Web. - Joachim Baumeister; Dietmar Seipel (Inform. Spektrum, 2005)

Verification and Refactoring of Ontologies with Rules. - Joachim Baumeister; Dietmar Seipel (EKAW, 2006)

A Tool for Analyzing and Tuning Relational Database Applications: SQL Query Analyzer and Schema EnHancer (SQUASH). - Andreas M. Boehm; Matthias Wetzka; Albert Sickmann; Dietmar Seipel (Grundlagen von Datenbanken, 2006)

Unfolding partiality and disjunctions in stable model semantics. - Tomi Janhunen; Ilkka Niemelä; Dietmar Seipel; Patrik Simons; Jia-Huai You (ACM Trans. Comput. Log., 2006)

Towards the Verification of Ontologies with Rules. - Joachim Baumeister; Thomas Kleemann; Dietmar Seipel (FLAIRS, 2007)

Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. - Martin Atzmüller; Dietmar Seipel (INAP/WLP, 2007)

Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. - Andreas M. Boehm; Dietmar Seipel; Albert Sickmann; Matthias Wetzka (INAP/WLP, 2007)

Declarative Specification and Interpretation of Rule-Based Systems. - Dietmar Seipel; Joachim Baumeister (FLAIRS, 2008)

Tracking Topic Evolution in News Environments. - Maximilian Viermetz; Michal Skubacz; Cai-Nicolas Ziegler; Dietmar Seipel (CEC/EEE, 2008)

Schema and Variation: Digitizing Printed Dictionaries. - Christian Schneiker; Dietmar Seipel; Werner Wegstein (Linguistic Annotation Workshop, 2009)

JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements. - Dietmar Seipel; Andreas M. Boehm; Markus Fröhlich (INAP, 2009)

Searching in Protein State Space. - Dietmar Seipel; Jörg Schultz (INAP, 2009)

Declarative Parsing and Annotation of Electronic Dictionaries. - Christian Schneiker; Dietmar Seipel; Werner Wegstein; Klaus Prätor (NLPCS, 2009)

Anomalies in ontologies with rules. - Joachim Baumeister; Dietmar Seipel (J. Web Semant., 2010)

Mining Complex Event Patterns in Computer Networks. - Dietmar Seipel; Philipp Neubeck; Stefan Köhler 002; Martin Atzmueller (NFMCP, 2012)

A Prolog Framework for Integrating Business Rules into Java Applications. - Ludwig Ostermayer; Dietmar Seipel (KESE, 2013)

CAPJA - A Connector Architecture for Prolog and Java. - Ludwig Ostermayer; Frank Flederer; Dietmar Seipel (KESE@ECAI, 2014)

PPI - A Portable Prolog Interface for Java. - Ludwig Ostermayer; Frank Flederer; Dietmar Seipel (WLP/WFLP, 2014)

Declarative Evaluation of Ontologies with Rules. - Dietmar Seipel; Joachim Baumeister; Klaus Prätor (WLP/WFLP, 2014)

Logic and Databases: A History of Deductive Databases. - Jack Minker; Dietmar Seipel; Carlo Zaniolo (Computational Logic, 2014)

Declarative Rules for Annotated Expert Knowledge in Change Management. - Dietmar Seipel; Rüdiger von der Weth; Salvador Abreu; Falco Nogatz; Alexander Werner (SLATE, 2016)

Source Code Verification for Embedded Systems using Prolog. - Frank Flederer; Ludwig Ostermayer; Dietmar Seipel; Sergio Montenegro 001 (WLP / WFLP, 2017)

Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. - Falco Nogatz; Dietmar Seipel (WLP / WFLP, 2017)

Knowledge Engineering for Hybrid Deductive Databases. - Dietmar Seipel (WLP / WFLP, 2017)

Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. - Falco Nogatz; Jona Kalkus; Dietmar Seipel (PPDP, 2018)

CHR.js: A CHR Implementation in JavaScript. - Falco Nogatz; Thom W. Frühwirth; Dietmar Seipel (RuleML+RR, 2018)

Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. - Dietmar Seipel; Falco Nogatz; Salvador Abreu (Comput. Lang. Syst. Struct., 2018)

Finding Maximal Non-redundant Association Rules in Tennis Data. - Daniel Weidner; Martin Atzmueller; Dietmar Seipel (DECLARE, 2019)

Alexa, How Can I Reason with Prolog? - Falco Nogatz; Julia Kübert; Dietmar Seipel; Salvador Abreu (SLATE, 2019)

Definite Clause Grammars with Parse Trees: Extension for Prolog. - Falco Nogatz; Dietmar Seipel; Salvador Abreu (SLATE, 2019)

Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations. - Martin Atzmueller; Çiçek Güven; Dietmar Seipel (CoRR, 2019)

Pre-proceedings of the DECLARE 2019 Conference. - Salvador Abreu; Petra Hofstedt; Ulrich John; Herbert Kuchen; Dietmar Seipel (CoRR, 2019)

Intelligent Query Answering with Contextual Knowledge for Relational Databases. - Dietmar Seipel; Daniel Weidner; Salvador Abreu (SLATE, 2021)

Applying ASP for Knowledge-Based Link Prediction With Explanation Generation in Feature-Rich Networks. - Çiçek Güven; Dietmar Seipel; Martin Atzmueller (IEEE Trans. Netw. Sci. Eng., 2021)

Post-mining on Association Rule Bases. - Dietmar Seipel; Marcel Waleska; Daniel Weidner; Sven Rausch; Martin Atzmueller (ECAI Workshops (2), 2023)

Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. - Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu (SLATE, 2023)

Integrated Simulation and Calibration Framework for Heating System Optimization. - Kirill Djebko; Daniel Weidner; Marcel Waleska; Timo Krey; Sven Rausch; Dietmar Seipel; Frank Puppe (Sensors, 2024)

Elements for Weighted Answer-Set Programming. - Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu (SLATE, 2025)

An Algebraic Approach to Weighted Answer-set Programming. - Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu (CoRR, 2025)