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