The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Roderic A. Girle, Michael A. McRobbie
    Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1988, pp:156-176 [Conf]
  2. Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
    Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:197-217 [Conf]
  3. Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
    The KRIPKE Automated Theorem Proving System. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:705-706 [Conf]
  4. Michael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams
    Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications. [Citation Graph (0, 0)][DBLP]
    HPDC, 1998, pp:252-259 [Conf]
  5. Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
    Linear Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:278-293 [Conf]
  6. Michael A. McRobbie, Jörg H. Siekmann
    Artificial intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1991, v:5, n:2, pp:187-207 [Journal]
  7. Michael A. McRobbie, Jörg H. Siekmann
    Artificial Intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1988, v:1, n:4, pp:16-29 [Journal]
  8. Michael A. McRobbie
    Automated Reasoning and Nonclassical Logics: Introduction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:447-451 [Journal]
  9. Paul B. Thistlewaite, Michael A. McRobbie
    Approaching Hard Non-Classical Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:635-637 [Journal]

Search in 0.004secs, Finished in 0.005secs
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