Complexity results for explanations in the structural-model approach
Thomas Eiter, Thomas LukasiewiczVolume:
154
Année:
2004
Langue:
english
Pages:
54
DOI:
10.1016/j.artint.2003.06.002
Fichier:
PDF, 595 KB
english, 2004