The SCEAS System
| |||||||

## 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.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 |