( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formal Embedding of AgentSpeak(L) in 3APL.

, , , и . Australian Joint Conference on Artificial Intelligence, том 1502 из Lecture Notes in Computer Science, стр. 155-166. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Chandradewana Boer

 

Другие публикации лиц с тем же именем

On the Nature of Symbolic Execution., и . SYNASC, стр. 4-5. IEEE, (2019)From SOS to Asynchronously Communicating Actors., , , и . SEFM Workshops, том 12226 из Lecture Notes in Computer Science, стр. 269-275. Springer, (2019)Modeling Real-Time in Concurrent Constraint Programming., и . GULP-PRODE, стр. 101-112. (1995)Concurrent Logic Programming: Asynchronism and Language Comparison., и . NACLP, стр. 175-194. MIT Press, (1990)Compositional Semantics for Concurrent Object Groups in ABS., и . Principled Software Development, стр. 87-98. Springer, (2018)Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages., , , , и . Gabbrielli's Festschrift, том 86 из OASIcs, стр. 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Logic of Separation Logic: Models and Proofs., , и . TABLEAUX, том 14278 из Lecture Notes in Computer Science, стр. 407-426. Springer, (2023)Semantics of plan revision in intelligent agents., , и . Theor. Comput. Sci., 351 (2): 240-257 (2006)A proof outline logic for object-oriented programming., и . Theor. Comput. Sci., 343 (3): 413-442 (2005)SymPaths: Symbolic Execution Meets Partial Order Reduction., , , , , и . 20 Years of KeY, том 12345 из Lecture Notes in Computer Science, Springer, (2020)