Howard A. Blair

Publication Activity (10 Years)

Years Active: 1982-2021
Publications (10 Years): 4

Top Topics

Distributed Representations

Top Venues

Publications

Howard A. Blair, H. Shelton Jacinto, Paul M. Alsing
Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction. CoRR (2021)
Paul M. Alsing, Howard A. Blair, Matthew Corne, Gordon Jones, Warner A. Miller, Konstantin Mischaikow, Vidit Nanda
Topological Signals of Singularities in Ricci Flow. Axioms 6 (3) (2017)
Daniel R. Patten, Howard A. Blair
Heterotic Continuous Time Real-valued/Boolean-valued Networks. NeSy@HLAI (2016)
Daniel R. Patten, Howard A. Blair, David W. Jakel, Robert J. Irwin
Differential Calculus on Cayley Graphs. CoRR (2015)
Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel
Set based logic programming. Ann. Math. Artif. Intell. 52 (1) (2008)
Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera
Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values. ISAIM (2008)
Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera
Elementary Differential Calculus on Discrete and Hybrid Structures. LFCS (2007)
Howard A. Blair
Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces. Computational Structures for Modelling Space, Time and Causality (2006)
Howard A. Blair
Dynamical Properties of Answer Set Programs. Answer Set Programming (2001)
Howard A. Blair
Locating Self-Organization at the Edge of Chaos. Electron. Notes Theor. Comput. Sci. 40 (2000)
Howard A. Blair
The Differential Scheme for Models of Computation. Electron. Notes Theor. Comput. Sci. 40 (2000)
Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn
A Continuum of Discrete Systems. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Howard A. Blair, Fred Dushin, Paul R. Humenn
Simulations between Programs as Cellular Automata. LPNMR (1997)
Howard A. Blair
Designing Dependencies. Fundam. Informaticae 28 (1-2) (1996)
Howard A. Blair, V. Wiktor Marek, John S. Schlipf
The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15 (2) (1995)
Howard A. Blair
Game Characterizations of Logic Program Properties. LPNMR (1995)
Peter Cholak, Howard A. Blair
The Complexity of Local Stratification. Fundam. Informaticae 21 (4) (1994)
Mino Bai, Howard A. Blair
General Model Theoretic Semantics for Higher-Order Horn Logic Programming. LPAR (1992)
Krzysztof R. Apt, Howard A. Blair
Arithmetic classification of perfect models of stratified programs. Fundam. Informaticae 14 (3) (1991)
Feng Yang, Allen L. Brown Jr., Howard A. Blair
Programming in Default Logic. LPNMR (1990)
Howard A. Blair, Allen L. Brown Jr.
Definite Clause Programs are Canonical (over a suitable domain). Ann. Math. Artif. Intell. 1 (1990)
Howard A. Blair, V. S. Subrahmanian
Paraconsistent Logic Programming. Theor. Comput. Sci. 68 (2) (1989)
Howard A. Blair
Metalogic Programming and Direct Universal Computability. META (1988)
Krzysztof R. Apt, Howard A. Blair
Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP (1988)
Howard A. Blair
Canoncical Conservative Extensions of Logic Program Completions. SLP (1987)
Howard A. Blair, V. S. Subrahmanian
Paraconsistent Logic Programming. FSTTCS (1987)
Andrzej Trybulec, Howard A. Blair
Computer Aider Reasoning. Logic of Programs (1985)
Andrzej Trybulec, Howard A. Blair
Computer Assisted Reasoning with MIZAR. IJCAI (1985)
Howard A. Blair
The Intractability of Validity in Logic Programming and Dynamic Logic. Logic of Programs (1983)
Howard A. Blair
The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language Inf. Control. 54 (1/2) (1982)
Howard A. Blair
The Undecidability of Two Completeness Notions for the "Negation as Failure". ICLP (1982)