Learning Concepts Definable in First-Order Logic with Counting

Piscataway, NJ / IEEE (2019) [Contribution to a book, Contribution to a conference proceedings]

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE
Page(s): 13 Seiten

Authors

Authors

van Bergerem, Steffen

Identifier