Howard A. Blair - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2017

Topological Signals of Singularities in Ricci FlowPaul M. Alsing, Howard A. Blair, Matthew Corne, Gordon Jones, Warner A. Miller, Konstantin Mischaikow, Vidit Nanda. axioms, 6(3):24, 2017. [doi]

2016

Heterotic Continuous Time Real-valued/Boolean-valued NetworksDaniel R. Patten, Howard A. Blair. nesy 2016: [doi]

2008

Set based logic programmingHoward A. Blair, Victor W. Marek, Jeffrey B. Remmel. AMAI, 52(1):81-105, 2008. [doi]

Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-valuesHoward A. Blair, David W. Jakel, Robert J. Irwin, A. J. Rivera. isaim 2008: [doi]

2007

Elementary Differential Calculus on Discrete and Hybrid StructuresHoward A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera. lfcs 2007: 41-53 [doi]

2006

Elementary Differential Calculus on Discrete, Continuous and Hybrid SpacesHoward A. Blair. Dagstuhl 2007: [doi]

2001

Dynamical Properties of Answer Set ProgramsHoward A. Blair. asp 2001: [doi]

2000

The Differential Scheme for Models of ComputationHoward A. Blair. ENTCS, 40:3, 2000. [doi]

Locating Self-Organization at the Edge of ChaosHoward A. Blair. ENTCS, 40:4, 2000. [doi]

1999

Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic FoundationsHoward A. Blair, Fred Dushin, David W. Jakel, Angel J. Rivera, Metin Sezgin. In Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren, editors, The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, pages 231-255, Springer, 1999. [doi]

1997

Simulations between Programs as Cellular AutomataHoward A. Blair, Fred Dushin, Paul R. Humenn. lpnmr 1997: 115-131

A Continuum of Discrete SystemsHoward A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn. AMAI, 21(2-4):153-186, 1997.

1996

Designing DependenciesHoward A. Blair. FUIN, 28(1-2):37-54, 1996.

1995

The Expressiveness of Locally Stratified ProgramsHoward A. Blair, V. Wiktor Marek, John S. Schlipf. AMAI, 15(2):209-229, 1995.

Game Characterizations of Logic Program PropertiesHoward A. Blair. lpnmr 1995: 99-112

1994

The Complexity of Local StratificationPeter Cholak, Howard A. Blair. FUIN, 21(4):333-344, 1994.

1992

General Model Theoretic Semantics for Higher-Order Horn Logic ProgrammingMino Bai, Howard A. Blair. lpar 1992: 320-331

1991

Arithmetic classification of perfect models of stratified programsKrzysztof R. Apt, Howard A. Blair. FUIN, 14(3):339-343, 1991.

1990

Definite Clause Programs are Canonical (over a suitable domain)Howard A. Blair, Allen L. Brown Jr.. AMAI, 1:1-19, 1990.

Programming in Default LogicFeng Yang, Allen L. Brown Jr., Howard A. Blair. lpnmr 1990: 178-186

1989

Paraconsistent Logic ProgrammingHoward A. Blair, V. S. Subrahmanian. TCS, 68(2):135-154, 1989.

1988

Towards a Theory of Declarative KnowledgeKrzysztof R. Apt, Howard A. Blair, Adrian Walker. In Foundations of Deductive Databases and Logic Programming.. pages 89-148, 1988.

Arithmetic Classification of Perfect Models of Stratified ProgramsKrzysztof R. Apt, Howard A. Blair. ICLP 1988: 765-779

Metalogic Programming and Direct Universal ComputabilityHoward A. Blair. meta 1988: 53-63

1987

Canoncical Conservative Extensions of Logic Program CompletionsHoward A. Blair. SLP 1987: 154-161

Paraconsistent Logic ProgrammingHoward A. Blair, V. S. Subrahmanian. fsttcs 1987: 340-360

1985

Computer Aider ReasoningAndrzej Trybulec, Howard A. Blair. lop 1985: 406-412

Computer Assisted Reasoning with MIZARAndrzej Trybulec, Howard A. Blair. IJCAI 1985: 26-28

1983

The Intractability of Validity in Logic Programming and Dynamic LogicHoward A. Blair. lop 1984: 57-67

1982

The Undecidability of Two Completeness Notions for the Negation as Failure Howard A. Blair. ICLP 1982: 164-168

The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming LanguageHoward A. Blair. iandc, 54(1/2):25-47, July/August 1982.

Sign in or sign up to see more results.

runs on WebDSL