|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
174 | Lina Eriksson, Alan Hájek |
What Are Degrees of Belief? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(2), pp. 183-213, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
probabilism, betting interpretation, Dutch book argument, radical interpretation, primitivism, rationality, representation theorem, degrees of belief |
33 | Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
Separating Counting Communication Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 281-292, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
complexity of Boolean function, communication complexity and distributed computing, probabilism, lower bound arguments, separation of complexity classes |
32 | Peter J. Lewis, Don Fallis |
Accuracy, conditionalization, and probabilism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(5), pp. 4017-4033, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Yong Wang |
Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.03278, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
32 | Yong Wang |
Truly Concurrent Calculi with Reversibility, Probabilism and Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.10156, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
32 | Georg Schnitger |
Probabilism versus Alternation for Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adventures Between Lower Bounds and Higher Altitudes ![In: Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday, pp. 113-126, 2018, Springer, 978-3-319-98354-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Jürgen Landes |
Probabilism, entropies and strictly proper scoring rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 63, pp. 1-21, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Luigi Secchi |
The main two arguments for probabilism are flawed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(3), pp. 287-295, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Edwin D. Mares |
Belief Revision, Probabilism, and Logic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 7(4), pp. 647-670, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | John Robert Gareth Williams |
Generalized Probabilism: Dutch Books and Accuracy Domination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 41(5), pp. 811-840, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Seth Yalcin |
Context Probabilism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Amsterdam Colloquium on Logic, Language and Meaning ![In: Logic, Language and Meaning - 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers, pp. 12-21, 2011, Springer, 978-3-642-31481-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Mark Kaplan |
In defense of modest probabilism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 176(1), pp. 41-55, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | T. M. Rabehaja, Jeff W. Sanders |
Refinement Algebra with Explicit Probabilism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 63-70, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Robert P. Daley, Bala Kalyanasundaram, Mahe Velauthapillai |
The power of probabilism in Popperian FINite learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 6(1), pp. 41-62, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Robert P. Daley, Bala Kalyanasundaram, Mahendran Velauthapillai |
The Power of Probabilism in Popperian FINite Learning (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AII ![In: Analogical and Inductive Inference, International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings, pp. 151-169, 1992, Springer, 3-540-56004-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Yifeng Chen, Jeff W. Sanders |
Unifying Probability with Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 467-482, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | David Atkinson, Jeanne Peijnenburg |
Probability all the Way Up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 153(2), pp. 187-197, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
On the Markovian Randomized Strategy of Controller for Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 149-158, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Juraj Hromkovic, Georg Schnitger |
Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 66-80, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata |
23 | Horacio L. Arló-Costa |
Iterated abduction and conditional coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 173-186, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Pierre Seifert |
Using Fewer Qubits in Shor's Factorization Algorithm Via Simultaneous Diophantine Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2001, The Cryptographer's Track at RSA Conference 2001, San Francisco, CA, USA, April 8-12, 2001, Proceedings, pp. 319-327, 2001, Springer, 3-540-41898-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Gilles Brassard, Peter Høyer, Alain Tapp |
Quantum Cryptanalysis of Hash and Claw-Free Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 163-169, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|