SET OF INFERENCE RULES
Experts
- Sebastian Link
- Jixue Liu
- Millist W. Vincent
- Sven Hartmann
- Marcello M. Bonsangue
- Alexandra Silva
- Murat Sensoy
- Paulo Oliva
- Erik Arne Mathiesen
- Larry Wos
- George Konstantinidis
- Timothy J. Norman
- Rob Arthan
- Vladimir V. Rybakov
- Adrien Koutsos
- Ursula Martin
- Moshe Y. Vardi
- Stefan Milius
- Michaël Rusinowitch
- Paolo Pareti
- Xiqun Tang
- Mike Papadakis
- Nikolai Kosmatov
- Haiying Sun
- Benny Godlin
- Xinxin Liu
- Nachum Dershowitz
- Ernst-Rüdiger Olderog
- V. R. Sathiyanarayana
- Jeff B. Paris
- Patrick C. Fischer
- Dominik Tomaszuk
- Marie-Laure Mugnier
- Steffen Lange
- Socorro Millán
- Qingwei Lin
- María C. Fernández-Baizán
- Yves Le Traon
- Wing Kwong Chan
Venues
- CoRR
- Acta Informatica
- ACM Trans. Comput. Log.
- Artif. Intell.
- PODS
- IJCAI
- J. Autom. Reason.
- Stud Logica
- LICS
- J. Artif. Intell. Res.
- ADBIS (2)
- J. Log. Program.
- Notre Dame J. Formal Log.
- LPNMR
- AII
- COLING (Posters)
- ICFCA
- VL/HCC
- ACIIDS (3)
- CSF
- DEXA Workshops
- Log. J. IGPL
- Logic of Programs
- EDBT
- Int. J. Comput. Intell. Syst.
- EACL
- CSL
- J. Log. Algebraic Methods Program.
- J. Appl. Log.
- ECAI
- J. Netw. Comput. Appl.
- ADC
- WAIM
- Int. J. Found. Comput. Sci.
- Trans. Large Scale Data Knowl. Centered Syst.
- Fuzzy Sets Syst.
- CAiSE
- ISMIS
- IEEE Trans. Software Eng.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend