• Kontakt
• Forschung/Research
• Lehre
• Microlog

Rule-Based Systems

• Application in Robotics
• Modelling of Side-Effects in Interactive Systems (Microlog)
• Modelling of Constraint Problems
• Compiler
• Query Planning and Optimization
• Benchmarking of Deductive Systems (rbench)

Publication History:

• Robotics and Other Interactive Systems
  • ev3dev-prolog - LEGO Mindstorms ev3 API for Prolog on github
  • ev3dev-prolog – Prolog API for LEGO EV3 - Sibylle Schwarz and Mario Wenzel - LaSh 2019, MOC 2019
  • Controlling Lego EV3 robots with Prolog - Sibylle Schwarz and Mario Wenzel - WFLP 2017 - slides
  • Sharing of side-effects under nondeterminism in Prolog - Mario Wenzel and Jonas Höfer - WLP 2023@KI2023
• Compiler
  • Declarative Programming for Microcontrollers - Datalog on Arduino - Mario Wenzel and Stefan Brass - WLP 2019 - Post-Proceedings
  • Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines - Mario Wenzel and Stefan Brass - LOSPTR 2020
  • Expressivity of the Microlog Language - Mario Wenzel - WLP 2021@KI2021
  • Microlog Abstract Execution and State Enumeration - Mario Wenzel - WLP 2022@KI2022
  • An Abstract Machine for Push Bottom-Up Evaluation of Datalog - Stefan Brass and Mario Wenzel - DEXA 2018
• Integrity Constraints
  • Integrity Constraints for Microcontroller Programming in Datalog - Stefan Brass and Mario Wenzel - ADBIS 2021
• Benchmarking of Deductive Systems
  • Performance Analysis and Comparison of Deductive Systems and SQL Databases - Stefan Brass and Mario Wenzel - Datalog 2.0 2019 - paper
  • A New Benchmark Database and An Analysis of Transitive Closure Runtimes - Stefan Brass and Mario Wenzel - WLP 2018 - paper

Termination

• String Rewriting

Publication History:

• SRS Enumeration
  • Master’s Thesis: “Propositional Sieving of Single-Rule String Rewriting Systems Using Binary Decision Diagrams”
  • Symbolic Enumeration of One-Rule String Rewriting Systems - Alfons Geser, Johannes Waldmann and Mario Wenzel - WST 2016 - paper, slides
  • srs coding calc: Calculate the smallest coding compatible with the rewriting relationship

Computer Science in Teaching

• Declarative instead of Imperative Systems
• Automatic Generation and Grading of Exercises
• Clean Code in Beginner Examples
• Gender-sensitive Courses, Women in STEM

This page was last updated on 2023-09-19.