The new “Logic for Diffusion in Soc

The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents.

ผลลัพธ์ (ไทย) 1:

ใหม่ "ตรรกะการแพร่ในสังคมเครือข่าย" เป็นนามสกุลแบบไดนามิกของตรรกะมาตรฐานผสม ช่วยให้การจำลองปรากฏการณ์ที่ซับซ้อนเกี่ยวข้องกับคุณสมบัติต่าง ๆ ของตัวแทน

ผลลัพธ์ (ไทย) 2:

ใหม่ "ลอจิกสำหรับการแพร่กระจายในเครือข่ายทางสังคม" เป็นส่วนขยายของตรรกะแบบไดนามิกของไฮบริดมาตรฐานช่วยให้การจำลองปรากฏการณ์ที่ซับซ้อนที่เกี่ยวข้องกับคุณสมบัติหลาย ๆ อย่างของตัวแทน

ผลลัพธ์ (ไทย) 3:

ตรรกะใหม่ " กระจายในเครือข่ายทางสังคม " เป็นส่วนขยายของตรรกะแบบไดนามิกมาตรฐานอนุญาตให้รูปแบบซับซ้อนปรากฏการณ์ที่เกี่ยวข้องกับหลายคุณสมบัติของตัวแทน