Reasoning About Inconsistent Formulas
- Marques-Silva, Joao
- Mencia, Carlos
- Bessiere, C (coord.)
ISBN: 978-0-9992411-6-5
Datum der Publikation: 2020
Seiten: 4899-4906
Kongress: 29th International Joint Conference on Artificial Intelligence
Art: Konferenz-Beitrag