TEMPORAL EPISTEMIC
Experts
- Alessio Lomuscio
- Ron van der Meyden
- Wojciech Penczek
- Angelo Montanari
- Laura Bozzelli
- Francesco Belardinelli
- Alberto Molinari
- Adriano Peron
- Omar I. Al-Bataineh
- Valentin Goranko
- Hongyang Qu
- Xiaowei Huang
- Pietro Sala
- Aniello Murano
- Sasha Rubin
- Michael Zakharyaschev
- Agi Kurucz
- Jakub Michaliszyn
- Catalin Dima
- Wiebe van der Hoek
- Frank Wolter
- Orna Grumberg
- Vadim Malvone
- Edmund M. Clarke
- Mads Dam
- Michael J. Wooldridge
- Bastien Maubert
- Kaile Su
- Abdul Sattar
- Leonid Libkin
- Rodica Bozianu
- Mika Cohen
- Cong Tian
- Lubos Brim
- Andrea Formisano
- Norihiro Kamide
- Joeri Engelfriet
- Manas K. Patra
- Jamal Bentahar
Venues
- CoRR
- AAMAS
- TIME
- Theor. Comput. Sci.
- CAV
- Electron. Notes Theor. Comput. Sci.
- Fundam. Informaticae
- LICS
- ICCAD
- TARK
- J. Appl. Non Class. Logics
- Stud Logica
- Formal Methods Syst. Des.
- RV
- KR
- Synth.
- JELIA
- Log. J. IGPL
- IJCAI
- AAAI
- Ann. Pure Appl. Log.
- FSTTCS
- J. Log. Algebraic Methods Program.
- ACM Trans. Comput. Log.
- Inf. Process. Lett.
- Comput. J.
- FoSSaCS
- Informatica (Slovenia)
- ECAI
- J. Log. Lang. Inf.
- MFCS
- MoChArt
- CONCUR
- LPAR
- Log. Methods Comput. Sci.
- DAC
- ATVA
- Int. J. Softw. Tools Technol. Transf.
- CSL
Related Topics
Related Keywords
Popularity