English Intern
    Lehrstuhl für Künstliche Intelligenz und Wissenssysteme

    Selected Publications

    2020

  • D. Weidner, M. Atzmueller, D. Seipel:
    Finding Maximal Non-Redundant Association Rules in Tennis Data.
    Revised Selected Papers of the International Conference on Declarative Programming (Declare), 2020. Springer LNAI 12057, 2020, pp. 59-78.
  •  

    2019

  • M. Atzmueller, C. Guven, D. Seipel:
    Towards Generating Explanations for ASP-Based Link Analysis
    using Declarative Program Transformations.
    Proc. International Conference on Declarative Programming (Declare), 2019.
  • D. Weidner, M. Atzmueller, D. Seipel:
    Finding Maximal Non-Redundant Association Rules in Tennis Data.
    Proc. International Conference on Declarative Programming (Declare), 2019.
  • F. Nogatz, D. Seipel, S. Abreu:
    Definite Clause Grammars with Parse Trees: Extension for Prolog.
    Proc. 8th Symposium on Languages, Applications and Technologies (SLATE 2019).
  • F. Nogatz, J. Kübert, D. Seipel, S. Abreu:
    Alexa, How Can I Reason with Prolog? (Short Paper)
    Proc. 8th Symposium on Languages, Applications and Technologies (SLATE 2019).
  •  

    2018

  • F. Nogatz, J. Kalkus, D. Seipel:
    Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters - System Description. Proc. 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018).

  • S. Bodenlos, D. Weidner, D. Seipel:
    PyPlC - Towards a Prolog Database Connectivity for Python.
    Proc. International Workshop on Logic Programming (WLP 2018).
  • F. Nogatz, T. Frühwirth, D. Seipel:
    CHR.js: A CHR Implementation in JavaScript.
    Proc. 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Springer, LNCS 11092.
  • H. Kayal, O. Balagurin, K. Djebko, G. Fellinger, F. Puppe, D. Seipel, S. Serdar, T. Schwarz, H. Wojtkowiak:
    Next Level Autonomous Nanosatellite Operations.
    Proc. 15th International Conference on Space Operations (SpaceOps 2018), Marseille, France, 2018.
  • D. Seipel, M. Hanus, S. Abreu (Eds.):
    Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018.
  • 2017

    • D. Seipel, F. Nogatz, S. Abreu:
      Domain-Specific Languages in Prolog for Declarative Expert Knowledge in Rules and Ontologies.
      Journal of Computer Languages, Systems and Structures (Comlan), 2017.

    • H. Kayal, D. Seipel, S. Serdar:
      A High-Level Decision Support System for Nanosatellites.
      Proc. 68th International Astronautical Congress (IAC), Adelaide, Australia, 2017.

    • F. Nogatz, J. Kalkus, D. Seipel:
      Declarative XML Schema Validation with SWI-Prolog - System Description.
      Proc. International Workshop on Logic Programming (WLP)
      at the Conference on Declarative Programming (Declare), 2017.

    2016

    • D. Seipel, R. von der Weth, S. Abreu, F. Nogatz, A. Werner:
      Declarative Rules for Annotated Expert Knowledge in Change Management.
      Proc. 5th Symposium on Languages, Applications and Technologies (SLATE 2016).

    • R. von der Weth, D. Seipel, K. Schubach, F. Nogatz, A. Werner:
      Modellierung von Handlungswissen aus fragmentiertem und heterogenem Rohdatenmaterial durch inkrementelle Verfeinerung in einem Regelbanksystem.
      Journal Psychologie des Alltagshandelns.

    • F. Flederer, L. Ostermayer, D. Seipel, S. Montenegro:
      Source Code Verification for Embedded Systems using Prolog.
      Proc. International Workshop on Logic Programming (WLP 2016).

    • F. Nogatz, D. Seipel:
      GraphQL as a Query Language for Deductive Databases.
      Proc. International Workshop on Logic Programming (WLP 2016).

    2015

    • D. Seipel:
      Knowledge Engineering for Hybrid Deductive Databases.
      Proc. International Workshop on Logic Programming (WLP 2015).

    2014

    • J. Minker, D. Seipel, C. Zaniolo:
      Logic and Databases: A History of Deductive Databases.
      Handbook of the History of Logic, Volume 9: Computational Logic, 2014.

    • D. Seipel, J. Baumeister, K. Prätor:
      Declarative Evaluation of Ontologies with Rules.
      Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014).

    • L. Ostermayer, F. Flederer, D. Seipel:
      PPI - A Portable Prolog Interface for Java.
      Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014).

    • L. Ostermayer, F. Flederer, D. Seipel:
      CAPJA - A Connector Architecture for Prolog and Java.
      Proc. Workshop on Knowledge Engineering and Software Engineering (KESE 2014).

    2013

    • D. Seipel, L. Borek:
      Vielfalt alignieren: ein halbautomatisches Werkzeug zum Erschließen varianter Lemmata in elektronischen Wörterbüchern.
      OPAL X/2013.

    • L. Ostermayer, G. Sun, D. Seipel:
      Simplifying the Development of Rules Using Domain Specific Languages in Drools.
      Proc. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013).

    • L. Ostermayer, D. Seipel:
      A Prolog Framework for Integrating Business Rules into Java Applications.
      Proc. Workshop on Knowledge Engineering and Software Engineering (KESE 2013).

    2012

    2011

    2010

    2009

    2008

    • M. Viermetz, M. Skubacz, C.-N. Ziegler, D. Seipel:
      Tracking Topic Evolution in News Environments.
      Proc. 10th IEEE International Conference on E-Commerce Technology (CEC 2008) /
      5th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2008), pp. 215-220, IEEE, 2008.

    • D. Seipel, J. Baumeister:
      Declarative Specification and Interpretation of Rule-Based Systems.
      Proc. 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS 2008), AAAI Press, 2008.

    2007

    • M. Atzmueller, D. Seipel:
      Declarative Specification of Ontological Domain Knowledge for Descriptive Data Mining.
      Proc. 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007).

    • A. Böhm, D. Seipel, A. Sickmann, M. Wetzka:
      Squash: A Tool for Designing, Analyzing and Refactoring Relational Database Applications.
      Proc. 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007).

    • J. Baumeister, T. Kleemann, D. Seipel:
      Towards the Verification of Ontologies with Rules.
      Proc. 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2007), AAAI Press, 2007.

    2006

    • J. Baumeister, D. Seipel:
      Verification and Refactoring of Ontologies with Rules.
      Proc. of the 15th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2006), LNAI 4248, pp. 82-95, Springer, 2006.

    • A. Böhm, M. Wetzka, A. Sickmann, D. Seipel:
      A Tool for Analyzing and Tuning Relational Database Applications: SQL Query Analyzer and Schema EnHancer (SQUASH).
      Workshop Grundlagen von Datenbanken 2006, pp. 45-49, 2006.

    • T. Janhunen, I. Niemelä, D. Seipel, P. Simons, J. You:
      Unfolding Partiality and Disjunctions in Stable Model Semantics.
      ACM Transactions on Computational Logic, vol. 7(1), pp. 1-37, 2006.

    2005

    2004

    2003

    2002

    2001

    2000

    1999

    1998

    1997

    1996

    1995

    • D. Seipel, U. Güntzer:
      Mixed Fixpoint Theory for Disjunctive Deductive Databases.
      Proc. Eleventh Workshop on Logic Programming 1995 (WLP 1995), GMD-Studien Nr. 270, 1995, pp. 227-236.

    • D. Seipel:
      Efficient Reasoning in Disjunctive Deductive Databases.
      Habilitationsschrift, Universität Tübingen, 1995.

    1994

    1993

    • D. Seipel:
      Graph-Based Processing of Logic Programs.
      Proc. Workshop on Deductive Databases at the International Conference on Logic Programming 1993 (ICLP 1993), and Journal of Computers and Artificial Intelligence , vol. 13, No. 2-3, 1994, pp. 107-132.

    • D. Seipel:
      Tree-Based Fixpoint Iteration for Disjunctive Logic Programs.
      Proc. Workshop on Logic Programming with Incomplete Information at the International Symposium on Logic Programming 1993 (ILPS 1993).

    • D. Seipel, H. Argenton:
      Evaluation Techniques for Disjunctive Logic Programs.
      Proc. Symposium on Operations Research 1993 (SOR 1993), pp. 458-462, Physica-Verlag 1994.

    • D. Seipel, H. Argenton:
      A Data Structure for Efficient Deduction in Disjunctive Logic Programs.
      Proc. Workshop Logische Programmierung 1993 (WLP 1993).

    1992

    • D. Seipel, H. Argenton:
      Wavefront Techniques for Recursive Logic Programs.
      Proc. Post-Conference Workshop on Deductive Databases at the Joint International Conference and Symposium on Logic Programming 1992 (JICSLP 1992).

    1990

    1989

    • D. Seipel:
      Decomposition in Database and Knowledge-Base Systems.
      PhD Dissertation, 1989.

    1988

    • D. Seipel:
      A Graph-Based Decomposition Approach for Recursive Query Processing.
      Proc. Intl. Workshop on Graph-Theoretic Concepts in Computer Science 1988 (WG 1988), LNCS 344.

    1987

    • D. Seipel, D. Ruland:
      Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques.
      Proc. Intl. Workshop on Graph-Theoretic Concepts in Computer Science 1987 (WG 1987), LNCS 314.

    • D. Ruland, D. Seipel:
      Designing Alpha-Acyclic BCNF-Database Schemes.
      Proc. Mathematical Fundamentals of Database Systems 1987 (MFDBS 1987), LNCS 305.

    • D. Seipel:
      Designing Gamma-Acyclic Database Schemes by Decomposition and L-Augmentation Techniques.
      Workshop on Relational Databases and their Extensions, Informatik-Bericht 87/3 der TU Clausthal, 1987.

    1986

    • D. Ruland, D. Seipel:
      Alpha-Acyclic Decompositions of Relational Database Schemes.
      Proc. ACM PODS 1986.

    1985

    • D. Seipel:
      Entwurf azyklischer BCNF-Datenbankschemata.
      Diploma Thesis, 1985.