The Undecidability of Two Completeness Notions for the "Negation as Failure". - Howard A. Blair (ICLP, 1982)

The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language - Howard A. Blair (Inf. Control., 1982)

The Intractability of Validity in Logic Programming and Dynamic Logic. - Howard A. Blair (Logic of Programs, 1983)

Computer Assisted Reasoning with MIZAR. - Andrzej Trybulec; Howard A. Blair (IJCAI, 1985)

Computer Aider Reasoning. - Andrzej Trybulec; Howard A. Blair (Logic of Programs, 1985)

Canoncical Conservative Extensions of Logic Program Completions. - Howard A. Blair (SLP, 1987)

Towards a Theory of Declarative Knowledge. - Krzysztof R. Apt; Howard A. Blair; Adrian Walker (Foundations of Deductive Databases and Logic Programming., 1988)

Metalogic Programming and Direct Universal Computability. - Howard A. Blair (META, 1988)

Paraconsistent Logic Programming. - Howard A. Blair; V. S. Subrahmanian (Theor. Comput. Sci., 1989)

Programming in Default Logic. - Feng Yang; Allen L. Brown Jr.; Howard A. Blair (LPNMR, 1990)

Definite Clause Programs are Canonical (over a suitable domain). - Howard A. Blair; Allen L. Brown Jr. (Ann. Math. Artif. Intell., 1990)

Arithmetic classification of perfect models of stratified programs. - Krzysztof R. Apt; Howard A. Blair (Fundam. Informaticae, 1991)

General Model Theoretic Semantics for Higher-Order Horn Logic Programming. - Mino Bai; Howard A. Blair (LPAR, 1992)

The Complexity of Local Stratification. - Peter Cholak; Howard A. Blair (Fundam. Informaticae, 1994)

Game Characterizations of Logic Program Properties. - Howard A. Blair (LPNMR, 1995)

The Expressiveness of Locally Stratified Programs. - Howard A. Blair; V. Wiktor Marek; John S. Schlipf (Ann. Math. Artif. Intell., 1995)

Designing Dependencies. - Howard A. Blair (Fundam. Informaticae, 1996)

Simulations between Programs as Cellular Automata. - Howard A. Blair; Fred Dushin; Paul R. Humenn (LPNMR, 1997)

A Continuum of Discrete Systems. - Howard A. Blair; Jagan Chidella; Fred Dushin; Audrey Ferry; Paul R. Humenn (Ann. Math. Artif. Intell., 1997)

Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations. - Howard A. Blair; Fred Dushin; David W. Jakel; Angel J. Rivera; T. Metin Sezgin (The Logic Programming Paradigm, 1999)

The Differential Scheme for Models of Computation. - Howard A. Blair (MFCSIT, 2000)

Locating Self-Organization at the Edge of Chaos. - Howard A. Blair (MFCSIT, 2000)

Dynamical Properties of Answer Set Programs. - Howard A. Blair (Answer Set Programming, 2001)

Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces. - Howard A. Blair (Computational Structures for Modelling Space, Time and Causality, 2006)

Elementary Differential Calculus on Discrete and Hybrid Structures. - Howard A. Blair; David W. Jakel; Robert J. Irwin; Angel J. Rivera (LFCS, 2007)

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values. - Howard A. Blair; David W. Jakel; Robert J. Irwin; Angel J. Rivera (ISAIM, 2008)

Set based logic programming. - Howard A. Blair; Victor W. Marek; Jeffrey B. Remmel (Ann. Math. Artif. Intell., 2008)

Differential Calculus on Cayley Graphs. - Daniel R. Patten; Howard A. Blair; David W. Jakel; Robert J. Irwin (CoRR, 2015)

Heterotic Continuous Time Real-valued/Boolean-valued Networks. - Daniel R. Patten; Howard A. Blair (NeSy@HLAI, 2016)

Topological Signals of Singularities in Ricci Flow. - Paul M. Alsing; Howard A. Blair; Matthew Corne; Gordon Jones; Warner A. Miller; Konstantin Mischaikow; Vidit Nanda (Axioms, 2017)

Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction. - Howard A. Blair; H. Shelton Jacinto; Paul M. Alsing (CoRR, 2021)

Quantum State Diffusion on a Graph. - John C. Vining III; Howard A. Blair (CoRR, 2024)