LOGICAL REASONING
Experts
- Jeff Z. Pan
- Luciano Serafini
- Bernardo Cuenca Grau
- Ofer Arieli
- Xiaodan Liang
- Christoph Benzmüller
- Henri Prade
- Joseph Y. Halpern
- Grigore Rosu
- Qika Lin
- Andrew Adamatzky
- Koji Mineshima
- Yolanda Blanco-Fernández
- Martín López Nores
- José Juan Pazos-Arias
- Mohan Sridharan
- Alberto Gil-Solla
- Yinya Huang
- Yuri Sato
- Gilles Richard
- Lingling Zhang
- Manfred Broy
- Jorge García Duque
- Lars Birkedal
- Jun Liu
- Yuan Ren
- Claudia Schon
- Frieder Stolzenburg
- Marco Manna
- Carlo Allocca
- Hans Smessaert
- Nicola Leone
- Manuel Ramos Cabrer
- Seiki Akama
- Lorenz Demey
- Fangzhi Xu
- Simona Perri
- Ian Horrocks
- Antonia M. Chávez-González
Venues
- CoRR
- Synth.
- IJCAI
- AAAI
- Description Logics
- CogSci
- J. Philos. Log.
- Theor. Comput. Sci.
- LICS
- Stud Logica
- Diagrams
- LSFA
- KEOD
- CSL
- Artif. Intell.
- ACL (Findings)
- FOIS
- NeurIPS
- Notre Dame J. Formal Log.
- ONTOBRAS
- EMNLP
- J. Log. Lang. Inf.
- LPAR
- ICLR
- KR
- Logica Universalis
- Formal Aspects Comput.
- ICBO
- SAC
- Log. Methods Comput. Sci.
- Inf. Sci.
- Proc. ACM Program. Lang.
- ESWC
- Künstliche Intell.
- ICALP
- Int. J. Intell. Syst.
- ACL (1)
- IEEE Trans. Software Eng.
- ER
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend