Learning Concepts Definable in First-Order Logic with Counting

van Bergerem, Steffen (Corresponding author)

Piscataway, NJ] : IEEE (2019, 2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE
Seite(n)/Artikel-Nr.: 13 Seiten