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