Selected Publications

1. 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).

2. 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).

3. 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.

4. 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.

5. 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.

6. 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.

7. A. Böhm, M. Wetzka, A. Sickmann, D. Seipel:
   A Tool for Analyzing and Tuning Biological Relational Database Systems: SQL Query Analyzer and Schema EnHancer (SQUASH).
   Herbsttagung der Gesellschaft für Biochemie und Molekularbiologie eV (GBM 2005), 2005.

8. G. Buscher, J. Baumeister, F. Puppe, D. Seipel:
   User-Centered Consultation by a Society of Agents.
   Proc. 3rd International Conference on Knowledge Capture (K-CAP 2005), Banff, Canada, 2005.

9. J. Baumeister, D. Seipel:
   Smelly Owls - Design Anomalies in Ontologies.
   Proc. 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2005), AAAI Press, 2005.

10. J. Baumeister, D. Seipel:
    Anfragesprachen für das Semantic Web.
    Aktuelles Schlagwort im Informatik-Spektrum, 28 (1), pp. 40-44, Springer, 2005.

11. D. Seipel, K. Prätor:
    XML Transformations Based on Logic Programming.
    Proc. 18th Workshop on Logic Programming (WLP 2005), pp. 5-16, 2005.

12. M. Hopfner, D. Seipel, J. Baumeister:
    A Prolog Tool for Slicing Source Code.
    Proc. 18th Workshop on Logic Programming (WLP 2005), pp. 17-28, 2005.

13. D. Seipel, J. Baumeister, M. Hopfner:
    Declaratively Querying and Visualizing Knowledge Bases in XML.
    Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), Springer LNAI 3392, 2005, pp. 16-31.

14. B. Heumesser, A. Ludwig, D. Seipel:
    Web Services based on Prolog and XML.
    Proc. 15th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2004), Springer LNAI 3392, 2005, pp. 245-257.

15. J. Baumeister, D. Seipel, F. Puppe:
    Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems.
    Proc. 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004), AAAI Press, 2004.

16. D. Seipel, J. Baumeister:
    Declarative Methods for the Evaluation of Ontologies.
    KI 4/2004, pp. 51-57, 2004.

17. V. Wahler, D. Seipel, J. Wolff von Gudenberg, G. Fischer:
    Clone Detection in Source Code by Frequent Itemset Techniques.
    Proc. Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), pp. 128-135, 2004.

18. J. Baumeister, F. Puppe, D. Seipel:
    Refactoring Methods for Knowledge Bases.
    Proc. 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2004), Springer LNAI 3257, pp. 157-171, 2004.

19. J. Baumeister, D. Seipel, F. Puppe:
    Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems.
    Proc. 17th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2004), AAAI Press, 2004.

20. J. Baumeister, F. Puppe, D. Seipel:
    An Agile Process Model for Developing Diagnostic Knowledge Systems.
    KI 3/2004: Special Issue on AI and Software Engineering, pp. 12-16, 2004.

21. V. Gedov, C. Stolz, R. Neuneier, M. Skubacz, D. Seipel:
    Matching Web Site Structure and Content.
    Poster at the International World Wide Web Conference (WWW 2004).

22. M. Dünßer, R. Lampidis, S. Schmidt, D. Seipel, T. Dandekar:
    Integration of Data in Pathogenomics: Three Layers of Cellular Complexity and an XML-Based Framework.
    Journal of Integrative Bioinformatics, 2004.

23. D. Seipel, M. Hopfner, B. Heumesser:
    Analyzing and Visualizing Prolog Programs based on XML Representations.
    Proc. International Workshop on Logic Programming Environments (WLPE 2003), 2003.

24. M. Hopfner, D. Seipel, J. Wolff von Gudenberg:
    Comprehending and Visualising Software based on XML-Representations and Call Graphs.
    Proc. 11th IEEE International Workshop on Program Comprehension (IWPC 2003), 2003, long version.

25. M. Hopfner, D. Seipel, J. Wolff von Gudenberg, G. Fischer:
    Reasoning about Source Code in XML-Representation.
    Workshop on Software-Reengineering (WSR 2003), 2003.

26. B. Heumesser, D. Seipel, R.-D. Schimkat, U. Güntzer:
    An Information System for Retrieving and Reasoning about XML-based Mathematical Knowledge.
    Proc. International Conference on Electronic Information and Communication in Mathematics (EIC 2002), Springer LNCS 2730, 2003, pp. 59-71.

27. B. Heumesser, D. Seipel, U. Güntzer:
    Flexible Processing of XML-Based Mathematical Knowledge in a Prolog-Environment.
    Proc. International Conference on Mathematical Knowledge Management (MKM 2003), Springer LNCS 2594, 2003, pp. 133-146.

28. D. Seipel, U. Geske:
    Cardinality Constraints in Disjunctive Deductive Databases.
    in: L. Bertossi, G. Katona, K.-D. Schewe, B. Thalheim (Eds.), Semantics, Springer LNCS 2582, 2003, pp. 179-199.

