dblp.uni-trier.dewww.uni-trier.de

Dietmar Seipel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)