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