LOGICAL FOUNDATIONS
Experts
- Stijn Heymans
- Egor V. Kostylev
- Jos de Bruijn
- Bernardo Cuenca Grau
- Richard Moot
- Martin Strecker
- Hideki Tsuiki
- Pedro Cabalar
- John F. Sowa
- Kokichi Futatsugi
- Fabio Pasquali
- Dongmo Zhang
- Dieter Spreen
- Norman Y. Foo
- Dov M. Gabbay
- Andrzej Szalas
- Georg Lausen
- Rachid Echahed
- Yuri Gurevich
- Ulrich Berger
- Francesco Dagnino
- Norihiro Kamide
- Symon Jory Stevens-Guille
- Radim Belohlávek
- Maurizio Lenzerini
- Vilém Vychodil
- Mohamed Chaabani
- Thomas Andreas Meyer
- Jan Maluszynski
- Rex Kwok
- Patrice Chalin
- Razvan Diaconescu
- John L. Pollock
- Victor L. Selivanov
- Vasco Brattka
- Nils J. Nilsson
- Emiliano Lorini
- Hajime Yoshino
- Myron Zhang
Venues
- CoRR
- Artif. Intell.
- KR
- Formal Aspects Comput.
- Theor. Comput. Sci.
- Reasoning Web
- Log. J. IGPL
- AI Mag.
- PODS
- J. Artif. Intell. Res.
- AAAI
- J. ACM
- J. Intell. Inf. Syst.
- J. Appl. Non Class. Logics
- DOOD
- SIGART Newsl.
- IJCAI
- Datalog
- JELIA
- J. Log. Comput.
- Data Technol. Appl.
- Cogn. Sci.
- CONTEXT
- Fuzzy Sets Syst.
- ISWC/ASWC
- FLAP
- SEFM
- Acta Cybern.
- Truth Maintenance Systems (ECAI Workshop)
- J. Log. Lang. Inf.
- ISMIS
- IEEE Trans. Medical Imaging
- Inf. Sci.
- Ann. Pure Appl. Log.
- POST
- J. Log. Program.
- Logics for Databases and Information Systems
- EASSS
- DEON
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend