SET OF INFERENCE RULES
Experts
- Sebastian Link
- Millist W. Vincent
- Sven Hartmann
- Jixue Liu
- Vladimir V. Rybakov
- Stefan Milius
- Adrien Koutsos
- George Konstantinidis
- Rob Arthan
- Alexandra Silva
- Timothy J. Norman
- Marcello M. Bonsangue
- Erik Arne Mathiesen
- Moshe Y. Vardi
- Larry Wos
- Murat Sensoy
- Ursula Martin
- Paulo Oliva
- Paolo Pareti
- Michaël Rusinowitch
- Olaf Owe
- Xiqun Tang
- Emir Muñoz
- Socorro Millán
- Marcus Kracht
- Kô Sakai
- Steffen van Bakel
- Jean-Yves Marion
- Roberto Giacobazzi
- Ernest Bota Pobee
- Bo Jiang
- Randall Davis
- Sébastien Bardin
- Steffen Lange
- Sukhamay Kundu
- Louis Aimé Fono
- Kohei Suenaga
- Flavio Ferrarotti
- Xiaoxue Ma
Venues
- CoRR
- Acta Informatica
- ACM Trans. Comput. Log.
- LICS
- PODS
- IJCAI
- J. Autom. Reason.
- Artif. Intell.
- Stud Logica
- ECAI
- J. Appl. Log.
- IEEE Trans. Software Eng.
- CSL
- FoSSaCS
- ITRS
- Inf. Process. Manag.
- Comput. Artif. Intell.
- IPMU (1)
- Notre Dame J. Formal Log.
- Fundam. Informaticae
- Logic of Programs
- ICE/ITMC
- J. ACM
- Int. J. Comput. Intell. Syst.
- WAIM
- VL/HCC
- J. Artif. Intell. Res.
- Sci. Comput. Program.
- Logica Universalis
- Int. J. Fuzzy Log. Intell. Syst.
- Proc. ACM Program. Lang.
- ADBIS (2)
- J. Log. Program.
- Inf.
- SEKE
- ICAISC
- EDBT
- Trans. Large Scale Data Knowl. Centered Syst.
- ICCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend