The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frank M. Brown: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wan-Bih Liaw, Frank M. Brown
    Knowledge Representing Schemes for Planning. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1992, pp:213-218 [Conf]
  2. Wah-Bih Liaw, Frank M. Brown, Seung S. Park
    Towards Common Sense Planning. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1990, pp:281-287 [Conf]
  3. Frank M. Brown
    A Commonsense Theory of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:209-228 [Conf]
  4. Frank M. Brown, Carlos Araya
    Schemata. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:643-644 [Conf]
  5. Frank M. Brown, Carlos Araya
    Cylindric Algebra Equation Solver. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:645-646 [Conf]
  6. Frank M. Brown, Seung S. Park
    SYMEVAL: A Theorem Prover Based on the Experimental Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:756-757 [Conf]
  7. Frank M. Brown, Seung S. Park, Jim Phelps
    ZPLAN: An Automatic Reasoning System for Situations. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:758-759 [Conf]
  8. Carlos Araya, Frank M. Brown
    SCHEMATA: A Language for Deduction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:38-40 [Conf]
  9. Frank M. Brown
    The Role of Extensible Deductive Systems in Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
    AISB (ECAI), 1976, pp:74-83 [Conf]
  10. Frank M. Brown
    A Deductive System for elementary Arithmetic. [Citation Graph (0, 0)][DBLP]
    AISB (ECAI), 1976, pp:84-93 [Conf]
  11. Frank M. Brown
    A Sequent Calculus for Modal Quantificational Logic. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:56-65 [Conf]
  12. Frank M. Brown, Camilla Schwind
    Analysing and Representing Natural Language in Logic. [Citation Graph (0, 0)][DBLP]
    AISB/GI (ECAI), 1978, pp:66-70 [Conf]
  13. Alison Alvarez, Stanislaw Bajcar, Frank M. Brown, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe
    Optimization of the ABCD Formula Used for Melanoma Diagnosis. [Citation Graph (0, 0)][DBLP]
    IIS, 2003, pp:233-240 [Conf]
  14. Frank M. Brown
    A Theorem Prover for Elementary Set Theory. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:534-540 [Conf]
  15. Frank M. Brown, Peiya Liu
    A Logic Programming and Verification System for Recursive Quantificational Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:742-748 [Conf]
  16. Frank M. Brown, Sten-Åke Tärnlund
    Inductive Reasoning in Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:844-850 [Conf]
  17. Frank M. Brown
    Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:237-245 [Conf]
  18. Frank M. Brown
    Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:246-251 [Conf]
  19. Frank M. Brown
    Towards the Automation of Set Theory and its Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1978, v:10, n:3, pp:281-316 [Journal]
  20. Frank M. Brown
    An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1980, v:14, n:3, pp:221-242 [Journal]
  21. Frank M. Brown
    An Experimental Logic Based on the Fundamental Deduction Principle. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1986, v:30, n:2, pp:117-263 [Journal]
  22. Frank M. Brown, Sten-Åke Tärnlund
    Inductive Reasoning on Recursive Equations. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1979, v:12, n:3, pp:207-229 [Journal]
  23. Frank M. Brown
    Design of a MUMPS Interpreter. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1981, v:11, n:12, pp:1293-1297 [Journal]
  24. Frank M. Brown
    Weighted Realizations of Switching Functions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1975, v:24, n:12, pp:1217-1221 [Journal]
  25. Frank M. Brown
    Equational Realizations of Switching Functions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1975, v:24, n:11, pp:1054-1066 [Journal]
  26. Frank M. Brown
    The Constrained-Input Problem. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1975, v:24, n:1, pp:102-106 [Journal]

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