TABLEAU CALCULUS
Experts
- Laura Giordano
- Nicola Olivetti
- Gian Luca Pozzato
- Valentina Gliozzi
- Guido Governatori
- Linh Anh Nguyen
- Grigoris Antoniou
- Domenico Cantone
- Giovanni Casini
- Michael J. Maher
- Renate A. Schmidt
- Joanna Golinska-Pilarek
- Katarina Britz
- Guido Fiorino
- Thomas Meyer
- Piero A. Bonatti
- Hans Tompits
- Ivan Varzinczak
- David Billington
- Mohammad Khodadadi
- Marianna Nicolosi Asmundo
- Dmitry Tishkovsky
- Giuliana Sabbatini
- Michael Fink
- Thomas Eiter
- Richard Wilke
- Marco Faella
- Felip Manyà
- Luigi Sauro
- Yves Moinard
- Joan Ramon Soler
- Raine Rönnholm
- David Pearce
- Maria João Gouveia
- Robert Goldblatt
- Michal Zawidzki
- Peter H. Schmitt
- Ewa Orlowska
- Giorgi Japaridze
Venues
- CoRR
- TABLEAUX
- Description Logics
- Notre Dame J. Formal Log.
- CSL
- CILC
- J. Log. Comput.
- Fundam. Informaticae
- ECAI
- J. Appl. Non Class. Logics
- AI*IA
- Stud Logica
- IJCAI
- J. Philos. Log.
- Log. J. IGPL
- LPAR
- ISMVL
- Int. J. Approx. Reason.
- ACM Trans. Comput. Log.
- J. Symb. Log.
- Theor. Comput. Sci.
- Log. Methods Comput. Sci.
- JELIA
- CCIA
- AAAI
- PAAR@IJCAR
- J. Autom. Reason.
- Ann. Pure Appl. Log.
- Inf. Process. Lett.
- WoLLIC
- Electron. Notes Theor. Comput. Sci.
- J. Artif. Intell. Res.
- CADE
- Advances in Modal Logic
- Australasian Conference on Artificial Intelligence
- Int. J. Intell. Syst.
- KI
- Ann. Math. Artif. Intell.
- KR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend