LOGICAL REPRESENTATION
Experts
- Henri Prade
- Alessandra Russo
- Jiefei Ma
- Jingde Cheng
- Krysia Broda
- Lars Birkedal
- Jérôme Lang
- Andrew Adamatzky
- Martin Hofmann
- Gilles Richard
- Stefania Costantini
- Emil Lupu
- Hidenori Itoh
- Moshe Y. Vardi
- Ofer Arieli
- Shohei Kato
- Joseph Y. Halpern
- Andrew J. I. Jones
- Sylvain Bouveret
- Christian Straßer
- Wided Bakari
- Mahmoud Neji
- Katsumi Inoue
- Sébastien Ferré
- Ahti-Veikko Pietarinen
- Salem Benferhat
- Paul M. B. Vitányi
- Jacob Thamsborg
- Henry D. Pfister
- A. Robert Calderbank
- Chandra Bhagavatula
- Swanand Kadhe
- Donald Sannella
- Jena D. Hwang
- Yejin Choi
- Luís Moniz Pereira
- Narayanan Rengaswamy
- Panupong Pasupat
- Martin Berger
Venues
- CoRR
- Synth.
- Theor. Comput. Sci.
- Stud Logica
- J. Philos. Log.
- LSFA
- Notre Dame J. Formal Log.
- CSL
- Inf. Comput.
- FLAP
- ICLP
- Electron. Notes Theor. Comput. Sci.
- Log. J. IGPL
- Artif. Intell.
- Fundam. Informaticae
- J. Log. Comput.
- IJCAI
- CogSci
- Logica Universalis
- TARK
- IEEE Access
- J. Log. Lang. Inf.
- ACL (1)
- Diagrams
- LORI
- Int. J. Intell. Syst.
- LICS
- LREC
- Log. Methods Comput. Sci.
- Knowl. Based Syst.
- Inf. Sci.
- ECSQARU
- J. Symb. Log.
- ICCAD
- PLDI
- J. Appl. Log.
- Bull. Symb. Log.
- ECAI
- KR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend