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