Dietmar Seipel
Affiliations:- University of Würzburg, Germany
According to our database1,
Dietmar Seipel
authored at least 81 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Sensors, February, 2024
2023
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge.
Proceedings of the 12th Symposium on Languages, Applications and Technologies, 2023
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023
2021
Applying ASP for Knowledge-Based Link Prediction With Explanation Generation in Feature-Rich Networks.
IEEE Trans. Netw. Sci. Eng., 2021
Proceedings of the 10th Symposium on Languages, Applications and Technologies, 2021
2019
Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations.
CoRR, 2019
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019
Proceedings of the Declarative Programming and Knowledge Management, 2019
2018
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies.
Comput. Lang. Syst. Struct., 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018
2017
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts.
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
2016
Proceedings of the 5th Symposium on Languages, Applications and Technologies, 2016
2014
Proceedings of the Computational Logic, 2014
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014
Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence (ECAI 2014), 2014
2013
Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), 2013
2012
Proceedings of the New Frontiers in Mining Complex Patterns - First International Workshop, 2012
2010
2009
Declarative Parsing and Annotation of Electronic Dictionaries.
Proceedings of the Natural Language Processing and Cognitive Science, 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Third Linguistic Annotation Workshop, 2009
2008
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008
2007
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
2006
ACM Trans. Comput. Log., 2006
A Tool for Analyzing and Tuning Relational Database Applications: SQL Query Analyzer and Schema EnHancer (SQUASH).
Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006
Proceedings of the Managing Knowledge in a World of Networks, 2006
2005
XML Transformations based on Logic Programming.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
A PROLOG Tool for Slicing Source Code.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005
Proceedings of the 3rd International Conference on Knowledge Capture (K-CAP 2005), 2005
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005
2004
Künstliche Intell., 2004
Integration of Data in Pathogenomics: Three Layers of cellular complexity and an XML-based Framework.
J. Integr. Bioinform., 2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004
Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004
2003
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2003
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003
Analyzing and Visualising Prolog programs based on XML representations.
Proceedings of the 13th International Workshop on Logic Programming Environments, 2003
Comprehending and Visualizing Software Based on XML - Representations and Call Graphs.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003
2002
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge.
Proceedings of the Electronic Information and Communication in Mathematics, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
Using clausal deductive databases for defining semantics in disjunctive deductive databases.
Ann. Math. Artif. Intell., 2001
Proceedings of the Semantics in Databases, 2001
Proceedings of the Web Knowledge Management and Decision Support, 2001
2000
Preface.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.
Proceedings of the Foundations of Information and Knowledge Systems, 2000
1998
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998
1997
J. Log. Program., 1997
DisLog - A Disjunctive Deductive Database Prototype (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997
A Characterization of the Partial Stable Models For Disjunctive Databases.
Proceedings of the Logic Programming, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
1996
1995
Mixed Fixpoint Theory for Disjunktive Deductive Databases.
Proceedings of the 11. Workshop Logische Programmierung, 1995
1994
Graph-Based Processing of Logic Programs.
Computers and Artificial Intelligence, 1994
A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics.
Proceedings of the Tenth Logic Programming Workshop, 1994
An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994
DISLOG - A System for in Disjunctive Deductive Databases.
Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994
1993
A Data Structure for Efficient Deduction in Disjunctive Logic Programs.
Proceedings of the 9. Workshop Logische Programmierung, 1993
1992
Wavefront Techniques for Recursive Logic Programs.
Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992
1990
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1990
1989
1988
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1988
1987
Designing Gamma-Acyclic Database Schemes Using Decomposition and Augmentation Techniques.
Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987
1986
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986