FORMAL THEORY
Experts
- Joseph Y. Halpern
- Yejin Choi
- Riccardo Pucella
- Lars Birkedal
- Przemyslaw Andrzej Walega
- Thierry Coquand
- Klaus-Dieter Schewe
- Bernhard Nebel
- Xiang Ren
- Mehul Bhatt
- Moshe Y. Vardi
- Emiliano Lorini
- Ronan Le Bras
- Vilém Novák
- Bill Yuchen Lin
- Munindar P. Singh
- Antony Galton
- Wiebe van der Hoek
- Carl P. L. Schultz
- Chandra Bhagavatula
- Gert Smolka
- Michael J. Wooldridge
- Lotfi A. Zadeh
- Jan Oliver Wallgrün
- Gopalan Nadathur
- Peter LeFanu Lumsdaine
- Gilles Barthe
- Leora Morgenstern
- Richmond H. Thomason
- Yoav Shoham
- Daniel R. Licata
- Robert Harper
- Ernest Davis
- Carolyn L. Talcott
- Clark W. Barrett
- Viorica Sofronie-Stokkermans
- Lluís Godo
- Matthew J. Parkinson
- Steven Schockaert
Venues
- CoRR
- J. Symb. Log.
- Synth.
- Theor. Comput. Sci.
- IJCAI
- J. Philos. Log.
- Notre Dame J. Formal Log.
- AAAI
- J. Comput. Chem.
- Artif. Intell.
- Ann. Pure Appl. Log.
- Stud Logica
- Entropy
- LICS
- Log. J. IGPL
- J. Econ. Theory
- Math. Log. Q.
- J. Log. Comput.
- Electron. Notes Theor. Comput. Sci.
- Fuzzy Sets Syst.
- Log. Methods Comput. Sci.
- IEEE Trans. Inf. Theory
- CSL
- Bull. Symb. Log.
- HICSS
- CogSci
- Discret. Math.
- Fundam. Informaticae
- ECAI
- ICIS
- Symmetry
- Ann. Math. Artif. Intell.
- Developments in Language Theory
- Games Econ. Behav.
- Math. Struct. Comput. Sci.
- ICALP
- J. Autom. Reason.
- Inf. Comput.
- AAMAS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend