Reasoning About Inconsistent Formulas
Fecha de publicación:
2020
Editorial:
International Joint Conferences on Artificial Intelligence
Versión del editor:
Descripción física:
p. 4899-4906
ISBN:
978-0-9992411-6-5
Patrocinado por:
This work is supported by the AI Interdisciplinary Institute ANITI, funded by the French program "Investing for the Future - PIA3" under Grant agreement no ANR-19-PI3A-0004, by the Spanish Government under project TIN2016-79190-R and by the Principality of Asturias under grant IDI/2018/000176.
Colecciones
- Informática [789]
- Investigaciones y Documentos OpenAIRE [7879]
- Ponencias, Discursos y Conferencias [4045]
Ficheros en el ítem
Métricas
Compartir
Estadísticas de uso
Metadatos
Este ítem está sujeto a una licencia Creative Commons