SET OF INFERENCE RULES
Experts
- Sebastian Link
- Sven Hartmann
- Millist W. Vincent
- Jixue Liu
- Murat Sensoy
- Alexandra Silva
- Larry Wos
- Michaël Rusinowitch
- Paulo Oliva
- Marcello M. Bonsangue
- Moshe Y. Vardi
- George Konstantinidis
- Erik Arne Mathiesen
- Paolo Pareti
- Vladimir V. Rybakov
- Stefan Milius
- Timothy J. Norman
- Adrien Koutsos
- Ursula Martin
- Rob Arthan
- Flavio Ferrarotti
- Filippo Bonchi
- Aoying Zhou
- William J. Pervin
- Jianhua Chen
- Cungen Cao
- Tetsuya Sato
- Marcus Kracht
- Junhong Wang
- Ronald Fagin
- Hudson Turner
- Deepak Kapur
- Daltro José Nunes
- Jordi Levy
- Lennart Åqvist
- Brendan Jennings
- Yiyuan Wang
- Ilias Tachmazidis
- Ernestina Menasalvas Ruiz
Venues
- CoRR
- ACM Trans. Comput. Log.
- Acta Informatica
- IJCAI
- LICS
- Stud Logica
- Artif. Intell.
- J. Autom. Reason.
- PODS
- WAIM
- FGCS
- ITRS
- ISMIS
- DEXA Workshops
- CSL
- NLPAR@LPNMR
- IPMU (1)
- AII
- FoSSaCS
- APWeb
- ICE/ITMC
- J. Netw. Comput. Appl.
- Logica Universalis
- Int. J. Found. Comput. Sci.
- IC-AI
- Fundam. Informaticae
- Fuzzy Sets Syst.
- ICST
- Notre Dame J. Formal Log.
- Sci. Comput. Program.
- COLING (Posters)
- LPNMR
- Proc. ACM Program. Lang.
- BNCOD
- ICAISC
- J. Log. Algebraic Methods Program.
- ICCS
- IEEE Trans. Software Eng.
- EDBT
Related Topics
Related Keywords
Popularity