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 architecture for multi-attribute negotiation using incomplete preference information., , и . Auton. Agents Multi Agent Syst., 15 (2): 221-252 (2007)Heuristic reasoning and relative incompleteness.. Int. J. Approx. Reason., 8 (1): 51-87 (1993)Decision Making Under Acute Stress Modeled by an Adaptive Temporal-Causal Network Model., и . Vietnam. J. Comput. Sci., 7 (4): 433-452 (2020)On Becoming in Sync with Yourself and Others: An Adaptive Agent Model for How Persons Connect by Detecting Intrapersonal and Interpersonal Synchrony., , , , и . Hum. Centric Intell. Syst., 3 (2): 123-146 (апреля 2023)Specification, analysis and simulation of the dynamics within an organisation., , и . Appl. Intell., 27 (2): 131-152 (2007)Formal analysis of trace conditioning., , , , и . Cogn. Syst. Res., 8 (1): 36-47 (2007)An adaptive modelling approach to employee burnout in the context of the big five personality traits., , , и . Cogn. Syst. Res., (июня 2023)An adaptive network model of the role of the microbiome-gut-brain axis in insomnia., , , и . Cogn. Syst. Res., (марта 2023)Modeling the emergence of informational content by adaptive networks for temporal factorisation and criterial causation.. Cogn. Syst. Res., (2021)Principles of component-based design of intelligent agents., , и . Data Knowl. Eng., 41 (1): 1-27 (2002)