SET OF INFERENCE RULES
Experts
- Sebastian Link
- Millist W. Vincent
- Jixue Liu
- Sven Hartmann
- Adrien Koutsos
- Marcello M. Bonsangue
- Stefan Milius
- Paolo Pareti
- Paulo Oliva
- Murat Sensoy
- Rob Arthan
- Michaël Rusinowitch
- Vladimir V. Rybakov
- Alexandra Silva
- George Konstantinidis
- Ursula Martin
- Erik Arne Mathiesen
- Larry Wos
- Timothy J. Norman
- Moshe Y. Vardi
- Mike Papadakis
- Gianluca Zaza
- Prasad Jayanti
- Ernst-Rüdiger Olderog
- Ofer Strichman
- Giovanna Castellano
- Siddhartha Jayanti
- Jeffrey F. Naughton
- Steffen van Bakel
- Gabriella Casalino
- Ernest Bota Pobee
- Roberto Giacobazzi
- Shohei Tanaka
- Xiqun Tang
- Jin-Whan Kim
- José L. Balcázar
- Alena Vencovská
- Tingting Yu
- Pierre Ganty
Venues
- CoRR
- ACM Trans. Comput. Log.
- Acta Informatica
- IJCAI
- LICS
- Stud Logica
- J. Autom. Reason.
- PODS
- Artif. Intell.
- BNCOD
- LPNMR
- Inf.
- Sci. Comput. Program.
- ICCS
- ICFCA
- ACIIDS (3)
- Int. J. Found. Comput. Sci.
- ACM SIGCSE Bull.
- J. Appl. Log.
- Int. J. Wirel. Mob. Comput.
- Proc. ACM Program. Lang.
- Trans. Large Scale Data Knowl. Centered Syst.
- WAIM
- CSL
- ITRS
- ICST
- Comput. Artif. Intell.
- Fuzzy Sets Syst.
- ICE/ITMC
- FGCS
- IPMU (1)
- RelMiCS
- Inf. Process. Manag.
- CONCUR
- EDBT
- Bull. EATCS
- VL/HCC
- IEEE Trans. Software Eng.
- AII
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend