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
- Yongmei Liu
- Robert Demolombe
- Fabio Patrizi
- Javier Pinto
- Vitaliy Batusov
- Grigore Rosu
- Sebastian Sardiña
- Vaishak Belle
- Maurice Pagnucco
- Bernhard Rumpe
- Emmanuel Gunther
- Judea Pearl
- Jim Woodcock
- Miguel Pagano
- Manfred Broy
- Huibiao Zhu
- Rafael H. Bordini
- Joseph Y. Halpern
- Fiora Pirri
- Ryan F. Kelly
- Frédéric Loulergue
- Olivier Tardieu
- Frédéric Gava
- Jaroslav Peregrin
- Jan Hidders
- Amílcar Sernadas
- Joost-Pieter Katoen
- Reinhard Gotzhein
- Stavros Vassos
- James P. Delgrande
- Martha Lewis
Venues
- CoRR
- IJCAI
- Synth.
- KR
- J. Philos. Log.
- AAAI
- Artif. Intell.
- Electron. Notes Theor. Comput. Sci.
- ACM SIGPLAN Notices
- Theor. Comput. Sci.
- J. Log. Comput.
- AAMAS
- Ann. Math. Artif. Intell.
- POPL
- Sci. Comput. Program.
- Notre Dame J. Formal Log.
- COLING
- ECAI
- Cogn. Sci.
- IEEE Trans. Software Eng.
- Fundam. Informaticae
- Stud Logica
- J. Log. Lang. Inf.
- J. Symb. Log.
- ACL
- ICALP
- J. Semant.
- CogSci
- SAC
- Lang. Linguistics Compass
- Log. J. IGPL
- Commun. ACM
- Program. Comput. Softw.
- Comput. Linguistics
- Proc. ACM Program. Lang.
- Minds Mach.
- Inf. Comput.
- MFPS
- LICS
Related Topics
Related Keywords
Popularity