Howard A. Blair

According to our database, Howard A. Blair authored at least 32 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Quantum State Diffusion on a Graph.

John C. Vining III, Howard A. Blair

CoRR, 2024

2021

Interaction of Multiple Tensor Product Operators of the Same Type: an Introduction.

Howard A. Blair, H. Shelton Jacinto, Paul M. Alsing

CoRR, 2021

2017

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

2016

Heterotic Continuous Time Real-valued/Boolean-valued Networks.

Daniel R. Patten, Howard A. Blair

Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016

2015

Differential Calculus on Cayley Graphs.

Daniel R. Patten, Howard A. Blair, David W. Jakel, Robert J. Irwin

CoRR, 2015

2008

Set based logic programming.

Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel

Ann. Math. Artif. Intell., 2008

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values.

Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

2007

Elementary Differential Calculus on Discrete and Hybrid Structures.

Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel J. Rivera

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006

Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces.

Howard A. Blair

Proceedings of the Computational Structures for Modelling Space, Time and Causality, 20.08., 2006

2001

Dynamical Properties of Answer Set Programs.

Howard A. Blair

Proceedings of the Answer Set Programming, 2001

2000

Locating Self-Organization at the Edge of Chaos.

Howard A. Blair

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

The Differential Scheme for Models of Computation.

Howard A. Blair

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

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

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1997

A Continuum of Discrete Systems.

Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn

Ann. Math. Artif. Intell., 1997

Simulations between Programs as Cellular Automata.

Howard A. Blair, Fred Dushin, Paul R. Humenn

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Designing Dependencies.

Howard A. Blair

Fundam. Informaticae, 1996

1995

The Expressiveness of Locally Stratified Programs.

Howard A. Blair, V. Wiktor Marek, John S. Schlipf

Ann. Math. Artif. Intell., 1995

Game Characterizations of Logic Program Properties.

Howard A. Blair

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

The Complexity of Local Stratification.

Peter Cholak, Howard A. Blair

Fundam. Informaticae, 1994

1992

General Model Theoretic Semantics for Higher-Order Horn Logic Programming.

Mino Bai, Howard A. Blair

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Arithmetic classification of perfect models of stratified programs.

Krzysztof R. Apt, Howard A. Blair

Fundam. Informaticae, 1991

1990

Definite Clause Programs are Canonical (over a suitable domain).

Howard A. Blair, Allen L. Brown Jr.

Ann. Math. Artif. Intell., 1990

Programming in Default Logic.

Feng Yang, Allen L. Brown Jr., Howard A. Blair

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

Paraconsistent Logic Programming.

Howard A. Blair, V. S. Subrahmanian

Theor. Comput. Sci., 1989

1988

Metalogic Programming and Direct Universal Computability.

Howard A. Blair

Proceedings of the Meta-Programming in Logic Programming, 1988

Towards a Theory of Declarative Knowledge.

Krzysztof R. Apt, Howard A. Blair, Adrian Walker

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

Canoncical Conservative Extensions of Logic Program Completions.

Howard A. Blair

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1985

Computer Aider Reasoning.

Andrzej Trybulec, Howard A. Blair

Proceedings of the Logics of Programs, 1985

Computer Assisted Reasoning with MIZAR.

Andrzej Trybulec, Howard A. Blair

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983

The Intractability of Validity in Logic Programming and Dynamic Logic.

Howard A. Blair

Proceedings of the Logics of Programs, 1983

1982

The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language

Howard A. Blair

Inf. Control., 1982

The Undecidability of Two Completeness Notions for the "Negation as Failure".

Howard A. Blair

Proceedings of the First International Logic Programming Conference, 1982