LOGICAL FOUNDATIONS
Experts
- Egor V. Kostylev
- Bernardo Cuenca Grau
- Stijn Heymans
- Jos de Bruijn
- Kokichi Futatsugi
- Norman Y. Foo
- Victor L. Selivanov
- Norihiro Kamide
- Rachid Echahed
- Andrzej Szalas
- Yuri Gurevich
- Dongmo Zhang
- Vilém Vychodil
- Radim Belohlávek
- Thomas Andreas Meyer
- Hideki Tsuiki
- John F. Sowa
- Georg Lausen
- Razvan Diaconescu
- Richard Moot
- Francesco Dagnino
- Dov M. Gabbay
- Ulrich Berger
- Pedro Cabalar
- Patrice Chalin
- Martin Strecker
- Rex Kwok
- Maurizio Lenzerini
- Mohamed Chaabani
- Nils J. Nilsson
- Symon Jory Stevens-Guille
- John L. Pollock
- Dieter Spreen
- Jan Maluszynski
- Vasco Brattka
- Fabio Pasquali
- Jose Gaintzarain
- István Németi
- Ken E. Sakaie
Venues
- CoRR
- Artif. Intell.
- Formal Aspects Comput.
- Theor. Comput. Sci.
- KR
- Reasoning Web
- AI Mag.
- Log. J. IGPL
- AAAI
- PODS
- J. Artif. Intell. Res.
- SOFSEM
- Dagstuhl Reports
- Knowl. Eng. Rev.
- Truth Maintenance Systems (ECAI Workshop)
- New Gener. Comput.
- IJCAI
- SEFM
- Description Logics
- ICTERI
- Artif. Intell. Law
- PACIS
- ISMIS
- LICS
- ISWC/ASWC
- ACM Comput. Surv.
- SIGACT News
- PEPM
- J. Log. Comput.
- Autom. Remote. Control.
- SIGMOD Rec.
- IESA
- PROCOMET
- Comput. Intell.
- J. Exp. Theor. Artif. Intell.
- Notre Dame J. Formal Log.
- FUZZ-IEEE
- Artif. Intell. Rev.
- Fuzzy Sets Syst.
Related Topics
Related Keywords
Popularity