Attributes | Values |
---|
rdf:type
| |
Description
| - 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.
- 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. (en)
|
Title
| - Proof Compexity of Propositional Default Logic
- Proof Compexity of Propositional Default Logic (en)
|
skos:prefLabel
| - Proof Compexity of Propositional Default Logic
- Proof Compexity of Propositional Default Logic (en)
|
skos:notation
| - RIV/00216208:11320/10:10057528!RIV11-MSM-11320___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/10:10057528
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Logic; Default; Propositional; Compexity; Proof (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - THEORY AND APPLICATIONS OF MODELS OF SATISFIABILITY TESTING-SAT 2010
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Beyersdorff, Olaf
- Müller, Sebastian Peter
- Meier, Arne
- Thomas, Michael
- Vollmer, Heribert
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open...ain/vavai/riv/wos
| |
http://linked.open.../riv/zahajeniAkce
| |
issn
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |