Author of the publication

SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II

, , , , , , and (Eds.) Institute of Computer Science AS CR, Prague, (2007)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Logical Foundations of Agent-Based Computing.. EASSS, volume 2086 of Lecture Notes in Computer Science, page 50-73. Springer, (2001)Seeing is Believing., , and . AI*IA, volume 992 of Lecture Notes in Computer Science, page 402-413. Springer, (1995)Graded Modalities in Epistemic Logic., and . LFCS, volume 620 of Lecture Notes in Computer Science, page 503-514. Springer, (1992)Process Algebra for Agent Communication: A General Semantic Approach., , , and . Communication in Multiagent Systems, volume 2650 of Lecture Notes in Computer Science, page 113-128. Springer, (2003)Agent Programming with Declarative Goals., , , and . ATAL, volume 1986 of Lecture Notes in Computer Science, page 228-243. Springer, (2000)A Truly Concurrent Model for Interacting Agents., , , and . PRIMA, volume 2132 of Lecture Notes in Computer Science, page 16-30. Springer, (2001)A Formal Embedding of AgentSpeak(L) in 3APL., , , and . Australian Joint Conference on Artificial Intelligence, volume 1502 of Lecture Notes in Computer Science, page 155-166. Springer, (1998)Revising and Updating Using a Back-Up Semantics., and . JELIA, volume 1126 of Lecture Notes in Computer Science, page 388-403. Springer, (1996)Tractable multiagent planning for epistemic goals., and . AAMAS, page 1167-1174. ACM, (2002)Knowledge and control., , and . AAMAS, page 719-726. IFAAMAS, (2011)