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