LOGICAL FOUNDATIONS
Experts
- Stijn Heymans
- Bernardo Cuenca Grau
- Jos de Bruijn
- Egor V. Kostylev
- Symon Jory Stevens-Guille
- John F. Sowa
- Nils J. Nilsson
- John L. Pollock
- Yuri Gurevich
- Dov M. Gabbay
- Richard Moot
- Vilém Vychodil
- Fabio Pasquali
- Thomas Andreas Meyer
- Hideki Tsuiki
- Victor L. Selivanov
- Kokichi Futatsugi
- Maurizio Lenzerini
- Norihiro Kamide
- Radim Belohlávek
- Dieter Spreen
- Francesco Dagnino
- Vasco Brattka
- Razvan Diaconescu
- Dongmo Zhang
- Ulrich Berger
- Norman Y. Foo
- Pedro Cabalar
- Martin Strecker
- Andrzej Szalas
- Jan Maluszynski
- Rachid Echahed
- Rex Kwok
- Mohamed Chaabani
- Georg Lausen
- Patrice Chalin
- Wolfgang May
- Sergei P. Odintsov
- Myron Zhang
Venues
- CoRR
- Artif. Intell.
- KR
- Formal Aspects Comput.
- Theor. Comput. Sci.
- AI Mag.
- AAAI
- Reasoning Web
- PODS
- J. Artif. Intell. Res.
- Log. J. IGPL
- Inf. Sci.
- SIGART Newsl.
- Autom. Remote. Control.
- Australian Joint Conference on Artificial Intelligence
- Bull. EATCS
- J. Intell. Inf. Syst.
- IESA
- Fuzzy Sets Syst.
- SIGMOD Rec.
- POST
- FUZZ-IEEE
- J. Appl. Non Class. Logics
- Truth Maintenance Systems (ECAI Workshop)
- IEEE Data Eng. Bull.
- ProMAS
- Comput. Artif. Intell.
- FLAP
- ACM Comput. Surv.
- Description Logics
- FTC (2)
- GULP-PRODE
- Cogn. Sci.
- DOOD
- SAC
- SIGACT News
- LICS
- PACIS
- Ann. Pure Appl. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend