AUGER
发表于 2025-3-25 07:18:19
Logic, Rationality, and Interaction978-3-642-24130-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
podiatrist
发表于 2025-3-25 09:00:32
http://reply.papertrans.cn/59/5881/588079/588079_22.png
Psa617
发表于 2025-3-25 12:26:34
http://reply.papertrans.cn/59/5881/588079/588079_23.png
欺骗手段
发表于 2025-3-25 18:09:29
http://reply.papertrans.cn/59/5881/588079/588079_24.png
maculated
发表于 2025-3-25 22:08:40
http://reply.papertrans.cn/59/5881/588079/588079_25.png
Lucubrate
发表于 2025-3-26 00:15:18
Update Semantics for Imperatives with Priorities,es are ranked. We propose a new update semantics to interpret the meaning of imperatives with priorities and illustrate what changes they bring about in the addressee’s cognitive state. The general properties of the semantics, as well as its core philosophical ideas are discussed extensively in this paper.
纹章
发表于 2025-3-26 04:42:15
A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modell and the notion of epistemic action (as the action of learning that a certain fact . is true.) The logic is applied to the formalization of expectation-based emotions such as hope, fear, disappointment and relief, and of their intensity.
Isolate
发表于 2025-3-26 10:01:00
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence,und and complete axiomatization of this relation is given. It has been shown previously that the same axiomatic system describes independence in probability theory, information flow, and concurrency theory.
雪白
发表于 2025-3-26 14:57:36
Seeing, Knowledge and Common Knowledge,tial applications are video games and robotics. Contrary to the classical epistemic modal logic, we prove that in some configurations the logic with the common knowledge operator is as expressive as the logic without the common knowledge operator. We give some complexity results about the model-checking.
有毒
发表于 2025-3-26 20:40:11
https://doi.org/10.1007/978-3-642-24130-7classical logic; distributed knowledge; measurement theory; representation theorem; semantics