EXPLANATION BASED GENERALIZATION
Experts
- Germán Vidal
- Olivier Danvy
- Elvira Albert
- Neil D. Jones
- Michael Leuschel
- Charles Consel
- Germán Puebla
- Peter Thiemann
- Philippe Balbiani
- Anantha Padmanabha
- Emilio Muñoz-Velasco
- R. Ramanujam
- Kenichi Asai
- Dirk Pattinson
- Robert Glück
- Hans van Ditmarsch
- Miguel Gómez-Zamalloa
- Richard Membarth
- María Alpuente
- Peter Sestoft
- Abbas Edalat
- Stefan Brass
- Sebastian Hack
- Roland Leißa
- Sandrine Blazy
- Torben Æ. Mogensen
- Lutz Schröder
- Wiebe van der Hoek
- Guram Bezhanishvili
- Jens Palsberg
- Frank Wolter
- Dazhu Li
- Michael Sperber
- Julia L. Lawall
- Andreas Herzig
- Dimiter Vakarelov
- Lars Birkedal
- John P. Gallagher
- Lutz Straßburger
Venues
- CoRR
- PEPM
- Advances in Modal Logic
- Notre Dame J. Formal Log.
- J. Symb. Log.
- Stud Logica
- J. Log. Comput.
- LOPSTR
- SPLT
- J. Philos. Log.
- Log. J. IGPL
- J. Log. Lang. Inf.
- AiML
- New Gener. Comput.
- Ann. Pure Appl. Log.
- IJCAI
- Theor. Comput. Sci.
- AAAI
- LICS
- Math. Log. Q.
- Arch. Math. Log.
- ACM Comput. Surv.
- J. Appl. Non Class. Logics
- ICLP
- Math. Struct. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- CSL
- ML
- Rev. Symb. Log.
- Log. Methods Comput. Sci.
- ECAI
- POPL
- Fundam. Informaticae
- NACLP
- CogSci
- High. Order Symb. Comput.
- ACM Trans. Program. Lang. Syst.
- J. Appl. Log.
- Sci. Comput. Program.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend