h1

h2

h3

h4

h5
h6

Zusammenfassungen

Letzte Einträge:
2026-07-07
09:35
2026-07-06
12:04
  • A Framework for Belief-based Programs and Their Verification (Abstract Reprint)

    ;

    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

    DOI: 10.1609/aaai.v40i47.41390

    Abstract/Contribution to a book/Contribution to a conference proceedings 2026
2026-07-01
14:43
2026-06-29
12:17
2026-06-24
11:35
2026-06-23
10:46
2026-06-22
07:58
2026-06-19
09:44
2026-06-18
18:37
2026-06-16
13:26