Reasoning About Ignorance and Beliefs

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67220-1_17 ◽

2021 ◽

pp. 214-230

Author(s):

Alessandro Aldini ◽

Pierluigi Graziani ◽

Mirko Tagliaferri

Download Full-text