Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Stolzmann, Tobias"'
We present the ASP-based visualization tool, clingraph, which aims at visualizing various concepts of ASP by means of ASP itself. This idea traces back to the aspviz tool and clingraph redevelops and extends it in the context of modern ASP systems. M
Externí odkaz:
http://arxiv.org/abs/2303.10118
Autor:
Bokal, Drago, Chimani, Markus, Nover, Alexander, Schierbaum, Jöran, Stolzmann, Tobias, Wagner, Mirko H., Wiedera, Tilo
A $c$-crossing-critical graph is one that has crossing number at least $c$ but each of its proper subgraphs has crossing number less than $c$. Recently, a set of explicit construction rules was identified by Bokal, Oporowski, Richter, and Salazar to
Externí odkaz:
http://arxiv.org/abs/2112.04854
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theory & Practice of Logic Programming; May2024, Vol. 24 Issue 3, p533-559, 27p
Autor:
Stolzmann, Tobias
Moderne Roboter nehmen die Objekte in ihrer Umgebung über Sensoren war, aber sie planen ihre nächsten Schritte auf abstrakte Weise. Um solche Roboter zu bauen, ist es daher unerlässlich, einen Zusammenhang zwischen den Sensordaten und einer abstra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db527acccd418c9ffebeb46e80888db3
Autor:
Stolzmann, Tobias
Diese Bachelorarbeit beschreibt ein Verfahren zur Korrektur inkonsistenter Wissensbasen. Es löst Widersprüche durch möglichst wenige Änderungen auf und wird für abstrakte Logiken auf Basis eines Konsequenzoperators eingeführt. Elementare Eigens
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::814c75545748ab733c697567f8c246e2