Search Results - Seipel, Dietmar

Refine Results
  1. 1
    Integrated Simulation and Calibration Framework for Heating System Optimization

    Integrated Simulation and Calibration Framework for Heating System Optimization by Djebko, Kirill, Weidner, Daniel, Waleska, Marcel, Krey, Timo, Rausch, Sven, Seipel, Dietmar, Puppe, Frank

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Knowledge Engineering for Hybrid Deductive Databases

    Knowledge Engineering for Hybrid Deductive Databases by Seipel, Dietmar

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts

    Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts by Nogatz, Falco, Seipel, Dietmar

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Source Code Verification for Embedded Systems using Prolog

    Source Code Verification for Embedded Systems using Prolog by Flederer, Frank, Ostermayer, Ludwig, Seipel, Dietmar, Montenegro, Sergio

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Applying ASP for Knowledge-Based Link Prediction With Explanation Generation in Feature-Rich Networks

    Applying ASP for Knowledge-Based Link Prediction With Explanation Generation in Feature-Rich Networks by Guven, Cicek, Seipel, Dietmar, Atzmueller, Martin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies

    Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies by Seipel, Dietmar, Nogatz, Falco, Abreu, Salvador

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Knowledge Engineering for Hybrid Deductive Databases

    Knowledge Engineering for Hybrid Deductive Databases by Seipel, Dietmar

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Unfolding partiality and disjunctions in stable model semantics

    Unfolding partiality and disjunctions in stable model semantics by Janhunen, Tomi, Niemelä, Ilkka, Seipel, Dietmar, Simons, Patrik, You, Jia-Huai

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Using clausal deductive databases for defining semantics in disjunctive deductive databases

    Using clausal deductive databases for defining semantics in disjunctive deductive databases by Seipel, Dietmar

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts

    Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts by Falco Nogatz, Seipel, Dietmar

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004)

    Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004) by Seipel, Dietmar, Turull-Torres, J. M.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations

    Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations by Atzmueller, Martin, Cicek Güven, Seipel, Dietmar

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Finding Maximal Non-Redundant Association Rules in Tennis Data

    Finding Maximal Non-Redundant Association Rules in Tennis Data by Weidner, Daniel, Atzmueller, Martin, Seipel, Dietmar

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Source Code Verification for Embedded Systems using Prolog

    Source Code Verification for Embedded Systems using Prolog by Flederer, Frank, Ostermayer, Ludwig, Seipel, Dietmar, Montenegro, Sergio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Anfragesprachen f r das Semantic Web

    Anfragesprachen f r das Semantic Web by Baumeister, Joachim, Seipel, Dietmar

    Published in Informatik-Spektrum
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Pre-proceedings of the DECLARE 2019 Conference

    Pre-proceedings of the DECLARE 2019 Conference by Abreu, Salvador, Hofstedt, Petra, Ulrich, John, Kuchen, Herbert, Seipel, Dietmar

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Clone detection in source code by frequent itemset techniques

    Clone detection in source code by frequent itemset techniques by Wahler, V., Seipel, D., Wolff, J., Fischer, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Tracking Topic Evolution in News Environments

    Tracking Topic Evolution in News Environments by Viermetz, M., Skubacz, M., Ziegler, C.-N., Seipel, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Diagnostic Reasoning with Multilevel Set-Covering Models

    Diagnostic Reasoning with Multilevel Set-Covering Models by Baumeister, Joachim, Seipel, Dietmar

    Request full text
    Report
    Save to List
    Saved in:
  20. 20
    Model generation and state generation for disjunctive logic programs

    Model generation and state generation for disjunctive logic programs by Seipel, Dietmar, Minker, Jack, Ruiz, Carolina

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: