http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Symbolic verification of golog programs with first-order bdds

Claßen, Jens^RWTH*

In
CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018 / edited by Gerald Steinbauer (Institute for Software Technology, Technical University of Graz, Graz, Austria), Alexander Ferrein (Mobile Autonomous Systems and Cognitive Robotics Institute, FH Aachen University of Applied Sciences, Aachen, Germany), Seiten/Artikel-Nr: 524-528

2018

Konferenz/Event:16. International Conference on Principles of Knowledge Representation and Reasoning , Tempe, AZ , USA , KR- 2018 , 2018-10-30 - 2018-11-02

Konferenz/Event:11. Cognitive Robotics Workshop , Tempe, AZ , USA , CogRob 2018 , 2018-10-30 - 2018-11-02

Umfang524-528

ISBN9781577358039

Online
URL: https://aaai.org/ocs/index.php/KR/KR18/paper/view/18075

Einrichtungen

1. Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme) (121920)
2. Fachgruppe Informatik (120000)

External link:

Fulltext

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:000492398600057
SCOPUS: SCOPUS:2-s2.0-85068371922

Interne Identnummern
RWTH-2019-10386
Datensatz-ID: 771763

Beteiligte Länder
Germany