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
- Pietro Sala
- Valentin Goranko
- Aniello Murano
- Hongyang Qu
- Xiaowei Huang
- Michael Zakharyaschev
- Edmund M. Clarke
- Kaile Su
- Jakub Michaliszyn
- Mads Dam
- Orna Grumberg
- Michael J. Wooldridge
- Sasha Rubin
- Bastien Maubert
- Agi Kurucz
- Vadim Malvone
- Wiebe van der Hoek
- Catalin Dima
- Frank Wolter
- Bruno Courcelle
- Joeri Engelfriet
- Abdul Sattar
- Joshua Sack
- Mark Reynolds
- Lubos Brim
- Magdalena Kacprzak
- Andrea Formisano
- Andrzej Zbrzezny
- Bryan Renne
- Mika Cohen
Venues
- CoRR
- AAMAS
- TIME
- Theor. Comput. Sci.
- CAV
- Fundam. Informaticae
- Electron. Notes Theor. Comput. Sci.
- LICS
- Formal Methods Syst. Des.
- KR
- ICCAD
- J. Appl. Non Class. Logics
- Stud Logica
- RV
- TARK
- Log. J. IGPL
- AAAI
- Ann. Pure Appl. Log.
- JELIA
- FSTTCS
- IJCAI
- Synth.
- Informatica (Slovenia)
- J. Philos. Log.
- Fuzzy Sets Syst.
- J. Log. Lang. Inf.
- LPAR
- CSL
- J. Log. Algebraic Methods Program.
- LORI
- ICFEM
- J. Log. Comput.
- ACM Trans. Comput. Log.
- J. Syst. Softw.
- FoSSaCS
- DAC
- Log. Methods Comput. Sci.
- SEFM
- AAMAS (2)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend