Year |
Citation |
Score |
2024 |
Bringsjord S, Giancola M, Govindarajulu NS, Slowik J, Oswald J, Bello P, Clark M. Argument-based inductive logics, with coverage of compromised perception. Frontiers in Artificial Intelligence. 6: 1144569. PMID 38259824 DOI: 10.3389/frai.2023.1144569 |
0.714 |
|
2020 |
Bringsjord S, Govindarajulu NS. Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8 Theory and Practice of Logic Programming. 1-8. DOI: 10.1017/S1471068420000071 |
0.751 |
|
2020 |
Bringsjord S. Computer Science as Immaterial Formal Logic Philosophy & Technology. 33: 1-9. DOI: 10.1007/S13347-019-00366-7 |
0.341 |
|
2019 |
Govindarajulu NS, Bringsjord S, Peveler M. On Quantified Modal Theorem Proving for Modeling Ethics Arxiv: Artificial Intelligence. 311: 43-49. DOI: 10.4204/Eptcs.311.7 |
0.786 |
|
2016 |
Ahmed N, Bello P, Bringsjord S, Clark M, Hayes B, Miller C, Oliehoek FA, Stein F, Spaan MTJ. The 2015 AAAI Fall Symposium Series Reports Ai Magazine. 37: 85-90. DOI: 10.1609/Aimag.V37I2.2661 |
0.719 |
|
2015 |
Bringsjord S. The symbol grounding problem … remains unsolved Journal of Experimental and Theoretical Artificial Intelligence. 27: 63-72. DOI: 10.1080/0952813X.2014.940139 |
0.375 |
|
2015 |
Bringsjord S. A Vindication of Program Verification History and Philosophy of Logic. 36: 262-277. DOI: 10.1080/01445340.2015.1065461 |
0.31 |
|
2015 |
Bringsjord S, Licato J. By Disanalogy, Cyberwarfare Is Utterly New Philosophy & Technology. 28: 339-358. DOI: 10.1007/S13347-015-0194-Y |
0.382 |
|
2015 |
Govindarajalulu NS, Bringsjord S, Taylor J. Proof verification and proof discovery for relativity Synthese. 192: 2077-2094. DOI: 10.1007/S11229-014-0424-3 |
0.684 |
|
2014 |
Hummel JE, Licato J, Bringsjord S. Analogy, explanation, and proof. Frontiers in Human Neuroscience. 8: 867. PMID 25414655 DOI: 10.3389/Fnhum.2014.00867 |
0.458 |
|
2014 |
Bringsjord S, Govindarajulu NS, Ellis S, Mccarty E, Licato J. Nuclear deterrence and the logic of deliberative mindreading Cognitive Systems Research. 28: 20-43. DOI: 10.1016/J.Cogsys.2013.08.001 |
0.773 |
|
2014 |
Johnson J, Govindarajulu NS, Bringsjord S. A three-pronged simonesque approach to modeling and simulation in deviant “bi-pay” auctions, and beyond Mind & Society. 13: 59-82. DOI: 10.1007/S11299-014-0141-0 |
0.782 |
|
2013 |
Bello P, Bringsjord S. On How to Build a Moral Machine Topoi-An International Review of Philosophy. 32: 251-266. DOI: 10.1007/S11245-012-9129-8 |
0.783 |
|
2012 |
Govindarajulu NS, Bringsjord S. The Myth Of 'The Myth Of Hypercomputation' Parallel Processing Letters. 22: 1240012. DOI: 10.1142/S0129626412400129 |
0.748 |
|
2012 |
Bringsjord S, Govindarajulu NS. Given the Web, What Is Intelligence, Really? Metaphilosophy. 43: 464-479. DOI: 10.1111/J.1467-9973.2012.01760.X |
0.744 |
|
2012 |
Bringsjord S, Clark MH. Red-Pill Robots Only, Please Ieee Transactions On Affective Computing. 3: 394-397. DOI: 10.1109/T-Affc.2011.35 |
0.677 |
|
2012 |
Bringsjord S, Bringsjord A. Kluge: The Haphazard Construction of the Human Mind Philosophical Psychology. 25: 301-305. DOI: 10.1080/09515089.2011.583015 |
0.344 |
|
2011 |
Chapin N, Szymanski B, Bringsjord S, Schimanski B. A bottom-up complement to the logic-based top-down approach to the story arrangement test Journal of Experimental & Theoretical Artificial Intelligence. 23: 329-341. DOI: 10.1080/0952813X.2010.502313 |
0.715 |
|
2010 |
Bringsjord S. Meeting Floridi's Challenge to Artificial Intelligence from the Knowledge‐Game Test for Self‐Consciousness Metaphilosophy. 41: 292-312. DOI: 10.1111/J.1467-9973.2010.01639.X |
0.379 |
|
2010 |
Bringsjord S. God, souls, and Turing: in defense of the theological objection to the Turing test Kybernetes. 39: 414-422. DOI: 10.1108/03684921011036141 |
0.303 |
|
2009 |
Arkoudas K, Bringsjord S. Vivid: A framework for heterogeneous problem solving Artificial Intelligence. 173: 1367-1405. DOI: 10.1016/J.Artint.2009.06.002 |
0.408 |
|
2008 |
Bringsjord S. The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself Journal of Applied Logic. 6: 502-525. DOI: 10.1016/J.Jal.2008.09.001 |
0.337 |
|
2007 |
Arkoudas K, Bringsjord S. Computers, Justification, and Mathematical Knowledge Minds and Machines. 17: 185-202. DOI: 10.1007/S11023-007-9063-5 |
0.399 |
|
2006 |
Yang Y, Bringsjord S, Bello P. The mental possible worlds mechanism and the lobster problem: an analysis of a complex GRE logical reasoning task Journal of Experimental and Theoretical Artificial Intelligence. 18: 157-168. DOI: 10.1080/09528130600558125 |
0.736 |
|
2006 |
Bringsjord S, Yang Y. Human reasoning is heterogeneous—as Jon Barwise informed us Journal of Experimental and Theoretical Artificial Intelligence. 18: 117-119. DOI: 10.1080/09528130600558075 |
0.348 |
|
2006 |
Bringsjord S, Kellett O, Shilliday A, Taylor J, van Heuveln B, Yang Y, Baumes J, Ross K. A new Gödelian argument for hypercomputing minds based on the busy beaver problem Applied Mathematics and Computation. 176: 516-530. DOI: 10.1016/J.Amc.2005.09.071 |
0.733 |
|
2004 |
Bringsjord S. On Building Robot Persons: Response to Zlatev Mind. 14: 381-385. DOI: 10.1023/B:Mind.0000035477.39773.21 |
0.309 |
|
2004 |
Bringsjord S, Arkoudas K. The modal argument for hypercomputing minds Theoretical Computer Science. 317: 167-190. DOI: 10.1016/J.Tcs.2003.12.010 |
0.423 |
|
2003 |
Bringsjord S, Yang Y. The problems that generate the rationality debate are too easy, given what our economy now demands Behavioral and Brain Sciences. 26: 528-530. DOI: 10.1017/S0140525X03220112 |
0.311 |
|
2002 |
Bringsjord S, Zenzen M. Toward a Formal Philosophy of Hypercomputation Minds and Machines. 12: 241-258. DOI: 10.1023/A:1015651216328 |
0.362 |
|
2001 |
Bringsjord S. Are we evolved computers?: A critical review of Steven Pinker's How the mind works Philosophical Psychology. 14: 227-243. DOI: 10.1080/09515080120051580 |
0.371 |
|
2001 |
Bringsjord S. In Computation, Parallel is Nothing, Physical Everything Minds and Machines. 11: 95-99. DOI: 10.1023/A:1011257022242 |
0.357 |
|
2001 |
Bringsjord S, Bello P, Ferrucci D. Creativity, the Turing Test, and the (Better) Lovelace Test Minds and Machines. 11: 3-27. DOI: 10.1023/A:1011206622741 |
0.741 |
|
2000 |
Bringsjord S, Xiao H. A refutation of Penrose's Gödelian case against artificial intelligence Journal of Experimental and Theoretical Artificial Intelligence. 12: 307-329. DOI: 10.1080/09528130050111455 |
0.353 |
|
2000 |
Bringsjord S, Caporale C, Noel R. Animals, Zombanimals, and the Total Turing Test Journal of Logic, Language and Information. 9: 397-418. DOI: 10.1023/A:1008311207953 |
0.349 |
|
1999 |
Bringsjord S. The Zombie Attack on the Computational Conception of Mind Philosophy and Phenomenological Research. 59: 41-69. DOI: 10.2307/2653457 |
0.388 |
|
1998 |
Bringsjord S. Computationalism is dead; now what? Journal of Experimental and Theoretical Artificial Intelligence. 10: 393-402. DOI: 10.1080/095281398146662 |
0.403 |
|
1998 |
Bringsjord S, Ferrucci DA. Logic and Artificial Intelligence: Divorced, Still Married, Separated...? Minds and Machines. 8: 273-308. DOI: 10.1023/A:1008250617134 |
0.401 |
|
1997 |
Bringsjord S. Strong AI Is Simply Silly Ai Magazine. 18: 9-10. DOI: 10.1609/Aimag.V18I1.1268 |
0.314 |
|
1997 |
Bringsjord S, Zenzen M. Cognition Is Not Computation: The Argument from Irreversibility Synthese. 113: 285-320. DOI: 10.1023/A:1005019131238 |
0.367 |
|
1994 |
Bringsjord S. computation, among other things, is beneath us Minds and Machines. 4: 469-488. DOI: 10.1007/Bf00974171 |
0.33 |
|
1992 |
Bringsjord S. Is the connectionist-logicist clash one of AI's wonderful red herrings? Journal of Experimental and Theoretical Artificial Intelligence. 3: 319-349. DOI: 10.1080/09528139108915298 |
0.321 |
|
1992 |
Bringsjord S. Cinewrite: an Algorithm-sketch for Writing Novels Cinematically, and two Mysteries Therein Instructional Science. 21: 155-168. DOI: 10.1007/Bf00119662 |
0.386 |
|
1989 |
Bringsjord S. Grim on logic and omniscience Analysis. 49: 186-189. DOI: 10.1093/Analys/49.4.186 |
0.329 |
|
1986 |
Bringsjord S. Swinburne's argument from consciousness International Journal For Philosophy of Religion. 19: 127-143. DOI: 10.1007/Bf02350653 |
0.348 |
|
Show low-probability matches. |