Frank M. Brown - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2003

Optimization of the ABCD Formula Used for Melanoma DiagnosisAlison Alvarez, Stanislaw Bajcar, Frank M. Brown, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe. iis 2003: 233-240

Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic RepresentationsFrank M. Brown. tableaux 2003: 237-245 [doi]

Logistica 2.0: A Technology for Implementing Automatic Deduction SystemsFrank M. Brown. tableaux 2003: 246-251 [doi]

1992

Knowledge Representing Schemes for PlanningWan-Bih Liaw, Frank M. Brown. acm 1992: 213-218 [doi]

1991

A theory of nonmonotonic planningSalvinder S. Hundal, Frank M. Brown. acm 1991: 247-254 [doi]

1990

1988

SYMEVAL: A Theorem Prover Based on the Experimental LogicFrank M. Brown, Seung S. Park. cade 1988: 756-757

ZPLAN: An Automatic Reasoning System for SituationsFrank M. Brown, Seung S. Park, Jim Phelps. cade 1988: 758-759

1986

A Commonsense Theory of Nonmonotonic ReasoningFrank M. Brown. cade 1986: 209-228

An Experimental Logic Based on the Fundamental Deduction PrincipleFrank M. Brown. ai, 30(2):117-263, 1986.

1985

A Logic Programming and Verification System for Recursive Quantificational LogicFrank M. Brown, Peiya Liu. IJCAI 1985: 742-748

1984

On permutations of wires and statesFrank M. Brown, Yoshihide Igarashi. DAM, 7(3):231-241, 1984. [doi]

1981

Design of a MUMPS InterpreterFrank M. Brown. SPE, 11(12):1293-1297, 1981.

1980

An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical ReasoningFrank M. Brown. ai, 14(3):221-242, 1980.

1979

Inductive Reasoning on Recursive EquationsFrank M. Brown, Sten-Åke Tärnlund. ai, 12(3):207-229, 1979.

1978

Analysing and Representing Natural Language in LogicFrank M. Brown, Camilla Schwind. ecai 1978: 66-70

A Sequent Calculus for Modal Quantificational LogicFrank M. Brown. ecai 1978: 56-65

Towards the Automation of Set Theory and its LogicFrank M. Brown. ai, 10(3):281-316, 1978.

1977

Inductive Reasoning in MathematicsFrank M. Brown, Sten-Åke Tärnlund. IJCAI 1977: 844-850

A Theorem Prover for Elementary Set TheoryFrank M. Brown. IJCAI 1977: 534-540

1976

The Role of Extensible Deductive Systems in Mathematical ReasoningFrank M. Brown. ecai 1976: 74-83

A Deductive System for elementary ArithmeticFrank M. Brown. ecai 1976: 84-93

1975

Equational Realizations of Switching FunctionsFrank M. Brown. TC, 24(11):1054-1066, 1975.

Weighted Realizations of Switching FunctionsFrank M. Brown. TC, 24(12):1217-1221, 1975.

The Constrained-Input ProblemFrank M. Brown. TC, 24(1):102-106, 1975.

1971

Single-Parameter Solutions for Flip-Flop EquationsFrank M. Brown. TC, 20(4):452-454, 1971. [doi]

1970

Reduced Solutions of Boolean EquationsFrank M. Brown. TC, 19(10):976-981, 1970. [doi]

Comment on "The Determination of the Maximum Compatibility Classes"Frank M. Brown. TC, 19(5):459, 1970. [doi]

1969

Comment on "Canonical Programming of Nonlinear and Time-Varying Differential Equations"Frank M. Brown. TC, 18(6):566, 1969. [doi]

1968

The Origin of the Method of Iterated ConsensusFrank M. Brown. TC, 17(8):802, 1968. [doi]

1965

Code Transformation in Sequential MachinesFrank M. Brown. TC, 14(6):822-829, 1965. [doi]

1963

A Node-Elimination Theorem for Boolean MatricesFrank M. Brown. TC, 12(2):133-134, 1963. [doi]

Sign in or sign up to see more results.

runs on WebDSL