The SCEAS System
| |||||||

## Search the dblp DataBase
Howard A. Blair:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Howard A. Blair, V. S. Subrahmanian
**Paraconsistent Logic Programming.**[Citation Graph (4, 0)][DBLP] Theor. Comput. Sci., 1989, v:68, n:2, pp:135-154 [Journal] - Howard A. Blair, V. S. Subrahmanian
**Paraconsistent Logic Programming.**[Citation Graph (2, 0)][DBLP] FSTTCS, 1987, pp:340-360 [Conf] - Krzysztof R. Apt, Howard A. Blair
**Arithmetic Classification of Perfect Models of Stratified Programs.**[Citation Graph (1, 0)][DBLP] ICLP/SLP, 1988, pp:765-779 [Conf] - Howard A. Blair, V. Wiktor Marek, John S. Schlipf
**The Expressiveness of Locally Stratified Programs.**[Citation Graph (1, 0)][DBLP] Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:209-229 [Journal] - Howard A. Blair
**Dynamical Properties of Answer Set Programs.**[Citation Graph (0, 0)][DBLP] Answer Set Programming, 2001, pp:- [Conf] - Howard A. Blair
**The Undecidability of Two Completeness Notions for the "Negation as Failure".**[Citation Graph (0, 0)][DBLP] ICLP, 1982, pp:164-168 [Conf] - Andrzej Trybulec, Howard A. Blair
**Computer Assisted Reasoning with MIZAR.**[Citation Graph (0, 0)][DBLP] IJCAI, 1985, pp:26-28 [Conf] - Howard A. Blair
**The Intractability of Validity in Logic Programming and Dynamic Logic.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1983, pp:57-67 [Conf] - Andrzej Trybulec, Howard A. Blair
**Computer Aider Reasoning.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1985, pp:406-412 [Conf] - Mino Bai, Howard A. Blair
**General Model Theoretic Semantics for Higher-Order Horn Logic Programming.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:320-331 [Conf] - Howard A. Blair
**Game Characterizations of Logic Program Properties.**[Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:99-112 [Conf] - Howard A. Blair, Fred Dushin, Paul R. Humenn
**Simulations between Programs as Cellular Automata.**[Citation Graph (0, 0)][DBLP] LPNMR, 1997, pp:115-131 [Conf] - Feng Yang, Allen L. Brown Jr., Howard A. Blair
**Programming in Default Logic.**[Citation Graph (0, 0)][DBLP] LPNMR, 1990, pp:178-186 [Conf] - Howard A. Blair
**Metalogic Programming and Direct Universal Computability.**[Citation Graph (0, 0)][DBLP] META, 1988, pp:53-63 [Conf] - Howard A. Blair
**Canoncical Conservative Extensions of Logic Program Completions.**[Citation Graph (0, 0)][DBLP] SLP, 1987, pp:154-161 [Conf] - Howard A. Blair, Allen L. Brown Jr.
**Definite Clause Programs are Canonical (over a suitable domain).**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1990, v:1, n:, pp:1-19 [Journal] - Howard A. Blair, Jagan Chidella, Fred Dushin, Audrey Ferry, Paul R. Humenn
**A Continuum of Discrete Systems.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:153-186 [Journal] - Howard A. Blair
**The Differential Scheme for Models of Computation.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal] - Howard A. Blair
**Locating Self-Organization at the Edge of Chaos.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal] - Krzysztof R. Apt, Howard A. Blair
**Arithmetic classification of perfect models of stratified programs.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1991, v:14, n:3, pp:339-343 [Journal] - Howard A. Blair
**Designing Dependencies.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1996, v:28, n:1-2, pp:37-54 [Journal] - Peter Cholak, Howard A. Blair
**The Complexity of Local Stratification.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1994, v:21, n:4, pp:333-344 [Journal] - Howard A. Blair
**The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language**[Citation Graph (0, 0)][DBLP] Information and Control, 1982, v:54, n:1/2, pp:25-47 [Journal] - Howard A. Blair, David W. Jakel, Robert J. Irwin, Angel Rivera
**Elementary Differential Calculus on Discrete and Hybrid Structures.**[Citation Graph (0, 0)][DBLP] LFCS, 2007, pp:41-53 [Conf] **Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces.**[Citation Graph (, )][DBLP]**Set based logic programming.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |