LOGICAL LANGUAGE
Experts
- Giuseppe De Giacomo
- Yves Lespérance
- Hector J. Levesque
- Mikhail Soutchanski
- Gerhard Lakemeyer
- Raymond Reiter
- Adrian R. Pearce
- John-Jules Ch. Meyer
- Fabio Patrizi
- Robert Demolombe
- Vitaliy Batusov
- Javier Pinto
- Grigore Rosu
- Yongmei Liu
- Maurice Pagnucco
- Vaishak Belle
- Sebastian Sardiña
- Bernhard Rumpe
- Miguel Pagano
- Fiora Pirri
- Jim Woodcock
- Huibiao Zhu
- Emmanuel Gunther
- Manfred Broy
- Judea Pearl
- Rafael H. Bordini
- Joseph Y. Halpern
- Olivier Tardieu
- Joost-Pieter Katoen
- Andreas Prinz
- Alfredo Gabaldon
- Pedro Sánchez Terraf
- Jifeng He
- Marcello M. Bonsangue
- María Victoria Cengarle
- Frédéric Gava
- Amílcar Sernadas
- Martha Lewis
- Reinhard Gotzhein
Venues
- CoRR
- IJCAI
- Synth.
- KR
- AAAI
- J. Philos. Log.
- Electron. Notes Theor. Comput. Sci.
- Artif. Intell.
- J. Log. Comput.
- Theor. Comput. Sci.
- ACM SIGPLAN Notices
- AAMAS
- POPL
- Sci. Comput. Program.
- Ann. Math. Artif. Intell.
- Notre Dame J. Formal Log.
- COLING
- ECAI
- CogSci
- J. Log. Lang. Inf.
- J. Symb. Log.
- Stud Logica
- IEEE Trans. Software Eng.
- ACL
- ICALP
- Cogn. Sci.
- Fundam. Informaticae
- SAC
- Lang. Linguistics Compass
- Log. J. IGPL
- J. Semant.
- Program. Comput. Softw.
- MFPS
- Inf. Comput.
- Comput. Linguistics
- Proc. ACM Program. Lang.
- Minds Mach.
- Rev. Symb. Log.
- Commun. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend