LOGICAL FOUNDATIONS
Experts
- Jos de Bruijn
- Egor V. Kostylev
- Bernardo Cuenca Grau
- Stijn Heymans
- Dieter Spreen
- Richard Moot
- Symon Jory Stevens-Guille
- Ulrich Berger
- Dongmo Zhang
- Georg Lausen
- Francesco Dagnino
- Pedro Cabalar
- Kokichi Futatsugi
- Vasco Brattka
- Nils J. Nilsson
- Vilém Vychodil
- Norihiro Kamide
- Patrice Chalin
- Fabio Pasquali
- Maurizio Lenzerini
- Martin Strecker
- John L. Pollock
- Andrzej Szalas
- Victor L. Selivanov
- Hideki Tsuiki
- Norman Y. Foo
- Jan Maluszynski
- Yuri Gurevich
- Razvan Diaconescu
- John F. Sowa
- Rachid Echahed
- Radim Belohlávek
- Rex Kwok
- Mohamed Chaabani
- Dov M. Gabbay
- Thomas Andreas Meyer
- Dale Miller
- Pablo Barceló
- Wiebe van der Hoek
Venues
- CoRR
- Artif. Intell.
- KR
- Formal Aspects Comput.
- Theor. Comput. Sci.
- Log. J. IGPL
- PODS
- Reasoning Web
- J. Artif. Intell. Res.
- AI Mag.
- AAAI
- DEON
- Dagstuhl Reports
- ASIAN
- ICCSW
- Artif. Intell. Law
- Knowl. Eng. Rev.
- JELIA
- Australian Joint Conference on Artificial Intelligence
- IEEE Data Eng. Bull.
- J. Log. Comput.
- Inf. Sci.
- Comput. Artif. Intell.
- J. Appl. Non Class. Logics
- Artif. Intell. Rev.
- Comput. Intell.
- Fuzzy Sets Syst.
- J. Log. Lang. Inf.
- Math. Struct. Comput. Sci.
- Data Technol. Appl.
- SOFSEM
- SIGART Newsl.
- Ann. Pure Appl. Log.
- Data Knowl. Eng.
- Fundam. Informaticae
- Bull. EATCS
- DOOD
- J. Log. Program.
- J. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend