Sciweavers

14649 search results - page 173 / 2930
» Principles of problem solving
Sort
View
CADE
2003
Springer
16 years 6 months ago
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
Renate A. Schmidt, Ullrich Hustadt
IIR
2010
15 years 7 months ago
Developing the Quantum Probability Ranking Principle
In this work, we summarise the development of a ranking principle based on quantum probability theory, called the Quantum Probability Ranking Principle (QPRP), and we also provide...
Guido Zuccon, Leif Azzopardi
DAGSTUHL
2003
15 years 7 months ago
The Autotelic Principle
— The paper focuses on the problem how a community of distributed agents may autonomously invent and coordinate lexicons and grammars. Although our earlier experiments have shown...
Luc Steels
JC
2006
61views more  JC 2006»
15 years 6 months ago
The discretized discrepancy principle under general source conditions
We discuss adaptive strategies for choosing regularization parameters in TikhonovPhillips regularization of discretized linear operator equations. Two rules turn out to be entirel...
Peter Mathé, Sergei V. Pereverzev
JCSS
2002
86views more  JCSS 2002»
15 years 5 months ago
A New Proof of the Weak Pigeonhole Principle
The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, Paris, Wilkieand Woods 16] showed ho...
Alexis Maciel, Toniann Pitassi, Alan R. Woods