TEMPORAL EPISTEMIC
Experts
- Alessio Lomuscio
- Ron van der Meyden
- Wojciech Penczek
- Angelo Montanari
- Laura Bozzelli
- Francesco Belardinelli
- Adriano Peron
- Alberto Molinari
- Omar I. Al-Bataineh
- Pietro Sala
- Valentin Goranko
- Hongyang Qu
- Xiaowei Huang
- Aniello Murano
- Wiebe van der Hoek
- Bastien Maubert
- Michael Zakharyaschev
- Jakub Michaliszyn
- Sasha Rubin
- Michael J. Wooldridge
- Mads Dam
- Frank Wolter
- Vadim Malvone
- Edmund M. Clarke
- Kaile Su
- Catalin Dima
- Orna Grumberg
- Agi Kurucz
- Joshua Sack
- Mika Cohen
- Bruno Courcelle
- Bryan Renne
- Mark Reynolds
- Stefania Costantini
- Doron Peled
- Marcelo Arenas
- Leonid Libkin
- Magdalena Kacprzak
- Mamadou Moustapha Kanté
Venues
- CoRR
- AAMAS
- TIME
- Theor. Comput. Sci.
- CAV
- Fundam. Informaticae
- Electron. Notes Theor. Comput. Sci.
- LICS
- Stud Logica
- J. Appl. Non Class. Logics
- TARK
- ICCAD
- Formal Methods Syst. Des.
- KR
- RV
- Ann. Pure Appl. Log.
- Synth.
- Log. J. IGPL
- FSTTCS
- AAAI
- IJCAI
- JELIA
- Informatica (Slovenia)
- MFCS
- Fuzzy Sets Syst.
- LORI
- CSL
- ECAI
- FoSSaCS
- SEFM
- Int. J. Softw. Eng. Knowl. Eng.
- Inf. Process. Lett.
- ICFEM
- Int. J. Softw. Tools Technol. Transf.
- CONCUR
- J. Philos. Log.
- LPAR
- ATVA
- J. Syst. Softw.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend