نتایج جستجو برای: interpreting
تعداد نتایج: 27246 فیلتر نتایج به سال:
Journal:
:Lecture Notes in Computer Science
2023
Abstract Knowledge-based programs specify multi-agent protocols with epistemic guards that abstract from how agents learn and record facts or information about other the environment. Their interpretation involves a non-monotone mutual dependency between evaluation of over reachable states derivation depending on guards. We apply technique must/cannot analysis invented for synchronous programmin...
Journal:
:Proceedings of the National Academy of Sciences
2013
Journal:
:Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences
1997
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید