A Model+Solver Approach to Concept Learning

DOI10.1007/978-3-319-49130-1_20zbMath1430.68267MaRDI QIDQ5215369

Francesca A. Lisi

Publication date: 10 February 2020

Published in: AI*IA 2016 Advances in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-49130-1_20

zbMATH Keywords

constraint satisfaction; concept learning; description logics; answer set programming; declarative modeling

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N17: Logic programming