AUTOMATED REASONING
Experts
- Thomas Eiter
- Osman Hasan
- Josef Urban
- Christoph Benzmüller
- Andrei Voronkov
- Ian Horrocks
- Sofiène Tahar
- Nicola Olivetti
- Cezary Kaliszyk
- Gian Luca Pozzato
- Lars Birkedal
- José Meseguer
- Norihiro Kamide
- Dale Miller
- Dov M. Gabbay
- Franz Baader
- Maria Paola Bonacina
- Ulrich Furbach
- Giorgi Japaridze
- Matthias Baaz
- Juha Kontinen
- Nicolas Peltier
- Geoff Sutcliffe
- Agata Ciabattoni
- Edward Hermann Haeusler
- Fausto Giunchiglia
- Arnon Avron
- Joseph Y. Halpern
- Alan Bundy
- David J. Pym
- Larry Wos
- Georg Gottlob
- Stefan Woltran
- Rajeev Goré
- Luciano Serafini
- Henri Prade
- Hector J. Levesque
- Laura Kovács
- Frank Wolter
Venues
- CoRR
- J. Symb. Log.
- CADE
- IJCAI
- Stud Logica
- Notre Dame J. Formal Log.
- AAAI
- J. Autom. Reason.
- J. Philos. Log.
- J. Log. Comput.
- Log. J. IGPL
- TABLEAUX
- KR
- Artif. Intell.
- Electron. Notes Theor. Comput. Sci.
- Description Logics
- LICS
- Theor. Comput. Sci.
- Synth.
- Ann. Pure Appl. Log.
- IEEE Trans. Computers
- DAC
- CogSci
- CSL
- ECAI
- IJCAR
- TPHOLs
- LPAR
- Bull. Symb. Log.
- ISMVL
- Math. Log. Q.
- J. Appl. Non Class. Logics
- Fundam. Informaticae
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Ann. Math. Artif. Intell.
- Rev. Symb. Log.
- ISCAS
- JELIA
- DATE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend