Frank M. Brown

According to our database, Frank M. Brown authored at least 40 papers between 1963 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Logistica 2.0: A Technology for Implementing Automatic Deduction Systems.

Frank M. Brown

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.

Frank M. Brown

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Optimization of the ABCD Formula Used for Melanoma Diagnosis.

Alison Alvarez, Stanislaw Bajcar, Frank M. Brown, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe

Proceedings of the Intelligent Information Processing and Web Mining, 2003

Solving modal equivalences.

Frank M. Brown

Proceedings of the International Symposium on Intelligent Control, 2003

A comparison of autoepistemic logic and default logic both generalized so as to allow quantified variables to cross modal scopes.

Frank M. Brown

Proceedings of the International Symposium on Intelligent Control, 2003

1992

Knowledge Representing Schemes for Planning.

Wan-Bih Liaw, Frank M. Brown

Proceedings of the ACM 20th Annual Conference on Computer Science, 1992

1991

A theory of nonmonotonic planning.

Salvinder S. Hundal, Frank M. Brown

Proceedings of the 19th annual conference on Computer Science, 1991

1990

SCHEMATA: A Language for Deduction.

Carlos Araya, Frank M. Brown

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Cylindric Algebra Equation Solver.

Frank M. Brown, Carlos Araya

Proceedings of the 10th International Conference on Automated Deduction, 1990

Schemata.

Frank M. Brown, Carlos Araya

Proceedings of the 10th International Conference on Automated Deduction, 1990

Towards Common Sense Planning.

Wah-Bih Liaw, Frank M. Brown, Seung S. Park

Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

Boolean reasoning - the logic of boolean equations.

Frank M. Brown

Kluwer, ISBN: 978-0-7923-9121-0, 1990

1988

ZPLAN: An Automatic Reasoning System for Situations.

Frank M. Brown, Seung S. Park, Jim Phelps

Proceedings of the 9th International Conference on Automated Deduction, 1988

SYMEVAL: A Theorem Prover Based on the Experimental Logic.

Frank M. Brown, Seung S. Park

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

An Experimental Logic Based on the Fundamental Deduction Principle.

Frank M. Brown

Artif. Intell., 1986

A Commonsense Theory of Nonmonotonic Reasoning.

Frank M. Brown

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

A Logic Programming and Verification System for Recursive Quantificational Logic.

Frank M. Brown, Peiya Liu

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

On permutations of wires and states.

Frank M. Brown, Yoshihide Igarashi

Discret. Appl. Math., 1984

1981

Design of a MUMPS Interpreter.

Frank M. Brown

Softw. Pract. Exp., 1981

1980

An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning.

Frank M. Brown

Artif. Intell., 1980

1979

Inductive Reasoning on Recursive Equations.

Frank M. Brown, Sten-Åke Tärnlund

Artif. Intell., 1979

1978

Towards the automation of mathematical reasoning.

Frank M. Brown

PhD thesis, 1978

Towards the Automation of Set Theory and its Logic.

Frank M. Brown

Artif. Intell., 1978

Analysing and Representing Natural Language in Logic.

Frank M. Brown, Camilla Schwind

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

A Sequent Calculus for Modal Quantificational Logic.

Frank M. Brown

Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978

1977

Inductive Reasoning in Mathematics.

Frank M. Brown, Sten-Åke Tärnlund

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

A Theorem Prover for Elementary Set Theory.

Frank M. Brown

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

A Deductive System for elementary Arithmetic.

Frank M. Brown

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

The Role of Extensible Deductive Systems in Mathematical Reasoning.

Frank M. Brown

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

1975

The Constrained-Input Problem.

Frank M. Brown

IEEE Trans. Computers, 1975

Equational Realizations of Switching Functions.

Frank M. Brown

IEEE Trans. Computers, 1975

Weighted Realizations of Switching Functions.

Frank M. Brown

IEEE Trans. Computers, 1975

1974

Equational Logic.

Frank M. Brown

IEEE Trans. Computers, 1974

1971

Single-Parameter Solutions for Flip-Flop Equations.

Frank M. Brown

IEEE Trans. Computers, 1971

1970

Reduced Solutions of Boolean Equations.

Frank M. Brown

IEEE Trans. Computers, 1970

Comment on "The Determination of the Maximum Compatibility Classes".

Frank M. Brown

IEEE Trans. Computers, 1970

1969

Comment on "Canonical Programming of Nonlinear and Time-Varying Differential Equations".

Frank M. Brown

IEEE Trans. Computers, 1969

1968

The Origin of the Method of Iterated Consensus.

Frank M. Brown

IEEE Trans. Computers, 1968

1965

Code Transformation in Sequential Machines.

Frank M. Brown

IEEE Trans. Electron. Comput., 1965

1963

A Node-Elimination Theorem for Boolean Matrices.

Frank M. Brown

IEEE Trans. Electron. Comput., 1963