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