Fundamenta Informaticae
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Duality for Algebras of Lattice-Valued Modal Logic
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Reasoning about fuzzy belief and common belief: with emphasis on incomparable beliefs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Dualities for Algebras of Fitting's Many-Valued Modal Logics
Fundamenta Informaticae - Logic, Language, Information and Computation
Fundamenta Informaticae
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |