Dietmar Seipel Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Michael Hanus, Armin Wolf: 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 Springer 2009
2008
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaximilian Viermetz, Michal Skubacz, Cai-Nicolas Ziegler, Dietmar Seipel: Tracking Topic Evolution in News Environments. CEC/EEE 2008: 215-220
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Joachim Baumeister: Declarative Specification and Interpretation of Rule-Based Systems. FLAIRS Conference 2008: 359-364
2007
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Dietmar Seipel: 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-WS.org 2007
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Thomas Kleemann, Dietmar Seipel: Towards the Verification of Ontologies with Rules. FLAIRS Conference 2007: 524-529
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Atzmüller, Dietmar Seipel: Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. INAP/WLP 2007: 149-164
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka: Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. INAP/WLP 2007: 82-98
2006
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata: 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 Springer 2006
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Dietmar Seipel: Verification and Refactoring of Ontologies with Rules. EKAW 2006: 82-95
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi 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)
2005
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein: 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 Springer 2005
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Dietmar Seipel: Smelly Owls - Design Anomalies in Ontologies. FLAIRS Conference 2005: 215-220
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Buscher, Joachim Baumeister, Frank Puppe, Dietmar Seipel: User-centered consultation by a society of agents. K-CAP 2005: 27-34
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarbod Hopfner, Dietmar Seipel, Joachim Baumeister: A PROLOG Tool for Slicing Source Code. W(C)LP 2005: 17-28
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Klaus Prätor: XML Transformations based on Logic Programming. W(C)LP 2005: 5-16
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Dietmar Seipel: Anfragesprachen für das Semantic Web. Informatik Spektrum 28(1): 40-44 (2005)
2004
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Jose Maria Turull Torres: Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings Springer 2004
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Frank Puppe, Dietmar Seipel: Refactoring Methods for Knowledge Bases. EKAW 2004: 157-171
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Dietmar Seipel, Frank Puppe: Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems. FLAIRS Conference 2004
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Joachim Baumeister, Marbod Hopfner: Declaratively Querying and Visualizing Knowledge Bases in Xml. INAP/WLP 2004: 16-31
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd D. Heumesser, Andreas Ludwig, Dietmar Seipel: Web Services Based on Prolog and Xml. INAP/WLP 2004: 245-257
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVera Wahler, Dietmar Seipel, Jürgen Wolff von Gudenberg, Gregor Fischer: Clone Detection in Source Code by Frequent Itemset Techniques. SCAM 2004: 128-135
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVassil Gedov, Carsten Stolz, Ralph Neuneier, Michal Skubacz, Dietmar Seipel: Matching web site structure and content. WWW (Alternate Track Papers & Posters) 2004: 286-287
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Baumeister, Frank Puppe, Dietmar Seipel: An Agile Process Model for Developing Diagnostic Knowledge Systems. KI 18(3): 12-16 (2004)
2003
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarbod Hopfner, Dietmar Seipel, Jürgen Wolff von Gudenberg: Comprehending and Visualizing Software Based on XML - Representations and Call Graphs. IWPC 2003: 290-291
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Marbod Hopfner, Bernd D. Heumesser: Analyzing and Visualising Prolog programs based on XML representations. WLPE 2003: 31-45
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR cs.AI/0303009: (2003)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim 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)
2002
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJack Minker, Dietmar Seipel: Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond 2002: 472-511
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
2001
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Geske, Dietmar Seipel: Introduction to Part III: Decision Support by Advanced Logic Programming. INAP (LNCS Volume) 2001: 147-150
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Ulrich Geske: Cardinality Constraints in Disjunctive Deductive Databases. Semantics in Databases 2001: 179-199
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Using clausal deductive databases for defining semantics in disjunctive deductive databases. Ann. Math. Artif. Intell. 33(2-4): 347-378 (2001)
2000
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. FoIKS 2000: 241-259
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Ulrich Geske, Dietmar Seipel: Preface. WLP 2000: 7
1998
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. FQAS 1998: 341-353
1997
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Jack Minker, Carolina Ruiz: A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS 1997: 245-259
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Partial Evidential Stable Models for Disjunctive Deductive Databases. LPKR 1997: 66-84
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: DisLog - A Disjunctive Deductive Database Prototype (system description). WLP 1997: 0-
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Jack Minker, Carolina Ruiz: Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. 32(1): 49-69 (1997)
1996
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Dietmar Seipel: Deduktive Datenbanken - das aktuelle Schlagwort. Informatik Spektrum 19(4): 214-215 (1996)
1995
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Ulrich Güntzer: Mixed Fixpoint Theory for Disjunktive Deductive Databases. WLP 1995: 227-236
1994
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Helmut Thöne: DISLOG - A System for in Disjunctive Deductive Databases. DAISD 1994: 325-343
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. GI Jahrestagung 1994: 53-60
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. LPAR 1994: 245-259
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. WLP 1994: 96-99
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Graph-Based Processing of Logic Programs. Computers and Artificial Intelligence 13(2&3): 107-132 (1994)
1993
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Hans Argenton: A Data Structure for Efficient Deduction in Disjunctive Logic Programs. WLP 1993: 90-94
1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Hans Argenton: Wavefront Techniques for Recursive Logic Programs. Workshop on Deductive Databases, JICSLP 1992: 116-125
1990
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Decomposition of Linear Recursive Logic Programs. WG 1990: 291-310
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: Decomposition in Database and Knowledge-Base Systems. Uni Würzburg 1989
1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel: A Graph-Based Decomposition Approach for Recursive Query Processing. WG 1988: 148-165
1987
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlev Ruland, Dietmar Seipel: Designing Alpha-Acyclic BCNF-Database Schemes. MFDBS 1987: 197-209
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietmar Seipel, Detlev Ruland: Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques. WG 1987: 171-185
1986
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDetlev Ruland, Dietmar Seipel: Alpha-Acyclic Decompositions of Relational Database Schemes. PODS 1986: 191-201

