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