6978 search results - page 221 / 1396 » On Proofs in System P |
166
click to vote
FOCS
2007
IEEE
16 years 28 days ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
197
click to vote
IFSA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
187
click to vote
DIAGRAMS
2010
Springer
15 years 7 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
161
click to vote
ARITH
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
148
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...