| Clone detection in source code by frequent itemset techniques V Wahler, D Seipel, J Wolff, G Fischer Source code analysis and manipulation, fourth IEEE international workshop on …, 2004 | 262 | 2004 |
| Unfolding partiality and disjunctions in stable model semantics T Janhunen, I Niemelä, D Seipel, P Simons, JH You ACM Transactions on Computational Logic (TOCL) 7 (1), 1-37, 2006 | 252 | 2006 |
| Processing XML-documents in Prolog D Seipel Proc. 17th Workshop on Logic Programming WLP, 2002 | 60 | 2002 |
| Disjunctive logic programming: A survey and assessment J Minker, D Seipel Computational Logic: Logic Programming and Beyond: Essays in Honour of …, 2002 | 51 | 2002 |
| Anomalies in ontologies with rules J Baumeister, D Seipel Journal of Web Semantics 8 (1), 55-68, 2010 | 45 | 2010 |
| Model generation and state generation for disjunctive logic programs D Seipel, J Minker, C Ruiz The Journal of Logic Programming 32 (1), 49-69, 1997 | 45 | 1997 |
| Smelly Owls-Design Anomalies in Ontologies. J Baumeister, D Seipel FLAIRS 5, 284, 2005 | 43 | 2005 |
| DISLOG-A system for reasoning in disjunctive deductive databases D Seipel, H Thöne Proceedings of the 5th International Workshop on the Deductive Approach to …, 1994 | 35 | 1994 |
| Verification and refactoring of ontologies with rules J Baumeister, D Seipel International Conference on Knowledge Engineering and Knowledge Management …, 2006 | 32 | 2006 |
| Declaratively Querying and Visualizing Knowledge Bases in Xml D Seipel, J Baumeister, M Hopfner International Conference on Applications of Declarative Programming and …, 2004 | 30 | 2004 |
| Tracking topic evolution in news environments M Viermetz, M Skubacz, CN Ziegler, D Seipel 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE …, 2008 | 25 | 2008 |
| Incremental development of diagnostic set-covering models with therapy effects J Baumeister, D Seipel, F Puppe International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems …, 2003 | 25 | 2003 |
| Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies D Seipel, F Nogatz, S Abreu Computer languages, systems & structures 51, 102-117, 2018 | 24 | 2018 |
| Implementing GraphQL as a query language for deductive databases in SWI-Prolog using DCGs, quasi quotations, and dicts F Nogatz, D Seipel arXiv preprint arXiv:1701.00626, 2017 | 24 | 2017 |
| Refactoring methods for knowledge bases J Baumeister, F Puppe, D Seipel Engineering Knowledge in the Age of the Semantic Web: 14th International …, 2004 | 22 | 2004 |
| Partial evidential stable models for disjunctive deductive databases D Seipel Logic Programming and Knowledge Representation: Third International Workshop …, 1998 | 21 | 1998 |
| Declarative methods for the evaluation of ontologies D Seipel, J Baumeister University of Wurzburg, 2004 | 20 | 2004 |
| Analyzing and visualizing prolog programs based on XML-representations D Seipel, M Hopfner, B Heumesser Proc. 13th International Workshop on Logic Programming environments, 2003 | 20 | 2003 |
| Logic and databases: A history of deductive databases J Minker, D Seipel, C Zaniolo Handbook of the History of Logic 9, 571-627, 2014 | 19 | 2014 |
| Diagnostic reasoning with multilevel set-covering models J Baumeister, D Seipel Proceedings of the 13th International Workshop on Principles of Diagnosis …, 2002 | 19 | 2002 |