Proof Compexity of Propositional Default Logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10057528" target="_blank" >RIV/00216208:11320/10:10057528 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Proof Compexity of Propositional Default Logic
Popis výsledku v původním jazyce
We study the proof complexity of Bonattiś and Olivettiś formalization of propositional default logic. we show that, depending on the kind of reasoning (credulous and skeptical), proofs in their system are as long as classical propositional logic ( thus the formalization cannot be improved) or of exponential size, respectively.
Název v anglickém jazyce
Proof Compexity of Propositional Default Logic
Popis výsledku anglicky
We study the proof complexity of Bonattiś and Olivettiś formalization of propositional default logic. we show that, depending on the kind of reasoning (credulous and skeptical), proofs in their system are as long as classical propositional logic ( thus the formalization cannot be improved) or of exponential size, respectively.

Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
THEORY AND APPLICATIONS OF MODELS OF SATISFIABILITY TESTING-SAT 2010
ISBN
978-3-642-14185-0
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
14
Strana od-do
—
Název nakladatele
Springer-Verlag
Místo vydání
Berlin
Místo konání akce
Brno, ČR
Datum konání akce
23. 8. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000281446500005

Podobné výsledky(10)