Coauthor Index

1Hans Argenton [7] [8]
2Martin Atzmüller (Martin Atzmueller) [53]
3Oskar Bartenstein [47] [51]
4Joachim Baumeister [28] [33] [38] [39] [40] [42] [44] [45] [46] [50] [54] [55] [56]
5Andreas M. Boehm [49] [52]
6François Bry (François Bry-Haußer) [15] [21]
7Georg Buscher [45]
8Thomas Dandekar [34]
9M. Dünßer [34]
10Gregor Fischer [36]
11Vassil Gedov [35]
12Ulrich Geske [21] [24] [25] [47] [51]
13Jürgen Wolff von Gudenberg [32] [36]
14Ulrich Güntzer [14] [26] [31]
15Michael Hanus [47] [58]
16Bernd D. Heumesser [26] [30] [31] [37]
17Marbod Hopfner [30] [32] [38] [44]
18Tomi Janhunen [29] [48]
19Thomas Kleemann [54]
20R. Lampidis [34]
21Andreas Ludwig [37]
22Jack Minker [16] [19] [27]
23Ralph Neuneier [35]
24Ilkka Niemelä [29] [48]
25Klaus Prätor [43]
26Frank Puppe [28] [33] [39] [40] [45]
27Carolina Ruiz [16] [19]
28Detlev Ruland [1] [2] [3]
29Ralf-Dieter Schimkat [26]
30Steffen Schmidt [34]
31Albert Sickmann [49] [52]
32Patrik Simons [29] [48]
33Michal Skubacz [35] [57]
34Carsten Stolz [35]
35Osamu Takata [51]
36Helmut Thöne [13]
37Jose Maria Turull Torres [41]
38Masanobu Umeda [51]
39Maximilian Viermetz [57]
40Vera Wahler [36]
41Matthias Wetzka [49] [52]
42Armin Wolf [51] [58]
43Jia-Huai You [29] [48]
44Cai-Nicolas Ziegler [57]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)