Howard A. Blair

35 papers A* 1B 5Misc 2Journal 13Unranked 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
Quantum State Diffusion on a Graph.
CoRR
John C. Vining III, Howard A. Blair
2021 J jnl
Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction.
CoRR
Howard A. Blair, H. Shelton Jacinto, Paul M. Alsing
2017 J jnl
Topological Signals of Singularities in Ricci Flow.
Axioms
Paul M. Alsing, Howard A. Blair, Matthew Corne, Gordon Jones, Warner A. Miller, Konstantin Mischaikow, Vidit Nanda
2016 — conf
Heterotic Continuous Time Real-valued/Boolean-valued Networks.
NeSy@HLAI
Daniel R. Patten, Howard A. Blair
2015 J jnl
Differential Calculus on Cayley Graphs.
CoRR
Daniel R. Patten, Howard A. Blair, David W. Jakel, Robert J. Irwin
2008 Misc conf
Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values.
ISAIM
Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera
2008 J jnl
Set based logic programming.
Ann. Math. Artif. Intell.
Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel
2007 Misc conf
Elementary Differential Calculus on Discrete and Hybrid Structures.
LFCS
Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera
2006 — conf
Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces.
Computational Structures for Modelling Space, Time and Causality
Howard A. Blair
2001 — conf
Dynamical Properties of Answer Set Programs.
Answer Set Programming
Howard A. Blair
2000 — conf
Locating Self-Organization at the Edge of Chaos.
MFCSIT
Howard A. Blair
2000 — conf
The Differential Scheme for Models of Computation.
MFCSIT
Howard A. Blair
1999 — ch.
Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations.
The Logic Programming Paradigm
Howard A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, T. Metin Sezgin
1997 J jnl
A Continuum of Discrete Systems.
Ann. Math. Artif. Intell.
Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn
1997 B conf
Simulations between Programs as Cellular Automata.
LPNMR
Howard A. Blair, Fred Dushin, Paul R. Humenn
1996 J jnl
Designing Dependencies.
Fundam. Informaticae
Howard A. Blair
1995 B conf
Game Characterizations of Logic Program Properties.
LPNMR
Howard A. Blair
1995 J jnl
The Expressiveness of Locally Stratified Programs.
Ann. Math. Artif. Intell.
Howard A. Blair, V. Wiktor Marek, John S. Schlipf
1994 J jnl
The Complexity of Local Stratification.
Fundam. Informaticae
Peter Cholak, Howard A. Blair
1992 B conf
General Model Theoretic Semantics for Higher-Order Horn Logic Programming.
LPAR
Mino Bai, Howard A. Blair
1992 — ed.
Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
1991 J jnl
Arithmetic classification of perfect models of stratified programs.
Fundam. Informaticae
Krzysztof R. Apt, Howard A. Blair
1990 J jnl
Definite Clause Programs are Canonical (over a suitable domain).
Ann. Math. Artif. Intell.
Howard A. Blair, Allen L. Brown Jr.
1990 B conf
Programming in Default Logic.
LPNMR
Feng Yang, Allen L. Brown Jr., Howard A. Blair
1989 J jnl
Paraconsistent Logic Programming.
Theor. Comput. Sci.
Howard A. Blair, V. S. Subrahmanian
1988 — conf
Arithmetic Classification of Perfect Models of Stratified Programs.
ICLP/SLP
Krzysztof R. Apt, Howard A. Blair
1988 — conf
Metalogic Programming and Direct Universal Computability.
META
Howard A. Blair
1988 — ch.
Towards a Theory of Declarative Knowledge.
Foundations of Deductive Databases and Logic Programming.
Krzysztof R. Apt, Howard A. Blair, Adrian Walker
1987 — conf
Canoncical Conservative Extensions of Logic Program Completions.
SLP
Howard A. Blair
1987 — conf
Paraconsistent Logic Programming.
FSTTCS
Howard A. Blair, V. S. Subrahmanian
1985 — conf
Computer Aider Reasoning.
Logic of Programs
Andrzej Trybulec, Howard A. Blair
1985 A* conf
Computer Assisted Reasoning with MIZAR.
IJCAI
Andrzej Trybulec, Howard A. Blair
1983 — conf
The Intractability of Validity in Logic Programming and Dynamic Logic.
Logic of Programs
Howard A. Blair
1982 J jnl
The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language
Inf. Control.
Howard A. Blair
1982 B conf
The Undecidability of Two Completeness Notions for the "Negation as Failure".
ICLP
Howard A. Blair