INDUCTIVE CONCEPT LEARNING
Experts
- Haym Hirsh
- Ambrus Kaposi
- András Kovács
- Neil Immerman
- Oded Padon
- Nicolai Kraus
- Fredrik Nordvall Forsberg
- Thorsten Altenkirch
- Mooly Sagiv
- Ben Wegbreit
- Sharon Shoham
- Nils Anders Danielsson
- Alan Bundy
- James W. Thatcher
- Elissa Ross
- Yotam M. Y. Feldman
- Saso Dzeroski
- Salvatore Baglio
- Robert G. Reynolds
- Leonard Pitt
- Nada Lavrac
- Aaron R. Bradley
- Evgueni N. Smirnov
- Takahito Aoto
- Nina Mishra
- Markus Holzer
- Eric G. Wagner
- Carsten Damm
- Makoto Tatsuta
- Bruno Andò
- Bruce E. Sagan
- Claudio Carpineto
- Jesse B. Wright
- Steven M. German
- James Cussens
- Michael A. Lepori
- Xi Peng
- Seán Matthews
- Giovanni Curi
Venues
- CoRR
- Log. Methods Comput. Sci.
- MFCS
- CADE
- FoSSaCS
- IECON
- IJCAI
- AAAI
- J. Symb. Log.
- EMBC
- ISCAS
- Formal Aspects Comput.
- Inf. Comput.
- RTA
- LICS
- Math. Log. Q.
- BioCAS
- ILP
- Discret. Math.
- Theor. Comput. Sci.
- AISC
- IEEE Trans. Software Eng.
- Synth.
- TPHOLs
- Comput.
- ICML
- ECML
- TYPES
- BMC Bioinform.
- CMCS
- IEEE Trans. Syst. Man Cybern.
- TACAS (2)
- TACAS (1)
- Semantics of Specification Languages
- TAPSOFT
- Proof, Language, and Interaction
- DSD
- UCNC
- FM
Related Topics
Related Keywords
Popularity