|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 14 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
40 | Selmer Bringsjord, Naveen Sundar Govindarajulu |
Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PT-AI ![In: Fundamental Issues of Artificial Intelligence - 2nd Conference on Philosophy and Theory of Artificial Intelligence, PT-AI 2013, Oxford, UK, September 21-22, 2013, selected and invited papers., pp. 185-202, 2013, Springer, 978-3-319-26483-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Glen Hoffmann |
Two kinds of a priori infallibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 181(2), pp. 241-253, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
40 | Anita Konzelmann Ziv |
Bolzanian knowing: infallibility, virtue and foundational truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 183(1), pp. 27-45, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
36 | Arthur Charlesworth |
Comprehending software correctness implies comprehending an intelligence-related limitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(3), pp. 590-612, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem |
28 | Xiaoming Dai, Yong Bai, Lan Chen |
Shedding New Light on Merit Factor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 67th IEEE Vehicular Technology Conference, VTC Spring 2008, 11-14 May 2008, Singapore, pp. 1776-1780, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Joaquin Gonzalez-Rodriguez, Daniel Ramos 0001 |
Forensic Automatic Speaker Classification in the "Coming Paradigm Shift". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speaker Classification (1) ![In: Speaker Classification I: Fundamentals, Features, and Methods, pp. 205-217, 2007, Springer, 978-3-540-74186-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Daubert rules, calibration, DNA, forensic, likelihood ratio, paradigm shift, speaker classification |
28 | E. J. Lowe |
Opening plenary talk: Recent advances in metaphysics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 1, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|