Dietmar Seipel

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 18

Top Venues

SLATE

CoRR

WLP / WFLP

WLP/WFLP

Julius Maximilians University Würzburg, Germany (PHD)

Education History

Julius Maximilians University Würzburg, Germany

PHD

Publications

Kirill Djebko, Daniel Weidner, Marcel Waleska, Timo Krey, Sven Rausch, Dietmar Seipel, Frank Puppe
Integrated Simulation and Calibration Framework for Heating System Optimization. Sensors 24 (3) (2024)
Dietmar Seipel, Benjamin Förster, Magnus Liebl, Marcel Waleska, Salvador Abreu
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. SLATE (2023)
Dietmar Seipel, Marcel Waleska, Daniel Weidner, Sven Rausch, Martin Atzmueller
Post-mining on Association Rule Bases. ECAI Workshops (2) (2023)
Çiçek Güven, Dietmar Seipel, Martin Atzmueller
Applying ASP for Knowledge-Based Link Prediction With Explanation Generation in Feature-Rich Networks. IEEE Trans. Netw. Sci. Eng. 8 (2) (2021)
Dietmar Seipel, Daniel Weidner, Salvador Abreu
Intelligent Query Answering with Contextual Knowledge for Relational Databases. SLATE (2021)
Daniel Weidner, Martin Atzmueller, Dietmar Seipel
Finding Maximal Non-Redundant Association Rules in Tennis Data. CoRR (2019)
Falco Nogatz, Dietmar Seipel, Salvador Abreu
Definite Clause Grammars with Parse Trees: Extension for Prolog. SLATE (2019)
Falco Nogatz, Julia Kübert, Dietmar Seipel, Salvador Abreu
Alexa, How Can I Reason with Prolog? SLATE (2019)
Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel
Pre-proceedings of the DECLARE 2019 Conference. CoRR (2019)
Martin Atzmueller, Çiçek Güven, Dietmar Seipel
Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations. CoRR (2019)
Daniel Weidner, Martin Atzmueller, Dietmar Seipel
Finding Maximal Non-redundant Association Rules in Tennis Data. DECLARE (2019)
Dietmar Seipel, Falco Nogatz, Salvador Abreu
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. Comput. Lang. Syst. Struct. 51 (2018)
Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel
CHR.js: A CHR Implementation in JavaScript. RuleML+RR (2018)
Falco Nogatz, Jona Kalkus, Dietmar Seipel
Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. PPDP (2018)
Falco Nogatz, Dietmar Seipel
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. WLP / WFLP (2017)
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro
Source Code Verification for Embedded Systems using Prolog. WLP / WFLP (2017)
Dietmar Seipel
Knowledge Engineering for Hybrid Deductive Databases. WLP / WFLP (2017)
Dietmar Seipel, Rüdiger von der Weth, Salvador Abreu, Falco Nogatz, Alexander Werner
Declarative Rules for Annotated Expert Knowledge in Change Management. SLATE (2016)
Dietmar Seipel, Joachim Baumeister, Klaus Prätor
Declarative Evaluation of Ontologies with Rules. WLP/WFLP (2014)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
CAPJA - A Connector Architecture for Prolog and Java. KESE@ECAI (2014)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
PPI - A Portable Prolog Interface for Java. WLP/WFLP (2014)
Ludwig Ostermayer, Dietmar Seipel
A Prolog Framework for Integrating Business Rules into Java Applications. KESE (2013)
Dietmar Seipel, Philipp Neubeck, Stefan Köhler, Martin Atzmueller
Mining Complex Event Patterns in Computer Networks. NFMCP (2012)
Joachim Baumeister, Dietmar Seipel
Anomalies in ontologies with rules. J. Web Semant. 8 (1) (2010)
Christian Schneiker, Dietmar Seipel, Werner Wegstein, Klaus Prätor
Declarative Parsing and Annotation of Electronic Dictionaries. NLPCS (2009)
Dietmar Seipel, Andreas M. Boehm, Markus Fröhlich
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements. INAP (2009)
Dietmar Seipel, Jörg Schultz
Searching in Protein State Space. INAP (2009)
Christian Schneiker, Dietmar Seipel, Werner Wegstein
Schema and Variation: Digitizing Printed Dictionaries. Linguistic Annotation Workshop (2009)
Maximilian Viermetz, Michal Skubacz, Cai-Nicolas Ziegler, Dietmar Seipel
Tracking Topic Evolution in News Environments. CEC/EEE (2008)
Dietmar Seipel, Joachim Baumeister
Declarative Specification and Interpretation of Rule-Based Systems. FLAIRS Conference (2008)
Joachim Baumeister, Thomas Kleemann, Dietmar Seipel
Towards the Verification of Ontologies with Rules. FLAIRS Conference (2007)
Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. INAP/WLP (2007)
Martin Atzmüller, Dietmar Seipel
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. INAP/WLP (2007)
Andreas M. Boehm, Matthias Wetzka, Albert Sickmann, Dietmar Seipel
A Tool for Analyzing and Tuning Relational Database Applications: SQL Query Analyzer and Schema EnHancer (SQUASH). Grundlagen von Datenbanken (2006)
Joachim Baumeister, Dietmar Seipel
Verification and Refactoring of Ontologies with Rules. EKAW (2006)
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. 7 (1) (2006)
Joachim Baumeister, Dietmar Seipel
Anfragesprachen für das Semantic Web. Inform. Spektrum 28 (1) (2005)
Joachim Baumeister, Dietmar Seipel
Smelly Owls - Design Anomalies in Ontologies. FLAIRS Conference (2005)
Marbod Hopfner, Dietmar Seipel, Joachim Baumeister
A PROLOG Tool for Slicing Source Code. W(C)LP (2005)
Dietmar Seipel, Klaus Prätor
XML Transformations based on Logic Programming. W(C)LP (2005)
Georg Buscher, Joachim Baumeister, Frank Puppe, Dietmar Seipel
User-centered consultation by a society of agents. K-CAP (2005)
Vera Wahler, Dietmar Seipel, Jürgen Wolff von Gudenberg, Gregor Fischer
Clone Detection in Source Code by Frequent Itemset Techniques. SCAM (2004)
Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
Declaratively Querying and Visualizing Knowledge Bases in Xml. INAP/WLP (2004)
M. Dünßer, R. Lampidis, Steffen Schmidt, Dietmar Seipel, Thomas Dandekar
Integration of Data in Pathogenomics: Three Layers of cellular complexity and an XML-based Framework. J. Integr. Bioinform. 1 (1) (2004)
Vassil Gedov, Carsten Stolz, Ralph Neuneier, Michal Skubacz, Dietmar Seipel
Matching web site structure and content. WWW (Alternate Track Papers & Posters) (2004)
Joachim Baumeister, Frank Puppe, Dietmar Seipel
An Agile Process Model for Developing Diagnostic Knowledge Systems. Künstliche Intell. 18 (3) (2004)
Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel
Web Services Based on Prolog and Xml. INAP/WLP (2004)
Joachim Baumeister, Frank Puppe, Dietmar Seipel
Refactoring Methods for Knowledge Bases. EKAW (2004)
Joachim Baumeister, Dietmar Seipel, Frank Puppe
Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems. FLAIRS Conference (2004)
Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. MKM (2003)
Joachim Baumeister, Dietmar Seipel, Frank Puppe
Incremental Development of Diagnostic Set-Covering Models with Therapy Effects. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 11 (Supplement-2) (2003)
Marbod Hopfner, Dietmar Seipel, Jürgen Wolff von Gudenberg
Comprehending and Visualizing Software Based on XML - Representations and Call Graphs. IWPC (2003)
Marbod Hopfner, Dietmar Seipel, Jürgen Wolff von Gudenberg, Gregor Fischer
Reasoning about Source Code in XML-Representation. Softwaretechnik-Trends 23 (2) (2003)
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR (2003)
Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser
Analyzing and Visualising Prolog programs based on XML representations. WLPE (2003)
Jack Minker, Dietmar Seipel
Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond (2002)
Bernd D. Heumesser, Dietmar Seipel, Ralf-Dieter Schimkat, Ulrich Güntzer
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. Electronic Information and Communication in Mathematics (2002)
Dietmar Seipel
Using clausal deductive databases for defining semantics in disjunctive deductive databases. Ann. Math. Artif. Intell. 33 (2-4) (2001)
Ulrich Geske, Dietmar Seipel
Introduction to Part III: Decision Support by Advanced Logic Programming. INAP (LNCS Volume) (2001)
Dietmar Seipel, Ulrich Geske
Cardinality Constraints in Disjunctive Deductive Databases. Semantics in Databases (2001)
Dietmar Seipel
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. FoIKS (2000)
François Bry, Ulrich Geske, Dietmar Seipel
Preface. WLP (2000)
Dietmar Seipel
An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. FQAS (1998)
Dietmar Seipel
DisLog - A Disjunctive Deductive Database Prototype (system description). WLP (1997)
Dietmar Seipel
Partial Evidential Stable Models for Disjunctive Deductive Databases. LPKR (1997)
Dietmar Seipel, Jack Minker, Carolina Ruiz
A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS (1997)
Dietmar Seipel, Jack Minker, Carolina Ruiz
Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. 32 (1) (1997)
François Bry, Dietmar Seipel
Deduktive Datenbanken - das aktuelle Schlagwort. Inform. Spektrum 19 (4) (1996)
Dietmar Seipel, Ulrich Güntzer
Mixed Fixpoint Theory for Disjunktive Deductive Databases. WLP (1995)
Dietmar Seipel
A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. WLP (1994)
Dietmar Seipel
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. LPAR (1994)
Dietmar Seipel, Helmut Thöne
DISLOG - A System for in Disjunctive Deductive Databases. DAISD (1994)
Dietmar Seipel
Graph-Based Processing of Logic Programs. Computers and Artificial Intelligence 13 (2&3) (1994)
Dietmar Seipel
Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. GI Jahrestagung (1994)
Dietmar Seipel, Hans Argenton
A Data Structure for Efficient Deduction in Disjunctive Logic Programs. WLP (1993)
Dietmar Seipel, Hans Argenton
Wavefront Techniques for Recursive Logic Programs. Workshop on Deductive Databases, JICSLP (1992)
Dietmar Seipel
Decomposition of Linear Recursive Logic Programs. WG (1990)
Dietmar Seipel
A Graph-Based Decomposition Approach for Recursive Query Processing. WG (1988)
Dietmar Seipel, Detlev Ruland
Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques. WG (1987)
Detlev Ruland, Dietmar Seipel
Designing Alpha-Acyclic BCNF-Database Schemes. MFDBS (1987)
Detlev Ruland, Dietmar Seipel
Alpha-Acyclic Decompositions of Relational Database Schemes. PODS (1986)

Dietmar Seipel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dietmar Seipel