INDUCTIVE LOGIC PROGRAMMING SYSTEMS
Experts
- Alexander Okhotin
- Artur Jez
- Nada Lavrac
- Marko Robnik-Sikonja
- Michael Kaminski
- Blaz Skrlj
- Tamar Aizikowitz
- Rui Camacho
- L. G. S. Duarte
- Franco Montagna
- Ali Saleh Alshomrani
- Volker Markl
- David Garlan
- Nuno A. Fonseca
- Elodie Leducq
- Eugénio C. Oliveira
- Svetla Nikova
- Jesus A. Gonzalez
- Petr Jancar
- Pietro Galliani
- Hayato Ohwada
- German Rigau
- Florian Jakobs
- André Nies
- Dmitry Pelinovsky
- Michela Milano
- Daniel Král
- Max Heimel
- Vítor Santos Costa
- Darko Zupanic
- Saso Dzeroski
- Diane J. Cook
- Hans Kleine Büning
- Amund Askeland
- Leon Henkin
- Sebastian Perez-Salazar
- L. A. C. P. da Mota
- Irene Weber
- Francesca A. Lisi
Venues
- CoRR
- J. Symb. Log.
- Games Econ. Behav.
- Notre Dame J. Formal Log.
- SIAM J. Comput.
- Ann. Pure Appl. Log.
- Algebraic and Proof-theoretic Aspects of Non-classical Logics
- IBERAMIA
- Grammars
- CiE
- ILP Work-in-progress reports
- Acta Informatica
- ICSE
- ICALP (2)
- Theor. Comput. Sci.
- Mach. Learn.
- NDSS
- CIAA
- FLAP
- Int. J. Comput. Math.
- ESORICS
- SIAM J. Appl. Dyn. Syst.
- ICT
- Softw. Test. Verification Reliab.
- ISWC (Posters, Demos & Industry Tracks)
- CARDIS
- AI Commun.
- BTW
- WoLLIC
- Math. Log. Q.
- AI*IA
- J. Autom. Reason.
- Bull. EATCS
- ISIT
- J. Log. Comput.
- Softw. Eng. J.
- LA-NMR
- Developments in Language Theory
- CDC
Related Topics
Related Keywords
Popularity