On the computational complexity of assum
โ
Yannis Dimopoulos; Bernhard Nebel; Francesca Toni
๐
Article
๐
2002
๐
Elsevier Science
๐
English
โ 177 KB
Bondarenko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, the framework extends these formalisms by generalising the semantics of admissible and preferred arguments, origina