most citedComparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

cs.AI2023★ 2 cited

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo +1

We present algorithms based on satisfiability problem (SAT) solving, as well as answer set programming (ASP), for solving the problem of determining inconsistency degrees in propos…

cs.RO2019

Scratchy: A Lightweight Modular Autonomous Robot for Robotic Competitions

Raphael Memmesheimer, Isabelle Kuhlmann, Mark Mints +4

We present Scratchy---a modular, lightweight robot built for low budget competition attendances. Its base is mainly built with standard 4040 aluminium profiles and the robot is dri…