Dietmar Seipel

Salvador Abreu, Dietmar Seipel (Eds.): Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6547, Springer 2011, isbn 978-3-642-20588-0

Joachim Baumeister, Dietmar Seipel: Anomalies in ontologies with rules. J. Web Sem. 8(1): 55-68 (2010)

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

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

Dietmar Seipel, Jörg Schultz: Searching in Protein State Space. INAP 2009: 205-222

Christian Schneiker, Dietmar Seipel, Werner Wegstein, Klaus Prätor: Declarative Parsing and Annotation of Electronic Dictionaries. NLPCS 2009: 122-132

Dietmar Seipel, Michael Hanus, Armin Wolf (Eds.): Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5437, Springer 2009, isbn 978-3-642-00674-6

Dietmar Seipel, Joachim Baumeister: Declarative Specification and Interpretation of Rule-Based Systems. FLAIRS Conference 2008: 359-364

Maximilian Viermetz, Michal Skubacz, Cai-Nicolas Ziegler, Dietmar Seipel: Tracking Topic Evolution in News Environments. CEC/EEE 2008: 215-220

Joachim Baumeister, Thomas Kleemann, Dietmar Seipel: Towards the Verification of Ontologies with Rules. FLAIRS Conference 2007: 524-529

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

Martin Atzmüller, Dietmar Seipel: Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. INAP/WLP 2007: 149-164

Joachim Baumeister, Dietmar Seipel (Eds.): Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th German Conference on Artificial Intelligence (KI-2007), Osnabrück, Germany, September 10, 2007. CEUR Workshop Proceedings 282, CEUR-WS.org 2007

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): 1-37 (2006)

Joachim Baumeister, Dietmar Seipel: Verification and Refactoring of Ontologies with Rules. EKAW 2006: 82-95

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: 45-49

Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata (Eds.): Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4369, Springer 2006, isbn 3-540-69233-9

Joachim Baumeister, Dietmar Seipel: Anfragesprachen für das Semantic Web. Informatik Spektrum 28(1): 40-44 (2005)

Joachim Baumeister, Dietmar Seipel: Smelly Owls - Design Anomalies in Ontologies. FLAIRS Conference 2005: 215-220

Georg Buscher, Joachim Baumeister, Frank Puppe, Dietmar Seipel: User-centered consultation by a society of agents. K-CAP 2005: 27-34

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

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

Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (Eds.): Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3392, Springer 2005, isbn 3-540-25560-5

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. Integrative Bioinformatics 1(1) (2004)

Joachim Baumeister, Frank Puppe, Dietmar Seipel: An Agile Process Model for Developing Diagnostic Knowledge Systems. KI 18(3): 12-16 (2004)

Joachim Baumeister, Frank Puppe, Dietmar Seipel: Refactoring Methods for Knowledge Bases. EKAW 2004: 157-171

Joachim Baumeister, Dietmar Seipel, Frank Puppe: Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems. FLAIRS Conference 2004: 319-324

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

Dietmar Seipel, Joachim Baumeister, Marbod Hopfner: Declaratively Querying and Visualizing Knowledge Bases in Xml. INAP/WLP 2004: 16-31

Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel: Web Services Based on Prolog and Xml. INAP/WLP 2004: 245-257

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

Dietmar Seipel, Jose Maria Turull Torres (Eds.): Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings. Lecture Notes in Computer Science 2942, Springer 2004, isbn 3-540-20965-4

Joachim Baumeister, Dietmar Seipel, Frank Puppe: Incremental Development of Diagnostic Set-Covering Models with Therapy Effects. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(Supplement-2): 25-50 (2003)

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

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

Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser: Analyzing and Visualising Prolog programs based on XML representations. WLPE 2003: 31-45

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: 133-146

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics. CoRR cs.AI/0303009 (2003)

Jack Minker, Dietmar Seipel: Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond 2002: 472-511

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: 59-71

Dietmar Seipel: Using clausal deductive databases for defining semantics in disjunctive deductive databases. Ann. Math. Artif. Intell. 33(2-4): 347-378 (2001)

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

Dietmar Seipel, Ulrich Geske: Cardinality Constraints in Disjunctive Deductive Databases. Semantics in Databases 2001: 179-199

Dietmar Seipel: Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. FoIKS 2000: 241-259

François Bry, Ulrich Geske, Dietmar Seipel: Preface. WLP 2000: 7

Dietmar Seipel: An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. FQAS 1998: 341-353

Piero Fraternali, Ulrich Geske, Carolina Ruiz, Dietmar Seipel (Eds.): Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98. GMD Report 22. 1998

Dietmar Seipel, Jack Minker, Carolina Ruiz: Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. 32(1): 49-69 (1997)

Dietmar Seipel: Partial Evidential Stable Models for Disjunctive Deductive Databases. LPKR 1997: 66-84

Dietmar Seipel, Jack Minker, Carolina Ruiz: A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS 1997: 245-259

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

Ulrich Geske, Carolina Ruiz, Dietmar Seipel (Eds.): Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers. GMD - German National Research Center for Information Technology 1997, isbn 3-88457-317-9

François Bry, Dietmar Seipel: Deduktive Datenbanken - das aktuelle Schlagwort. Informatik Spektrum 19(4): 214-215 (1996)

Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel (Eds.): Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996. GMD-Studien Nr. 295. GMD, Sankt Augustin, Germany 1996, isbn 3-88457-295-4

Dietmar Seipel, Ulrich Güntzer: Mixed Fixpoint Theory for Disjunktive Deductive Databases. WLP 1995: 227-236

Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (Eds.): Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien Nr. 266. Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, isbn 3-88457-266-0

Dietmar Seipel: Graph-Based Processing of Logic Programs. Computers and Artificial Intelligence 13(2&3): 107-132 (1994)

Dietmar Seipel, Helmut Thöne: DISLOG - A System for in Disjunctive Deductive Databases. DAISD 1994: 325-343

Dietmar Seipel: Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. GI Jahrestagung 1994: 53-60

Dietmar Seipel: An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. LPAR 1994: 245-259

Dietmar Seipel: A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. WLP 1994: 96-99

Ulrich Geske, Dietmar Seipel (Eds.): Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994. GMD-Studien Nr. 231. Gesellschaft für Mathematik und Datenverarbeitung MBH 1994, isbn 3-88457-231-8

Dietmar Seipel, Hans Argenton: A Data Structure for Efficient Deduction in Disjunctive Logic Programs. WLP 1993: 90-94

Dietmar Seipel, Hans Argenton: Wavefront Techniques for Recursive Logic Programs. Workshop on Deductive Databases, JICSLP 1992: 116-125

Dietmar Seipel: Decomposition of Linear Recursive Logic Programs. WG 1990: 291-310

Dietmar Seipel: Decomposition in Database and Knowledge-Base Systems. Uni Würzburg 1989

Dietmar Seipel: A Graph-Based Decomposition Approach for Recursive Query Processing. WG 1988: 148-165

Detlev Ruland, Dietmar Seipel: Designing Alpha-Acyclic BCNF-Database Schemes. MFDBS 1987: 197-209

Dietmar Seipel, Detlev Ruland: Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques. WG 1987: 171-185

Detlev Ruland, Dietmar Seipel: Alpha-Acyclic Decompositions of Relational Database Schemes. PODS 1986: 191-201