Dietmar Seipel

103 papers A* 1B 8C 3Misc 5Journal 19Unranked 48

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Algebraic Approach to Weighted Answer-set Programming. CoRR Francisco Coelho, Bruno Dinis, Dietmar Seipel, Salvador Abreu
2025	—	`conf`	Elements for Weighted Answer-Set Programming. SLATE Francisco Coelho, Bruno Dinis, Dietmar Seipel, Salvador Abreu
2024	J	`jnl`	Integrated Simulation and Calibration Framework for Heating System Optimization. Sensors Kirill Djebko, Daniel Weidner, Marcel Waleska, Timo Krey, Sven Rausch, Dietmar Seipel, Frank Puppe
2023	Misc	`ed.`	KI 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings KI Dietmar Seipel, Alexander Steen
2023	—	`conf`	Post-mining on Association Rule Bases. ECAI Workshops (2) Dietmar Seipel, Marcel Waleska, Daniel Weidner, Sven Rausch, Martin Atzmueller
2023	—	`conf`	Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. SLATE Dietmar Seipel, Benjamin Förster, Magnus Liebl, Marcel Waleska, Salvador Abreu
2021	J	`jnl`	Applying ASP for Knowledge-Based Link Prediction With Explanation Generation in Feature-Rich Networks. IEEE Trans. Netw. Sci. Eng. Çiçek Güven, Dietmar Seipel, Martin Atzmueller
2021	—	`conf`	Intelligent Query Answering with Contextual Knowledge for Relational Databases. SLATE Dietmar Seipel, Daniel Weidner, Salvador Abreu
2020	—	`ed.`	Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers DECLARE Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
2019	—	`conf`	Alexa, How Can I Reason with Prolog? SLATE Falco Nogatz, Julia Kübert, Dietmar Seipel, Salvador Abreu
2019	—	`conf`	Definite Clause Grammars with Parse Trees: Extension for Prolog. SLATE Falco Nogatz, Dietmar Seipel, Salvador Abreu
2019	J	`jnl`	Finding Maximal Non-Redundant Association Rules in Tennis Data. CoRR Daniel Weidner, Martin Atzmueller, Dietmar Seipel
2019	—	`conf`	Finding Maximal Non-redundant Association Rules in Tennis Data. DECLARE Daniel Weidner, Martin Atzmueller, Dietmar Seipel
2019	J	`jnl`	Pre-proceedings of the DECLARE 2019 Conference. CoRR Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel
2019	J	`jnl`	Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations. CoRR Martin Atzmueller, Çiçek Güven, Dietmar Seipel
2018	B	`conf`	CHR.js: A CHR Implementation in JavaScript. RuleML+RR Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel
2018	—	`ed.`	Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers DECLARE Dietmar Seipel, Michael Hanus, Salvador Abreu
2018	J	`jnl`	Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. Comput. Lang. Syst. Struct. Dietmar Seipel, Falco Nogatz, Salvador Abreu
2018	C	`conf`	Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description. PPDP Falco Nogatz, Jona Kalkus, Dietmar Seipel
2017	—	`conf`	Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. WLP / WFLP Falco Nogatz, Dietmar Seipel
2017	—	`conf`	Knowledge Engineering for Hybrid Deductive Databases. WLP / WFLP Dietmar Seipel
2017	—	`conf`	Source Code Verification for Embedded Systems using Prolog. WLP / WFLP Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro
2016	—	`conf`	Declarative Rules for Annotated Expert Knowledge in Change Management. SLATE Dietmar Seipel, Rüdiger von der Weth, Salvador Abreu, Falco Nogatz, Alexander Werner
2014	—	`conf`	CAPJA - A Connector Architecture for Prolog and Java. KESE@ECAI Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
2014	—	`conf`	Declarative Evaluation of Ontologies with Rules. WLP/WFLP Dietmar Seipel, Joachim Baumeister, Klaus Prätor
2014	—	`ch.`	Logic and Databases: A History of Deductive Databases. Computational Logic Jack Minker, Dietmar Seipel, Carlo Zaniolo
2014	—	`conf`	PPI - A Portable Prolog Interface for Java. WLP/WFLP Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
2013	—	`conf`	A Prolog Framework for Integrating Business Rules into Java Applications. KESE Ludwig Ostermayer, Dietmar Seipel
2013	—	`ed.`	Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers INAP/WLP Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
2012	—	`conf`	Mining Complex Event Patterns in Computer Networks. NFMCP Dietmar Seipel, Philipp Neubeck, Stefan Köhler, Martin Atzmueller
2011	—	`ed.`	Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers INAP Salvador Abreu, Dietmar Seipel
2010	J	`jnl`	Anomalies in ontologies with rules. J. Web Semant. Joachim Baumeister, Dietmar Seipel
2009	—	`ed.`	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 INAP/WLP Dietmar Seipel, Michael Hanus, Armin Wolf
2009	—	`conf`	Declarative Parsing and Annotation of Electronic Dictionaries. NLPCS Christian Schneiker, Dietmar Seipel, Werner Wegstein, Klaus Prätor
2009	—	`conf`	JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements. INAP Dietmar Seipel, Andreas M. Boehm, Markus Fröhlich
2009	—	`conf`	Schema and Variation: Digitizing Printed Dictionaries. Linguistic Annotation Workshop Christian Schneiker, Dietmar Seipel, Werner Wegstein
2009	—	`conf`	Searching in Protein State Space. INAP Dietmar Seipel, Jörg Schultz
2008	Misc	`conf`	Declarative Specification and Interpretation of Rule-Based Systems. FLAIRS Dietmar Seipel, Joachim Baumeister
2008	—	`conf`	Tracking Topic Evolution in News Environments. CEC/EEE Maximilian Viermetz, Michal Skubacz, Cai-Nicolas Ziegler, Dietmar Seipel
2007	—	`ed.`	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 KESE Joachim Baumeister, Dietmar Seipel
2007	—	`conf`	Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. INAP/WLP Andreas M. Boehm, Dietmar Seipel, Albert Sickmann, Matthias Wetzka
2007	Misc	`conf`	Towards the Verification of Ontologies with Rules. FLAIRS Joachim Baumeister, Thomas Kleemann, Dietmar Seipel
2007	—	`conf`	Using Declarative Specifications of Domain Knowledge for Descriptive Data Mining. INAP/WLP Martin Atzmüller, Dietmar Seipel
2006	—	`conf`	A Tool for Analyzing and Tuning Relational Database Applications: SQL Query Analyzer and Schema EnHancer (SQUASH). Grundlagen von Datenbanken Andreas M. Boehm, Matthias Wetzka, Albert Sickmann, Dietmar Seipel
2006	—	`ed.`	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 INAP Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata
2006	J	`jnl`	Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2006	B	`conf`	Verification and Refactoring of Ontologies with Rules. EKAW Joachim Baumeister, Dietmar Seipel
2005	—	`conf`	A PROLOG Tool for Slicing Source Code. W(C)LP Marbod Hopfner, Dietmar Seipel, Joachim Baumeister
2005	J	`jnl`	Anfragesprachen für das Semantic Web. Inform. Spektrum Joachim Baumeister, Dietmar Seipel
2005	—	`ed.`	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 INAP/WLP Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
2005	Misc	`conf`	Smelly Owls - Design Anomalies in Ontologies. FLAIRS Joachim Baumeister, Dietmar Seipel
2005	B	`conf`	User-centered consultation by a society of agents. K-CAP Georg Buscher, Joachim Baumeister, Frank Puppe, Dietmar Seipel
2005	—	`conf`	XML Transformations based on Logic Programming. W(C)LP Dietmar Seipel, Klaus Prätor
2004	J	`jnl`	An Agile Process Model for Developing Diagnostic Knowledge Systems. Künstliche Intell. Joachim Baumeister, Frank Puppe, Dietmar Seipel
2004	C	`conf`	Clone Detection in Source Code by Frequent Itemset Techniques. SCAM Vera Wahler, Dietmar Seipel, Jürgen Wolff von Gudenberg, Gregor Fischer
2004	—	`conf`	Declaratively Querying and Visualizing Knowledge Bases in Xml. INAP/WLP Dietmar Seipel, Joachim Baumeister, Marbod Hopfner
2004	—	`ed.`	Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings FoIKS Dietmar Seipel, Jose Maria Turull Torres
2004	J	`jnl`	Integration of Data in Pathogenomics: Three Layers of cellular complexity and an XML-based Framework. J. Integr. Bioinform. M. Dünßer, R. Lampidis, Steffen Schmidt, Dietmar Seipel, Thomas Dandekar
2004	—	`conf`	Matching web site structure and content. WWW (Alternate Track Papers & Posters) Vassil Gedov, Carsten Stolz, Ralph Neuneier, Michal Skubacz, Dietmar Seipel
2004	B	`conf`	Refactoring Methods for Knowledge Bases. EKAW Joachim Baumeister, Frank Puppe, Dietmar Seipel
2004	Misc	`conf`	Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems. FLAIRS Joachim Baumeister, Dietmar Seipel, Frank Puppe
2004	—	`conf`	Web Services Based on Prolog and Xml. INAP/WLP Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel
2003	—	`conf`	An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. MKM Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer
2003	—	`conf`	Analyzing and Visualising Prolog programs based on XML representations. WLPE Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser
2003	—	`conf`	Comprehending and Visualizing Software Based on XML - Representations and Call Graphs. IWPC Marbod Hopfner, Dietmar Seipel, Jürgen Wolff von Gudenberg
2003	J	`jnl`	Incremental Development of Diagnostic Set-Covering Models with Therapy Effects. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Joachim Baumeister, Dietmar Seipel, Frank Puppe
2003	J	`jnl`	Reasoning about Source Code in XML-Representation. Softwaretechnik-Trends Marbod Hopfner, Dietmar Seipel, Jürgen Wolff von Gudenberg, Gregor Fischer
2003	J	`jnl`	Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2002	—	`conf`	An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge. Electronic Information and Communication in Mathematics Bernd D. Heumesser, Dietmar Seipel, Ralf-Dieter Schimkat, Ulrich Güntzer
2002	—	`conf`	Disjunctive Logic Programming: A Survey and Assessment. Computational Logic: Logic Programming and Beyond Jack Minker, Dietmar Seipel
2001	—	`conf`	Cardinality Constraints in Disjunctive Deductive Databases. Semantics in Databases Dietmar Seipel, Ulrich Geske
2001	—	`conf`	Introduction to Part III: Decision Support by Advanced Logic Programming. INAP (LNCS Volume) Ulrich Geske, Dietmar Seipel
2001	J	`jnl`	Using clausal deductive databases for defining semantics in disjunctive deductive databases. Ann. Math. Artif. Intell. Dietmar Seipel
2000	—	`ed.`	14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. WLP François Bry, Ulrich Geske, Dietmar Seipel
2000	—	`conf`	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. FoIKS Dietmar Seipel
2000	—	`conf`	Preface. WLP François Bry, Ulrich Geske, Dietmar Seipel
2000	—	`ed.`	WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. WLP Slim Abdennadher, Ulrich Geske, Dietmar Seipel
1998	C	`conf`	An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. FQAS Dietmar Seipel
1998	—	`ed.`	Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98 DDLP Piero Fraternali, Ulrich Geske, Carolina Ruiz, Dietmar Seipel
1997	—	`conf`	A Characterization of the Partial Stable Models For Disjunctive Databases. ILPS Dietmar Seipel, Jack Minker, Carolina Ruiz
1997	—	`conf`	DisLog - A Disjunctive Deductive Database Prototype (system description). WLP Dietmar Seipel
1997	J	`jnl`	Model Generation and State Generation for Disjunctive Logic Programs. J. Log. Program. Dietmar Seipel, Jack Minker, Carolina Ruiz
1997	—	`conf`	Partial Evidential Stable Models for Disjunctive Deductive Databases. LPKR Dietmar Seipel
1997	—	`ed.`	Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted Papers DDLP Ulrich Geske, Carolina Ruiz, Dietmar Seipel
1997	—	`ed.`	Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10. WLP François Bry, Burkhard Freitag, Dietmar Seipel
1996	J	`jnl`	Deduktive Datenbanken - das aktuelle Schlagwort. Inform. Spektrum François Bry, Dietmar Seipel
1996	—	`ed.`	Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996 DDLP Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel
1995	—	`ed.`	Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995 Deductive Databases / Abduction in Deductive Databases Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí
1995	—	`conf`	Mixed Fixpoint Theory for Disjunktive Deductive Databases. WLP Dietmar Seipel, Ulrich Güntzer
1994	—	`conf`	A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. WLP Dietmar Seipel
1994	B	`conf`	An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets. LPAR Dietmar Seipel
1994	—	`conf`	DISLOG - A System for in Disjunctive Deductive Databases. DAISD Dietmar Seipel, Helmut Thöne
1994	J	`jnl`	Graph-Based Processing of Logic Programs. Computers and Artificial Intelligence Dietmar Seipel
1994	—	`conf`	Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. GI Jahrestagung Dietmar Seipel
1994	—	`ed.`	Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994 Workshop on Deductive Databases and Logic Programming Ulrich Geske, Dietmar Seipel
1993	—	`conf`	A Data Structure for Efficient Deduction in Disjunctive Logic Programs. WLP Dietmar Seipel, Hans Argenton
1992	—	`conf`	Wavefront Techniques for Recursive Logic Programs. Workshop on Deductive Databases, JICSLP Dietmar Seipel, Hans Argenton
1990	B	`conf`	Decomposition of Linear Recursive Logic Programs. WG Dietmar Seipel
1989	—	`—`	Decomposition in Database and Knowledge-Base Systems. Dietmar Seipel
1988	B	`conf`	A Graph-Based Decomposition Approach for Recursive Query Processing. WG Dietmar Seipel
1987	—	`conf`	Designing Alpha-Acyclic BCNF-Database Schemes. MFDBS Detlev Ruland, Dietmar Seipel
1987	B	`conf`	Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques. WG Dietmar Seipel, Detlev Ruland
1986	A*	`conf`	Alpha-Acyclic Decompositions of Relational Database Schemes. PODS Detlev Ruland, Dietmar Seipel