CARLOS
MENCIA CASCALLANA
Profesor Titular de Universidad
Université de Toulouse
Tolosa, FranciaPublicacions en col·laboració amb investigadors/es de Université de Toulouse (3)
2020
-
Reasoning About Inconsistent Formulas
Proceedings of the twenty-ninth International Joint Conference on Artificial Intelligence
-
Reasoning About Strong Inconsistency in ASP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reasoning about inconsistent formulas
IJCAI International Joint Conference on Artificial Intelligence