 | 2009 |
|---|
| 58 |       | Dietmar 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 |
|---|
| 57 | | Maximilian Viermetz,
Michal Skubacz,
Cai-Nicolas Ziegler,
Dietmar Seipel:
Tracking Topic Evolution in News Environments.
CEC/EEE 2008: 215-220 |
| 56 |  | Dietmar Seipel,
Joachim Baumeister:
Declarative Specification and Interpretation of Rule-Based Systems.
FLAIRS Conference 2008: 359-364 |
| 2007 |
|---|
| 55 | | 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 |
| 54 | | Joachim Baumeister,
Thomas Kleemann,
Dietmar Seipel:
Towards the Verification of Ontologies with Rules.
FLAIRS Conference 2007: 524-529 |
| 53 | | Martin Atzmüller,
Dietmar Seipel:
Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining.
INAP/WLP 2007: 149-164 |
| 52 | | 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 |
| 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 |
| 50 | | Joachim Baumeister,
Dietmar Seipel:
Verification and Refactoring of Ontologies with Rules.
EKAW 2006: 82-95 |
| 49 | | 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 |
| 48 | | 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) |
| 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 |
| 45 | | Georg 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 |
| 42 | | Joachim 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 |
| 40 | | Joachim 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 |
| 38 | | Dietmar Seipel,
Joachim Baumeister,
Marbod Hopfner:
Declaratively Querying and Visualizing Knowledge Bases in Xml.
INAP/WLP 2004: 16-31 |
| 37 | | Bernd D. Heumesser,
Andreas Ludwig,
Dietmar Seipel:
Web Services Based on Prolog and Xml.
INAP/WLP 2004: 245-257 |
| 36 | | Vera Wahler,
Dietmar Seipel,
Jürgen Wolff von Gudenberg,
Gregor Fischer:
Clone Detection in Source Code by Frequent Itemset Techniques.
SCAM 2004: 128-135 |
| 35 | | Vassil Gedov,
Carsten Stolz,
Ralph Neuneier,
Michal Skubacz,
Dietmar Seipel:
Matching web site structure and content.
WWW (Alternate Track Papers & Posters) 2004: 286-287 |
| 34 | | 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) |
| 33 | | Joachim Baumeister,
Frank Puppe,
Dietmar Seipel:
An Agile Process Model for Developing Diagnostic Knowledge Systems.
KI 18(3): 12-16 (2004) |
| 2003 |
|---|
| 32 | | Marbod Hopfner,
Dietmar Seipel,
Jürgen Wolff von Gudenberg:
Comprehending and Visualizing Software Based on XML - Representations and Call Graphs.
IWPC 2003: 290-291 |
| 31 | | 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 |
| 30 | | Dietmar Seipel,
Marbod Hopfner,
Bernd D. Heumesser:
Analyzing and Visualising Prolog programs based on XML representations.
WLPE 2003: 31-45 |
| 29 | | Tomi Janhunen,
Ilkka Niemelä,
Dietmar Seipel,
Patrik Simons,
Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics
CoRR cs.AI/0303009: (2003) |
| 28 | | 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) |
| 2002 |
|---|
| 27 | | Jack Minker,
Dietmar Seipel:
Disjunctive Logic Programming: A Survey and Assessment.
Computational Logic: Logic Programming and Beyond 2002: 472-511 |
| 26 | | 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 |
| 2001 |
|---|
| 25 | | Ulrich Geske,
Dietmar Seipel:
Introduction to Part III: Decision Support by Advanced Logic Programming.
INAP (LNCS Volume) 2001: 147-150 |
| 24 | | Dietmar 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 |
|---|
| 22 | | Dietmar 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 |
|---|
| 20 | | Dietmar 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 |
| 18 | | Dietmar 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 |
|---|
| 3 | | Detlev 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 |
|---|
| 1 | | Detlev Ruland,
Dietmar Seipel:
Alpha-Acyclic Decompositions of Relational Database Schemes.
PODS 1986: 191-201 |
