2026-06-29 12:13 |
-
Compactness in Semiring SemanticsLIPIcs, Volume 363, CSL 2026Leibniz International Proceedings in Informatics (LIPIcs)
Brinke, S. ; Dawar, A. ; Grädel, E. ; Mrkonjić, L. ; ; et al
LIPIcs, Vol. 363, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026), pages 13:1-13:21, Seiten/Artikel-Nr: 21 pages874507 bytes
DOI: 10.4230/LIPICS.CSL.2026.13
Contribution to a conference proceedings/Contribution to a book
2026
|
2026-06-29 12:03 |
|
2026-06-29 11:57 |
|
2026-06-29 11:10 |
-
Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach
Feng, Q. (Corresponding author) ; Lakemeyer, G. (Corresponding author)
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: 19064-19072
DOI: 10.1609/aaai.v40i23.38979
Contribution to a book/Contribution to a conference proceedings
2026
|
2026-06-25 19:05 |
|
2026-06-25 10:55 |
|
2026-06-25 10:24 |
|
2026-06-25 10:00 |
|
2026-06-24 14:07 |
|
2026-06-24 13:01 |
|
|
|