LOGICAL FOUNDATIONS
Experts
- Bernardo Cuenca Grau
- Jos de Bruijn
- Stijn Heymans
- Egor V. Kostylev
- Mohamed Chaabani
- Jan Maluszynski
- Symon Jory Stevens-Guille
- Vilém Vychodil
- Andrzej Szalas
- Yuri Gurevich
- John L. Pollock
- Nils J. Nilsson
- Pedro Cabalar
- Radim Belohlávek
- Victor L. Selivanov
- Norman Y. Foo
- Ulrich Berger
- Maurizio Lenzerini
- Thomas Andreas Meyer
- Dov M. Gabbay
- Hideki Tsuiki
- Norihiro Kamide
- Vasco Brattka
- Francesco Dagnino
- Fabio Pasquali
- John F. Sowa
- Richard Moot
- Dieter Spreen
- Kokichi Futatsugi
- Georg Lausen
- Razvan Diaconescu
- Dongmo Zhang
- Rachid Echahed
- Rex Kwok
- Patrice Chalin
- Martin Strecker
- Laks V. S. Lakshmanan
- Sergei P. Odintsov
- Corrado Manara
Venues
- CoRR
- Artif. Intell.
- Theor. Comput. Sci.
- KR
- Formal Aspects Comput.
- AAAI
- J. Artif. Intell. Res.
- Reasoning Web
- AI Mag.
- PODS
- Log. J. IGPL
- J. Log. Program.
- J. Log. Lang. Inf.
- PACIS
- IESA
- JELIA
- Artif. Intell. Law
- Autom. Remote. Control.
- J. Intell. Inf. Syst.
- ACM Comput. Surv.
- Knowl. Eng. Rev.
- PROCOMET
- ProMAS
- EPIA
- Fundam. Informaticae
- J. ACM
- Logics for Databases and Information Systems
- IEEE Data Eng. Bull.
- SIGACT News
- FTC (2)
- EJC
- Cogn. Sci.
- ISMIS
- Notre Dame J. Formal Log.
- SAC
- ACM Trans. Comput. Log.
- Data Technol. Appl.
- Comput. Intell.
- SEFM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend