Search the dblp DataBase
Frank M. Brown :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Frank M. Brown A Commonsense Theory of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:209-228 [Conf ] Frank M. Brown , Carlos Araya Schemata. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:643-644 [Conf ] Frank M. Brown , Carlos Araya Cylindric Algebra Equation Solver. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:645-646 [Conf ] 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 ] 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 ] Carlos Araya , Frank M. Brown SCHEMATA: A Language for Deduction. [Citation Graph (0, 0)][DBLP ] ECAI, 1990, pp:38-40 [Conf ] Frank M. Brown The Role of Extensible Deductive Systems in Mathematical Reasoning. [Citation Graph (0, 0)][DBLP ] AISB (ECAI), 1976, pp:74-83 [Conf ] Frank M. Brown A Deductive System for elementary Arithmetic. [Citation Graph (0, 0)][DBLP ] AISB (ECAI), 1976, pp:84-93 [Conf ] Frank M. Brown A Sequent Calculus for Modal Quantificational Logic. [Citation Graph (0, 0)][DBLP ] AISB/GI (ECAI), 1978, pp:56-65 [Conf ] 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 ] 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 ] Frank M. Brown A Theorem Prover for Elementary Set Theory. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:534-540 [Conf ] 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 ] Frank M. Brown , Sten-Åke Tärnlund Inductive Reasoning in Mathematics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1977, pp:844-850 [Conf ] 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 ] Frank M. Brown Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2003, pp:246-251 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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.002secs, Finished in 0.328secs