The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Howard A. Blair: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Howard A. Blair, V. S. Subrahmanian
    Paraconsistent Logic Programming. [Citation Graph (2, 0)][DBLP]
    FSTTCS, 1987, pp:340-360 [Conf]
  3. 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]
  4. 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]
  5. Howard A. Blair
    Dynamical Properties of Answer Set Programs. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  6. 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]
  7. Andrzej Trybulec, Howard A. Blair
    Computer Assisted Reasoning with MIZAR. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:26-28 [Conf]
  8. 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]
  9. Andrzej Trybulec, Howard A. Blair
    Computer Aider Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:406-412 [Conf]
  10. 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]
  11. Howard A. Blair
    Game Characterizations of Logic Program Properties. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:99-112 [Conf]
  12. 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]
  13. Feng Yang, Allen L. Brown Jr., Howard A. Blair
    Programming in Default Logic. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:178-186 [Conf]
  14. Howard A. Blair
    Metalogic Programming and Direct Universal Computability. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:53-63 [Conf]
  15. Howard A. Blair
    Canoncical Conservative Extensions of Logic Program Completions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:154-161 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Howard A. Blair
    Designing Dependencies. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:37-54 [Journal]
  22. 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]
  23. 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]
  24. 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]

  25. Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces. [Citation Graph (, )][DBLP]


  26. Set based logic programming. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002