eBook, PDF

On the Complexity of Fragments of Nonmonotonic Logics (eBook, PDF)

Sofort per Download lieferbar
17,08 €
inkl. MwSt.
Alle Infos zum eBook verschenken
PAYBACK Punkte
0 °P sammeln!
Nonmonotonic reasoning is one of the most important tasks in the area of knowledge representation and reasoning. Several logics have been developed to formalize nonmonotonic reasoning. In this thesis we consider three well-known logics that facilitate nonmonotonic reasoning by different means: default logic, autoepistemic logic and circumscription. We study the computational complexity of consistency, reasoning and counting problems for fragments of these logics obtained by restricting the available Boolean connectives, as well as the possibility to translate between these fragments. For this ...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.