> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Progression and Verification of Situation Calculus Agents with Bounded Beliefs Beteiligte: De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros Erschienen: Springer Science and Business Media LLC, 2016 Erschienen in: Studia Logica Sprache: Englisch DOI: 10.1007/s11225-015-9626-z ISSN: 0039-3215; 1572-8730 Schlagwörter: History and Philosophy of Science ; Logic Entstehung: Anmerkungen: