Howard A. Blair - Publications

Affiliations: 
Electrical Engineering and Computer Science Syracuse University, Syracuse, NY, United States 
Area:
Computer Science

12 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Patten DR, Jakel DW, Irwin RJ, Blair HA. Heterotic quantum and classical computing on convergence spaces Proceedings of Spie - the International Society For Optical Engineering. 9500. DOI: 10.1117/12.2179050  0.565
2013 Blair HA, Alsing PM. Handy elementary algebraic properties of the geometry of entanglement Proceedings of Spie - the International Society For Optical Engineering. 8749. DOI: 10.1117/12.2015994  0.371
2012 McDonald JR, Alsing PM, Blair HA. A geometric view of quantum cellular automata Proceedings of Spie - the International Society For Optical Engineering. 8400. DOI: 10.1117/12.921329  0.342
2011 Irwin RJ, Blair HA. Quantum cellular automata without quiescent states Proceedings of Spie - the International Society For Optical Engineering. 8057. DOI: 10.1117/12.884182  0.54
2008 Blair HA, Marek VW, Remmel JB. Set based logic programming Annals of Mathematics and Artificial Intelligence. 52: 81-105. DOI: 10.1007/S10472-008-9098-1  0.405
2008 Blair HA, Jakel DW, Irwin RJ, Rivera AJ. Hybrid programs: Symmetrically combining natively discrete and continuous truth-values 10th International Symposium On Artificial Intelligence and Mathematics, Isaim 2008 0.511
2007 Blair HA, Jakel DW, Irwin RJ, Rivera A. Elementary differential calculus on discrete and hybrid structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4514: 41-53.  0.513
1997 Blair HA, Chidella J, Dushin F, Ferry A, Humenn P. A continuum of discrete systems Annals of Mathematics and Artificial Intelligence. 21: 153-186. DOI: 10.1023/A:1018913302060  0.408
1995 Blair HA, Marek VW, Schlipf JS. The expressiveness of locally stratified programs Annals of Mathematics and Artificial Intelligence. 15: 209-229. DOI: 10.1007/Bf01534455  0.375
1990 Blair HA, Brown AL. Definite clause programs are canonical (over a suitable domain) Annals of Mathematics and Artificial Intelligence. 1: 1-19. DOI: 10.1007/Bf01531067  0.336
1989 Blair HA, Subrahmanian VS. Paraconsistent logic programming Theoretical Computer Science. 68: 135-154. DOI: 10.1016/0304-3975(89)90126-6  0.508
1982 Blair HA. The recursion-theoretic complexity of the semantics of predicate logic as a programming language Information and Control. 54: 25-47. DOI: 10.1016/S0019-9958(82)91234-7  0.369
Show low-probability matches.