Browsing E194-05 - Forschungsbereich Compilers and Languages

Showing results 1 to 15 of 15
PreviewAuthors / EditorsTitleTypeIssue Date
Solomakhina Nina - 2014 - Combining ontologies and statistics for sensor data...pdf.jpgSolomakhina, Nina Combining ontologies and statistics for sensor data quality improvementThesis Hochschulschrift 2014
Brocanelli Stefan - 2020 - Declarative adaptive interface monitoring.pdf.jpgBrocanelli, Stefan Declarative adaptive interface monitoringThesis Hochschulschrift 2020
Leutgoeb Alexander - 2016 - Development of a build system for cross-platform...pdf.jpgLeutgöb, Alexander Development of a build system for cross-platform open-source projectsThesis Hochschulschrift 2016
Salcher Fabian - 2016 - Distributed computation of diagnoses for inconsistent...pdf.jpgSalcher, Fabian Distributed computation of diagnoses for inconsistent multi-context systemsThesis Hochschulschrift 2016
Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
Beck Harald - 2013 - Inconsistency management for traffic regulations.pdf.jpgBeck, Harald Inconsistency management for traffic regulationsThesis Hochschulschrift 2013
Xiao Guohui - 2013 - Inline evaluation of hybrid knowledge bases.pdf.jpgXiao, Guohui Inline evaluation of hybrid knowledge basesThesis Hochschulschrift 2013
Kaminski Tobias Dietmar - 2020 - Integrated HEX-Algorithms and Applications in...pdf.jpgKaminski, Tobias Dietmar Integrated HEX-algorithms and applications in machine learningThesis Hochschulschrift 2020
Stashuk Oleksandr - 2013 - Integrating constraint programming into answer set...pdf.jpgStashuk, Oleksandr Integrating constraint programming into answer set programmingThesis Hochschulschrift 2013
Krennwallner Thomas - 2018 - Modular nonmonotonic logic programs.pdf.jpgKrennwallner, Thomas Modular nonmonotonic logic programsThesis Hochschulschrift 2018
Weidinger Gerald - 2013 - OMiGA - an open minded grounding on-the-fly answer set...pdf.jpgWeidinger, Gerald OMiGA - an open minded grounding on-the-fly answer set solverThesis Hochschulschrift 2013
Ahmetaj Shqiponja - 2013 - Planning in graph databases under description logic...pdf.jpgAhmetaj, Shqiponja Planning in graph databases under description logic constraintsThesis Hochschulschrift 2013
PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas  ; Kaminski, Tobias Dietmar ; Balduccini, Marcello  ; Lierler, Yuliya  ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
Gegendorfer Andreas - 2017 - Using Neuroevolution for physics-based character...pdf.jpgGegendorfer, Andreas Using Neuroevolution for physics-based character animation in two dimensionsThesis Hochschulschrift 2017
Oosterhuis Jacco - 2020 - Weight learning in LP MLN for collective...pdf.jpgOosterhuis, Jacco Weight learning in LP MLN for collective classificationThesis Hochschulschrift 2020