From post

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.

, , и . ATAL, том 1555 из Lecture Notes in Computer Science, стр. 177-193. 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.

 

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

An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning., , , и . AOIS, том 3529 из Lecture Notes in Computer Science, стр. 216-230. Springer, (2005)Requirements Analysis of an Agent's Reasoning Capability., , и . AOIS, том 3529 из Lecture Notes in Computer Science, стр. 48-63. Springer, (2005)Visual and Textual Knowledge Representation in DESIRE., , , , и . IEA/AIE, том 1611 из Lecture Notes in Computer Science, стр. 306-315. Springer, (1999)A Formal Knowledge Level Process Model of Requirements Engineering., , , и . IEA/AIE, том 1611 из Lecture Notes in Computer Science, стр. 869-878. Springer, (1999)An Agent Model of Temporal Dynamics in Relapse and Recurrence in Depression., , и . IEA/AIE, том 5579 из Lecture Notes in Computer Science, стр. 36-45. Springer, (2009)Constructive Default Logic and the Control of defeasible reasoning., и . ECAI, стр. 299-303. John Wiley and Sons, (1992)A Cognitive Agent Model Incorporating Prior and Retrospective Ownership States for Actions.. IJCAI, стр. 1743-1749. IJCAI/AAAI, (2011)A Cognitive Agent Model Displaying and Regulating Different Social Response Patterns.. IJCAI, стр. 1735-1742. IJCAI/AAAI, (2011)Case Analysis of Criminal Behaviour., , и . IEA/AIE, том 4570 из Lecture Notes in Computer Science, стр. 621-632. Springer, (2007)Integration of Behavioural Requirements Specification within Knowledge Engineering., , , и . EKAW, том 1621 из Lecture Notes in Computer Science, стр. 173-190. Springer, (1999)