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
- R. Ramanujam
- Emilio Muñoz-Velasco
- Kenichi Asai
- Anantha Padmanabha
- Dirk Pattinson
- Peter Sestoft
- Robert Glück
- Hans van Ditmarsch
- María Alpuente
- Richard Membarth
- Miguel Gómez-Zamalloa
- Sebastian Hack
- Roland Leißa
- Lutz Schröder
- Wiebe van der Hoek
- Jens Palsberg
- Stefan Brass
- Torben Æ. Mogensen
- Sandrine Blazy
- Guram Bezhanishvili
- Abbas Edalat
- Frank Wolter
- Michael Sperber
- Lutz Straßburger
- Valentin Goranko
- Dazhu Li
- Johan van Benthem
- Andreas Herzig
- Josep Silva
- John P. Gallagher
Venues
- CoRR
- PEPM
- Advances in Modal Logic
- Notre Dame J. Formal Log.
- J. Symb. Log.
- J. Log. Comput.
- Stud Logica
- LOPSTR
- SPLT
- J. Philos. Log.
- Log. J. IGPL
- J. Log. Lang. Inf.
- AiML
- New Gener. Comput.
- Ann. Pure Appl. Log.
- Theor. Comput. Sci.
- AAAI
- IJCAI
- Arch. Math. Log.
- LICS
- Math. Log. Q.
- ACM Comput. Surv.
- J. Appl. Non Class. Logics
- Math. Struct. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- ICLP
- ML
- POPL
- Log. Methods Comput. Sci.
- CSL
- Rev. Symb. Log.
- ECAI
- NACLP
- Fundam. Informaticae
- Sci. Comput. Program.
- ACM Trans. Program. Lang. Syst.
- High. Order Symb. Comput.
- J. Appl. Log.
- Partial Evaluation
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend