LOGICAL FOUNDATIONS
Experts
- Egor V. Kostylev
- Bernardo Cuenca Grau
- Jos de Bruijn
- Stijn Heymans
- Patrice Chalin
- Rex Kwok
- Jan Maluszynski
- Georg Lausen
- John L. Pollock
- Razvan Diaconescu
- Dongmo Zhang
- Ulrich Berger
- Vilém Vychodil
- Rachid Echahed
- Norman Y. Foo
- Victor L. Selivanov
- Mohamed Chaabani
- Maurizio Lenzerini
- Andrzej Szalas
- Vasco Brattka
- Symon Jory Stevens-Guille
- Thomas Andreas Meyer
- Nils J. Nilsson
- Dieter Spreen
- Yuri Gurevich
- Fabio Pasquali
- Kokichi Futatsugi
- Francesco Dagnino
- Dov M. Gabbay
- Radim Belohlávek
- Richard Moot
- Pedro Cabalar
- John F. Sowa
- Martin Strecker
- Hideki Tsuiki
- Norihiro Kamide
- Georg Gottlob
- Fangzhen Lin
- Robert A. Kowalski
Venues
- CoRR
- Artif. Intell.
- Formal Aspects Comput.
- KR
- Theor. Comput. Sci.
- AI Mag.
- Reasoning Web
- J. Artif. Intell. Res.
- Log. J. IGPL
- PODS
- AAAI
- JELIA
- Notre Dame J. Formal Log.
- IJCAI
- Ann. Pure Appl. Log.
- DOOD
- J. Log. Lang. Inf.
- SEFM
- Data Technol. Appl.
- ECAI
- SIGMOD Rec.
- J. Exp. Theor. Artif. Intell.
- PEPM
- J. Appl. Non Class. Logics
- IESA
- PACIS
- ICTERI
- J. Log. Comput.
- ASIAN
- J. Intell. Inf. Syst.
- Description Logics
- AMAST
- Australian Joint Conference on Artificial Intelligence
- FUZZ-IEEE
- SIGACT News
- Truth Maintenance Systems (ECAI Workshop)
- DEON
- Artif. Intell. Rev.
- EPIA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend