LOGICAL FOUNDATIONS
Experts
- Egor V. Kostylev
- Bernardo Cuenca Grau
- Stijn Heymans
- Jos de Bruijn
- Andrzej Szalas
- Dieter Spreen
- Dongmo Zhang
- Yuri Gurevich
- Vilém Vychodil
- Radim Belohlávek
- Thomas Andreas Meyer
- Hideki Tsuiki
- Kokichi Futatsugi
- Norman Y. Foo
- Victor L. Selivanov
- Norihiro Kamide
- Rachid Echahed
- Richard Moot
- Francesco Dagnino
- Dov M. Gabbay
- Ulrich Berger
- Pedro Cabalar
- John F. Sowa
- Georg Lausen
- Razvan Diaconescu
- Maurizio Lenzerini
- Mohamed Chaabani
- Nils J. Nilsson
- Patrice Chalin
- Martin Strecker
- Rex Kwok
- Vasco Brattka
- Fabio Pasquali
- Symon Jory Stevens-Guille
- John L. Pollock
- Jan Maluszynski
- Robert A. Kowalski
- Sergei P. Odintsov
- Zhaohui Luo
Venues
- CoRR
- Artif. Intell.
- Theor. Comput. Sci.
- Formal Aspects Comput.
- KR
- AI Mag.
- Reasoning Web
- PODS
- J. Artif. Intell. Res.
- AAAI
- Log. J. IGPL
- IFIP Congress
- Data Technol. Appl.
- ACM Trans. Comput. Log.
- J. Intell. Inf. Syst.
- POST
- SIGART Newsl.
- Math. Struct. Comput. Sci.
- Inf. Sci.
- Acta Cybern.
- Fuzzy Sets Syst.
- Artif. Intell. Rev.
- ProMAS
- J. Exp. Theor. Artif. Intell.
- Comput. Intell.
- Fundam. Informaticae
- FUZZ-IEEE
- Notre Dame J. Formal Log.
- IESA
- PROCOMET
- ACM Comput. Surv.
- SIGACT News
- J. Log. Comput.
- SIGMOD Rec.
- Artif. Intell. Law
- ISMIS
- PEPM
- ISWC/ASWC
- Autom. Remote. Control.
Related Topics
Related Keywords
Popularity