EXPLANATION BASED GENERALIZATION
Experts
- Germán Vidal
- Olivier Danvy
- Elvira Albert
- Neil D. Jones
- Michael Leuschel
- Germán Puebla
- Charles Consel
- Peter Thiemann
- Philippe Balbiani
- Kenichi Asai
- Anantha Padmanabha
- R. Ramanujam
- Emilio Muñoz-Velasco
- Peter Sestoft
- Miguel Gómez-Zamalloa
- Dirk Pattinson
- Hans van Ditmarsch
- Robert Glück
- María Alpuente
- Richard Membarth
- Sandrine Blazy
- Torben Æ. Mogensen
- Roland Leißa
- Sebastian Hack
- Frank Wolter
- Lutz Schröder
- Guram Bezhanishvili
- Wiebe van der Hoek
- Abbas Edalat
- Jens Palsberg
- Stefan Brass
- Guido Sciavicco
- Yde Venema
- Andreas Herzig
- Julia L. Lawall
- John P. Gallagher
- Dazhu Li
- Lars Birkedal
- Philippe Facon
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.
- IJCAI
- Ann. Pure Appl. Log.
- Theor. Comput. Sci.
- Math. Log. Q.
- LICS
- ACM Comput. Surv.
- Arch. Math. Log.
- J. Appl. Non Class. Logics
- ICLP
- Electron. Notes Theor. Comput. Sci.
- Math. Struct. Comput. Sci.
- AAAI
- POPL
- Rev. Symb. Log.
- Log. Methods Comput. Sci.
- ML
- ECAI
- CSL
- Fundam. Informaticae
- ACM Trans. Program. Lang. Syst.
- Partial Evaluation
- Sci. Comput. Program.
- High. Order Symb. Comput.
- CogSci
- J. Appl. Log.
Related Topics
Related Keywords
Popularity