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
- José Juan Pazos-Arias
- Yolanda Blanco-Fernández
- Andrew Adamatzky
- Martín López Nores
- Koji Mineshima
- Qika Lin
- Yuri Sato
- Fangzhi Xu
- Lars Birkedal
- Mohan Sridharan
- Manfred Broy
- Alberto Gil-Solla
- Jorge García Duque
- Lingling Zhang
- Gilles Richard
- Carlo Allocca
- Nicola Leone
- Lorenz Demey
- Claudia Schon
- Yinya Huang
- Seiki Akama
- Jun Liu
- Simona Perri
- Yuan Ren
- Marco Manna
- Hans Smessaert
- Frieder Stolzenburg
- Manuel Ramos Cabrer
- Thomas Eiter
- Heiner Stuckenschmidt
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