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

A Framework for Belief-based Programs and Their Verification (Abstract Reprint)

Liu, Daxin ; Lakemeyer, Gerhard^RWTH*

In
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence : Fortieth AAAI Conference on Artificial Intelligence/Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence/Sixteenth Symposium on Educational Advances in Artificial Intelligence : January 20-27, 2026, Singapore / edited by Sven Koenig, Chad Jenkins, Matthew E. Taylor ; sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 39875-39875

2026

Konferenz/Event:40. AAAI Conference on Artificial Intelligence , Singapore , Singapore , AAAI 2026 , 2026-01-20 - 2026-01-27

Konferenz/Event:16. Symposium on Educational Advances in Artificial Intelligence 38. Conference on Innovative Applications of Artificial Intelligence , Singapore Singapore , Singapore Singapore , EAAI-26 IAAI 2026 , 2026-01-24 - 2026-01-26 2026-01-20 - 2026-01-24

ImpressumWashington, DC : AAAI Press

Umfang39875-39875

ISBN1-57735-906-2, 978-1-57735-906-7

ReiheProceedings of the AAAI Conference on Artificial Intelligence ; 40, 47

Online
DOI: 10.1609/aaai.v40i47.41390
10.1609/aaai.v40i47.41390

Einrichtungen

1. Lehr- und Forschungsgebiet Wissensbasierte Systeme (121920)
2. RWTH Center for Artificial Intelligence (121004)

Dokumenttyp
Abstract/Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Externe Identnummern
WOS Core Collection: WOS:001769914400053

Interne Identnummern
RWTH-2026-06502
Datensatz-ID: 1038400

Beteiligte Länder
Germany, Peoples R China