29. J. Minker, D. Seipel:
    Disjunctive Logic Programming: A Survey and Assessment.
    in A. Kakas, F. Sadri (Eds.), Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, Springer, LNAI 2407, 2002, pp. 472-511.

30. D. Seipel:
    Processing XML-Documents in Prolog.
    Proc. 17th Workshop on Logic Programming (WLP 2002), 2002.

31. M. Hopfner, D. Seipel:
    Reasoning about Rules in Deductive Databases.
    Proc. 17th Workshop on Logic Programming (WLP 2002), 2002.

32. J. Baumeister, D. Seipel:
    Diagnostic Reasoning with Multilevel Set-Covering Models.
    Proceedings 13th International Workshop on Principles of Diagnosis (DX 2002), 2002.

33. J. Baumeister, D. Seipel, F. Puppe:
    Incremental Development of Diagnostic Set-Covering Models with Therapy Effects.
    Proc. KI'2001 Workshop on Uncertainty in Artificial Intelligence (UAI 2001), 2001, and International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 11, suppl. (November 2003), pp. 25-50.

34. D. Seipel:
    Using Clausal Deductive Databases for Defining Semantics in Disjunctive Deductive Databases.
    Annals of Mathematics and Artificial Intelligence, vol. 33, Kluwer Academic Publishers, 2001, pp. 347-378.

35. D. Seipel, U. Geske:
    Solving Cardinality Constraints in (Constraint) Logic Programming.
    Proc. International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), 2001.

36. D. Seipel, U. Geske:
    Cardinality Constraints in Disjunctive Deductive Databases.
    Proc. International Conference on Applications of Prolog (INAP 2000), 2000.

37. D. Seipel:
    Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.
    Proc. of the International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2000), Springer LNCS 1762, 2000, pp. 241-259.

38. D. Seipel:
    Aggregation in Disjunctive Deductive Databases.
    Proc. International Conference on Applications of Prolog (INAP 1999) and Workshop on Deductive Databases and Logic Programming (DDLP 1999), 1999.

39. D. Seipel:
    An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases.
    Proc. Third International Conference on Fexible Query Answering Systems (FQAS 1998), Springer LNAI 1495, 1998, pp. 341-353.

40. F. Jarre, R. Lepenis, D. Seipel:
    Using Linear and Semi-Definite Programming for Computing Models of Disjunctive Deductive Databases.
    Proc. 13th Workshop on Logic Programming 1998 (WLP 1998).

41. D. Seipel:
    Partial Evidential Stable Models For Disjunctive Deductive Databases.
    Proc. Workshop on Logic Programming and Knowledge Representation (LPKR'97) at the International Symposium on Logic Programming 1997 (ILPS 1997), 1997, and Springer LNAI 1471, 1998, pp. 66-84.

42. D. Seipel, J. Minker, C. Ruiz:
    A Characterization Of The Partial Stable Models For Disjunctive Deductive Databases.
    Proc. International Symposium on Logic Programming 1997 (ILPS 1997), MIT Press, 1997, pp. 245-259. Preliminary Report.

43. D. Seipel, J. Minker, C. Ruiz:
    Model Generation and State Generation for Disjunctive Logic Programs.
    Technical Report, University of Maryland, 1995, and: Journal of Logic Programming, vol. 32(1), North-Holland, 1997, pp. 48-69.

44. D. Seipel:
    DisLog - A Disjunctive Deductive Database Prototype.
    Proc. Twelfth Workshop on Logic Programming 1997 (WLP 1997).

45. F. Bry, D. Seipel:
    Deduktive Datenbanken.
    Informatik-Spektrum, vol. 19, Springer, 1996.

46. 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.

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

48. D. Seipel:
    An Efficient Computation of the Extended Generalized Closed-World-Assumption by Support-for-Negation Sets.
    Proc. International Conference on Logic Programming and Automated Reasoning 1994 (LPAR 1994), Springer LNAI 822, 1994, pp. 245-259.

49. D. Seipel, H. Thöne:
    DisLog - A System for Reasoning in Disjunctive Deductive Databases.
    Proc. International Workshop on the Deductive Approach to Information Systems and Databases 1994 (DAISD 1994).

50. D. Seipel, H. Thöne:
    An Application of Disjunctive Logic Programming with Incomplete Information.
    Proc. International Conference on Expert Systems for Development 1994 (ICES 1994), pp. 176-181.

51. D. Seipel:
    Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation.
    Proc. GI-Jahrestagung / IFIP World Computer Congress 1994: Fachgespräch Disjunktive logische Programmierung und disjunktive Datenbanken, Springer, 1994, pp. 53-60.

52. 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.

53. 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).

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

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

56. 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).

57. D. Seipel:
    Decomposition of Linear Recursive Logic Programs.
    Proc. International Workshop on Graph-Theoretic Concepts in Computer Science 1990 (WG 1990), Springer LNCS 484, 1991, pp. 291-310.

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

59. 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.

60. 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.

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

62. 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.

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

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

[Institut] [Lehrstuhl I] [Mitarbeiter] [Vorlesungen] [Veröffentlichungen]

Letzte Änderung: 02.10.2007
Bei Problemen: webmaster@optix.informatik.uni-wuerzburg.de