Reasoning about inconsistent formulas

  1. Marques-Silva, J.
  2. Mencía, C.
Actes:
IJCAI International Joint Conference on Artificial Intelligence

ISSN: 1045-0823

ISBN: 9780999241165

Any de publicació: 2020

Volum: 2021-January

Pàgines: 4899-4906

Tipus: Aportació congrés

GOOGLE SCHOLAR
Font de les dades: Scopus