Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
<p>Forschende der Professur [[Wissensbasierte Systeme]]<p>Forschende der Professur [[Wissensbasierte Systeme]] am Institut für Theoretische Informatik der TU Dresden wurden auf der renommierten [https://kr.org/KR2024/ KR-Konferenz 2024] in Hanoi, Vietnam mit dem Best-Paper-Award im Track "KR in the Wild" geehrt. Die Autoren [[Alex Ivliev]], [[Lukas Gerlach]], [[Simon Meusel]], [[Jakob Steinberg]] und [[Markus Krötzsch]] überzeugten mit ihrem Beitrag [https://iccl.inf.tu-dresden.de/web/Inproceedings3390 "Nemo: Your Friendly and Versatile Rule Reasoning Toolkit"].</p><p>Das ausgezeichnete Paper beschreibt [https://github.com/knowsys/nemo Nemo] – ein Toolkit für regelbasiertes Schließen, welches besonderen Fokus auf Skalierbarkeit, Vielseitigkeit und Benutzerfreundlichkeit legt. Nemo erweitert die bekannte Regel- und Abfragesprache Datalog um zahlreiche nützliche Features wie Aggregate, existentielle Regeln und die Unterstützung zahlreicher Datentypen. Weitere Informationen und eine vollständige Dokumentation sind [https://knowsys.github.io/nemo-doc/ hier] verfügbar. Die Entwicklung von Nemo ist eng mit den Forschungsprojekten [https://www.perspicuous-computing.science CPEC], [https://www.innosale.eu InnoSale] und [https://www.secai.org SECAI] verbunden.</p><p>Die [https://www.kr.org/ International Conference on Principles of Knowledge Representation and Reasoning (KR)] ist eine wichtige Fachkonferenz im Bereich der Künstlichen Intelligenz. Sie beschäftigt sich mit der Frage, wie Wissen in symbolischer Form dargestellt und mit Hilfe von Computersystemen verarbeitet werden kann. Dies ermöglicht es intelligenten Systemen, komplexe Schlüsse zu ziehen, welche aber gleichzeitig für den Menschen nachvollziehbar bleiben. Der [https://www.kr.org/KR2024/cfp_kr_in_the_wild.php „KR in the Wild“-Track] wurde in diesem Jahr erstmals eingeführt und richtete den Fokus auf die Entwicklung von regelbasierten Schließsystemen sowie deren praxisnahe Anwendungen.</p><p>Herzlichen Glückwunsch an Alex, Lukas, Simon, Jakob und Markus!</p>t;/p><p>Herzlichen Glückwunsch an Alex, Lukas, Simon, Jakob und Markus!</p>  
<p>Researchers from the Chair of [[Knowledge-Based Systems]]<p>Researchers from the Chair of [[Knowledge-Based Systems]] at the Institute of Theoretical Computer Science, TU Dresden, received the Best Paper Award in the "KR in the Wild" track at the prestigious conference [https://kr.org/KR2024/ KR 2024] in Hanoi, Vietnam. The authors [[Alex Ivliev]], [[Lukas Gerlach]], [[Simon Meusel]], [[Jakob Steinberg]], and [[Markus Krötzsch]] presented their paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3390 "Nemo: Your Friendly and Versatile Rule Reasoning Toolkit"].</p><p>The award-winning paper describes [https://github.com/knowsys/nemo Nemo], a powerful toolkit for rule-based reasoning that emphasizes scalability, versatility, and ease of use. Nemo extends the popular rule and query language Datalog with numerous useful features such as aggregates, existential rules, and support for various data types. More information and a complete documentation can be found [https://github.com/knowsys/nemo-doc here]. The development of Nemo is closely connected to the research projects [https://www.perspicuous-computing.science CPEC], [https://www.innosale.eu InnoSale], and [https://www.secai.org SECAI].</p><p>The [https://www.kr.org International Conference on Principles of Knowledge Representation and Reasoning (KR)] is an important conference in the field of Artificial Intelligence. It focuses on the symbolic representation of knowledge that can be processed by computer systems, enabling intelligent systems to draw complex, yet humanly comprehensible, conclusions. This year, the [https://www.kr.org/KR2024/cfp_kr_in_the_wild.php "KR in the Wild" track] was introduced for the first time, spotlighting the development of rule-based reasoning systems and their practical applications.</p><p>Congratulations to Alex, Lukas, Simon, Jakob, and Markus!</p>ons.</p><p>Congratulations to Alex, Lukas, Simon, Jakob, and Markus!</p>  +
Best paper nemo.jpeg  +
Datum„Datum <span style="font-size:small;">(Date)</span>“ ist ein <a href="/web/Spezial:Datentypen/Date" title="Spezial:Datentypen/Date">Datentyp</a> für Datumswerte. Er wird Attributen mit Hilfe eines von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> bereitgestellten, softwareseitig fest definierten Attributs (Spezialattribut), zugeordnet.
5. November 2024  +
Best Paper Award für Nemo  +
Best Paper Award for Nemo  +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Best Paper Award für Nemo  +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
3. Dezember 2024, 10:07:48  +
 
Keine Attribute verlinken auf diese Seite.