DERIVATION RULES
Experts
- Miika Hannula
- Lars Birkedal
- Ilkka Niemelä
- Mauricio Osorio
- Stefan Woltran
- Piero A. Bonatti
- Axel Polleres
- Joohyung Lee
- Ioana Manolescu
- Miroslaw Truszczynski
- Pedro Cabalar
- Norihiro Kamide
- Peter Müller
- Tomi Janhunen
- Mario Alviano
- Shin-ya Katsumata
- Hanane Ouksili
- Jorge Fandinno
- Yuliya Lierler
- Samson Abramsky
- Barbara Caputo
- Nicola Leone
- Radu Iosif
- Luc Segoufin
- Evelina Lamma
- Luís Moniz Pereira
- Ian Horrocks
- José Luis Carballido
- Emil Jerábek
- Patrik Simons
- Gemma Robles
- Thomas Eiter
- Jonni Virtema
- Pawel Guzewicz
- Grigoris Antoniou
- Adrian Giurca
- Anna Zamansky
- Tarmo Uustalu
- Markus Krötzsch
Venues
- CoRR
- IJCAI
- J. Philos. Log.
- J. Log. Comput.
- Theor. Comput. Sci.
- Stud Logica
- Notre Dame J. Formal Log.
- LPNMR
- ICLP
- Electron. Notes Theor. Comput. Sci.
- LICS
- ESOP
- J. Symb. Log.
- CSL
- Synth.
- AAAI
- J. Log. Lang. Inf.
- ECAI
- Log. J. IGPL
- Theory Pract. Log. Program.
- WoLLIC
- Artif. Intell.
- LPAR
- EACL
- Proc. ACM Program. Lang.
- Ann. Pure Appl. Log.
- KR
- Fuzzy Sets Syst.
- JSAI-isAI Workshops
- WRLA
- CVPR
- ICLP (Technical Communications)
- ACL
- RR
- ISWC
- Description Logics
- Sci. Comput. Program.
- J. Log. Algebraic Methods Program.
- JELIA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend