The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dietmar Seipel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  48. Declarative Specification and Interpretation of Rule-Based Systems. [Citation Graph (, )][DBLP]


  49. Tracking Topic Evolution in News Environments. [Citation Graph (, )][DBLP]


  50. Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. [Citation Graph (, )][DBLP]


  51. Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002