LOGICAL FOUNDATIONS
Experts
- Stijn Heymans
- Bernardo Cuenca Grau
- Egor V. Kostylev
- Jos de Bruijn
- Kokichi Futatsugi
- Vilém Vychodil
- Dieter Spreen
- Patrice Chalin
- Norihiro Kamide
- Radim Belohlávek
- Norman Y. Foo
- Richard Moot
- Razvan Diaconescu
- Dongmo Zhang
- John L. Pollock
- Yuri Gurevich
- Nils J. Nilsson
- Vasco Brattka
- Ulrich Berger
- Rex Kwok
- Fabio Pasquali
- John F. Sowa
- Pedro Cabalar
- Mohamed Chaabani
- Rachid Echahed
- Hideki Tsuiki
- Georg Lausen
- Maurizio Lenzerini
- Thomas Andreas Meyer
- Francesco Dagnino
- Victor L. Selivanov
- Martin Strecker
- Symon Jory Stevens-Guille
- Dov M. Gabbay
- Andrzej Szalas
- Jan Maluszynski
- Emiliano Lorini
- Dale Miller
- Jan Van den Bussche
Venues
- CoRR
- Artif. Intell.
- KR
- Formal Aspects Comput.
- Theor. Comput. Sci.
- PODS
- J. Artif. Intell. Res.
- Log. J. IGPL
- AAAI
- Reasoning Web
- AI Mag.
- J. Log. Lang. Inf.
- ISWC/ASWC
- ECAI
- IESA
- J. Exp. Theor. Artif. Intell.
- POST
- Math. Struct. Comput. Sci.
- Fuzzy Sets Syst.
- Australian Joint Conference on Artificial Intelligence
- EJC
- ISMIS
- Log. Methods Comput. Sci.
- Ann. Pure Appl. Log.
- New Gener. Comput.
- SEFM
- DEON
- Data Knowl. Eng.
- J. Log. Program.
- PEPM
- Acta Cybern.
- Notre Dame J. Formal Log.
- Comput. Intell.
- FLAP
- FTC (2)
- Artif. Intell. Law
- CONTEXT
- PACIS
- Cogn. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend