REASONING ENGINE
Experts
- Patrick Cousot
- Roberto Giacobazzi
- Agostino Cortesi
- Francesco Ranzato
- Helmut Seidl
- Radhia Cousot
- Bernardo Cuenca Grau
- Isabella Mastroeni
- Julian Erhard
- Baudouin Le Charlier
- Vesal Vojdani
- Simmo Saan
- Michael Schwarz
- Jeff Z. Pan
- Ian Horrocks
- Maurice Bruynooghe
- Francesco Logozzo
- Pascal Van Hentenryck
- Masahiro Iida
- Roberto Barbuti
- Toshinori Sueyoshi
- Virginia Dignum
- Gilberto Filé
- Motoki Amagasaki
- Nicoletta De Francesco
- Frank van Harmelen
- Boris Motik
- Yongfeng Zhang
- Jingde Cheng
- Roberta Gori
- Thomas P. Jensen
- Raju Halder
- Luciano Serafini
- Manuel V. Hermenegildo
- David Monniaux
- Giorgio Levi
- Harald Søndergaard
- Fernando Bobillo
- Caterina Urban
Venues
- CoRR
- SAS
- VMCAI
- Electron. Notes Theor. Comput. Sci.
- AAMAS
- IJCAI
- Proc. ACM Program. Lang.
- AAAI
- LPAR
- ESOP
- Description Logics
- CogSci
- Theor. Comput. Sci.
- Sci. Comput. Program.
- Knowl. Based Syst.
- KR
- J. Log. Comput.
- AMIA
- ACM Trans. Program. Lang. Syst.
- IEEE Access
- ICLP
- LOPSTR
- KES
- ACL (Findings)
- Artif. Intell.
- ECAI
- ESWC
- Theory Pract. Log. Program.
- Expert Syst. Appl.
- PEPM
- Fundam. Informaticae
- Int. J. Intell. Syst.
- ISWC (1)
- SMC
- CADE
- Cogn. Sci.
- Auton. Agents Multi Agent Syst.
- KEOD
- J. Autom. Reason.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend