𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The complexity of reasoning for fragments of default logic

✍ Scribed by Beyersdorff, O.; Meier, A.; Thomas, M.; Vollmer, H.

Book ID
118069011
Publisher
Oxford University Press
Year
2011
Tongue
English
Weight
437 KB
Volume
22
Category
Article
ISSN
0955-792X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Proof complexity of propositional defaul
Proof complexity of propositional default logic
✍ Olaf Beyersdorff; Arne Meier; Sebastian MΓΌller; Michael Thomas; Heribert Vollmer πŸ“‚ Article πŸ“… 2011 πŸ› Springer 🌐 English βš– 551 KB
On the computational complexity of assum
On the computational complexity of assumption-based argumentation for default reasoning
✍ 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