Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for infallibility with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001-2013 (7)
Publication types (Num. hits)
article(3) inproceedings(4)
Venues (Conferences, Journals, ...)
Synth.(2) ACM Trans. Comput. Log.(1) FOIS(1) PT-AI(1) Speaker Classification (1)(1) VTC Spring(1)
Authors
Anita Konzelmann Ziv(1) Arthur Charlesworth(1) Daniel Ramos 0001(1) E. J. Lowe(1) Glen Hoffmann(1) Joaquin Gonzalez-Rodriguez(1) Lan Chen(1) Naveen Sundar Govindarajulu(1) Selmer Bringsjord(1) Xiaoming Dai(1) Yong Bai(1)
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
40Selmer Bringsjord, Naveen Sundar Govindarajulu Leibniz's Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. Search on Bibsonomy PT-AI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
40Glen Hoffmann Two kinds of a priori infallibility. Search on Bibsonomy Synth. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
40Anita Konzelmann Ziv Bolzanian knowing: infallibility, virtue and foundational truth. Search on Bibsonomy Synth. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
36Arthur Charlesworth Comprehending software correctness implies comprehending an intelligence-related limitation. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 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
28Xiaoming Dai, Yong Bai, Lan Chen Shedding New Light on Merit Factor. Search on Bibsonomy VTC Spring The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Joaquin Gonzalez-Rodriguez, Daniel Ramos 0001 Forensic Automatic Speaker Classification in the "Coming Paradigm Shift". Search on Bibsonomy Speaker Classification (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Daubert rules, calibration, DNA, forensic, likelihood ratio, paradigm shift, speaker classification
28E. J. Lowe Opening plenary talk: Recent advances in metaphysics. Search on Bibsonomy FOIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license