dblp.uni-trier.dewww.uni-trier.de

Howard A. Blair Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
27EEHoward A. Blair, Victor W. Marek, Jeffrey B. Remmel: Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008)
2007
26EEHoward A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera: Elementary Differential Calculus on Discrete and Hybrid Structures. LFCS 2007: 41-53
2006
25EEHoward A. Blair: Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces. Computational Structures for Modelling Space, Time and Causality 2006
2001
24EEHoward A. Blair: Dynamical Properties of Answer Set Programs. Answer Set Programming 2001
2000
23EEHoward A. Blair: Locating Self-Organization at the Edge of Chaos. Electr. Notes Theor. Comput. Sci. 40: (2000)
22EEHoward A. Blair: The Differential Scheme for Models of Computation. Electr. Notes Theor. Comput. Sci. 40: (2000)
1997
21 Howard A. Blair, Fred Dushin, Paul R. Humenn: Simulations between Programs as Cellular Automata. LPNMR 1997: 115-131
20 Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn: A Continuum of Discrete Systems. Ann. Math. Artif. Intell. 21(2-4): 153-186 (1997)
1996
19 Howard A. Blair: Designing Dependencies. Fundam. Inform. 28(1-2): 37-54 (1996)
1995
18 Howard A. Blair: Game Characterizations of Logic Program Properties. LPNMR 1995: 99-112
17 Howard A. Blair, V. Wiktor Marek, John S. Schlipf: The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995)
1994
16 Peter Cholak, Howard A. Blair: The Complexity of Local Stratification. Fundam. Inform. 21(4): 333-344 (1994)
1992
15EEMino Bai, Howard A. Blair: General Model Theoretic Semantics for Higher-Order Horn Logic Programming. LPAR 1992: 320-331
1991
14 Krzysztof R. Apt, Howard A. Blair: Arithmetic classification of perfect models of stratified programs. Fundam. Inform. 14(3): 339-343 (1991)
1990
13 Feng Yang, Allen L. Brown Jr., Howard A. Blair: Programming in Default Logic. LPNMR 1990: 178-186
12 Howard A. Blair, Allen L. Brown Jr.: Definite Clause Programs are Canonical (over a suitable domain). Ann. Math. Artif. Intell. 1: 1-19 (1990)
1989
11 Howard A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. Theor. Comput. Sci. 68(2): 135-154 (1989)
1988
10 Krzysztof R. Apt, Howard A. Blair: Arithmetic Classification of Perfect Models of Stratified Programs. ICLP/SLP 1988: 765-779
9 Howard A. Blair: Metalogic Programming and Direct Universal Computability. META 1988: 53-63
8 Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148
1987
7EEHoward A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. FSTTCS 1987: 340-360
6 Howard A. Blair: Canoncical Conservative Extensions of Logic Program Completions. SLP 1987: 154-161
1985
5 Andrzej Trybulec, Howard A. Blair: Computer Assisted Reasoning with MIZAR. IJCAI 1985: 26-28
4 Andrzej Trybulec, Howard A. Blair: Computer Aider Reasoning. Logic of Programs 1985: 406-412
1983
3 Howard A. Blair: The Intractability of Validity in Logic Programming and Dynamic Logic. Logic of Programs 1983: 57-67
1982
2 Howard A. Blair: The Undecidability of Two Completeness Notions for the "Negation as Failure". ICLP 1982: 164-168
1 Howard A. Blair: The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language Information and Control 54(1/2): 25-47 (1982)

Coauthor Index

1Krzysztof R. Apt [8] [10] [14]
2Mino Bai [15]
3Allen L. Brown Jr. [12] [13]
4Jagan Chidella [20]
5Peter Cholak [16]
6Fred Dushin [20] [21]
7Audrey Ferry [20]
8Paul R. Humenn [20] [21]
9Robert J. Irwin [26]
10David W. Jakel [26]
11Victor W. Marek (V. Wiktor Marek) [17] [27]
12Jeffrey B. Remmel [27]
13Angel Rivera [26]
14John S. Schlipf [17]
15V. S. Subrahmanian [7] [11]
16Andrzej Trybulec [4] [5]
17Adrian Walker [8]
18Feng Yang [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)