SET OF INFERENCE RULES
Experts
- Sebastian Link
- Jixue Liu
- Millist W. Vincent
- Sven Hartmann
- George Konstantinidis
- Moshe Y. Vardi
- Timothy J. Norman
- Murat Sensoy
- Rob Arthan
- Marcello M. Bonsangue
- Vladimir V. Rybakov
- Paolo Pareti
- Michaël Rusinowitch
- Ursula Martin
- Adrien Koutsos
- Erik Arne Mathiesen
- Alexandra Silva
- Paulo Oliva
- Larry Wos
- Stefan Milius
- Mitsuru Ishizuka
- Olaf Owe
- Gianluca Zaza
- Randall Davis
- Maria Luisa Bonet
- Ernst-Rüdiger Olderog
- Annie Ibrahim Rana
- Dusko Pavlovic
- Nikolai Kosmatov
- Cungen Cao
- Jaume Baixeries
- José L. Balcázar
- Ebroul Izquierdo
- Paul Brunet
- Teodor C. Przymusinski
- Kazumasa Honda
- Ronald Fagin
- Sotiris Batsakis
- Katharina T. Huber
Venues
- CoRR
- ACM Trans. Comput. Log.
- Acta Informatica
- IJCAI
- Stud Logica
- PODS
- J. Autom. Reason.
- LICS
- Artif. Intell.
- Notre Dame J. Formal Log.
- Int. J. Wirel. Mob. Comput.
- ADC
- RelMiCS
- Sci. Comput. Program.
- FGCS
- ECAI
- DEXA Workshops
- LPNMR
- ICCS
- Int. J. Comput. Intell. Syst.
- J. Log. Algebraic Methods Program.
- IPMU (1)
- ADBIS (2)
- SEKE
- Int. J. Fuzzy Log. Intell. Syst.
- ISMIS
- Trans. Large Scale Data Knowl. Centered Syst.
- IEEE Trans. Software Eng.
- Fundam. Informaticae
- J. Log. Program.
- Bull. EATCS
- ICST
- J. Netw. Comput. Appl.
- EDBT
- J. Philos. Log.
- J. Symb. Log.
- WAIM
- ICE/ITMC
- COLING (Posters)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend