SAT-Based PAC Learning of Description Logic Concepts (bibtex)

by Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph and Lutz, Carsten

Reference:

Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph and Lutz, Carsten, "SAT-Based PAC Learning of Description Logic Concepts", In 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023.

Bibtex Entry:

@inproceedings{cate2023SAT,
  title={{SAT-Based PAC Learning of Description Logic Concepts}},
  author={Cate, Balder ten and Funk, Maurice and Jung, Jean Christoph and Lutz, Carsten},
  booktitle={32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)},
  year={2023},
  url= {https://browse.arxiv.org/pdf/2305.08511.pdf},
  keywords={easecrc_knowledge},
}