Frank M. Brown

40 papers A* 3A 6B 2Journal 17Unranked 10

Year	Rank	Type	Title / Venue / Authors
2003	—	`conf`	A comparison of autoepistemic logic and default logic both generalized so as to allow quantified variables to cross modal scopes. ISIC Frank M. Brown
2003	B	`conf`	Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. TABLEAUX Frank M. Brown
2003	B	`conf`	Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. TABLEAUX Frank M. Brown
2003	—	`conf`	Optimization of the ABCD Formula Used for Melanoma Diagnosis. IIS Alison Alvarez, Stanislaw Bajcar, Frank M. Brown, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe
2003	—	`conf`	Solving modal equivalences. ISIC Frank M. Brown
1992	—	`conf`	Knowledge Representing Schemes for Planning. ACM Conference on Computer Science Wan-Bih Liaw, Frank M. Brown
1991	—	`conf`	A theory of nonmonotonic planning. ACM Conference on Computer Science Salvinder S. Hundal, Frank M. Brown
1990	—	`book`	Boolean reasoning - the logic of boolean equations. Frank M. Brown
1990	A	`conf`	Cylindric Algebra Equation Solver. CADE Frank M. Brown, Carlos Araya
1990	A	`conf`	SCHEMATA: A Language for Deduction. ECAI Carlos Araya, Frank M. Brown
1990	A	`conf`	Schemata. CADE Frank M. Brown, Carlos Araya
1990	—	`conf`	Towards Common Sense Planning. ACM Conference on Computer Science Wah-Bih Liaw, Frank M. Brown, Seung S. Park
1988	A	`conf`	SYMEVAL: A Theorem Prover Based on the Experimental Logic. CADE Frank M. Brown, Seung S. Park
1988	A	`conf`	ZPLAN: An Automatic Reasoning System for Situations. CADE Frank M. Brown, Seung S. Park, Jim Phelps
1986	A	`conf`	A Commonsense Theory of Nonmonotonic Reasoning. CADE Frank M. Brown
1986	J	`jnl`	An Experimental Logic Based on the Fundamental Deduction Principle. Artif. Intell. Frank M. Brown
1985	A*	`conf`	A Logic Programming and Verification System for Recursive Quantificational Logic. IJCAI Frank M. Brown, Peiya Liu
1984	J	`jnl`	On permutations of wires and states. Discret. Appl. Math. Frank M. Brown, Yoshihide Igarashi
1981	J	`jnl`	Design of a MUMPS Interpreter. Softw. Pract. Exp. Frank M. Brown
1980	J	`jnl`	An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning. Artif. Intell. Frank M. Brown
1979	J	`jnl`	Inductive Reasoning on Recursive Equations. Artif. Intell. Frank M. Brown, Sten-Åke Tärnlund
1978	—	`conf`	A Sequent Calculus for Modal Quantificational Logic. AISB/GI (ECAI) Frank M. Brown
1978	—	`conf`	Analysing and Representing Natural Language in Logic. AISB/GI (ECAI) Frank M. Brown, Camilla Schwind
1978	J	`jnl`	Towards the Automation of Set Theory and its Logic. Artif. Intell. Frank M. Brown
1978	—	`—`	Towards the automation of mathematical reasoning. Frank M. Brown
1977	A*	`conf`	A Theorem Prover for Elementary Set Theory. IJCAI Frank M. Brown
1977	A*	`conf`	Inductive Reasoning in Mathematics. IJCAI Frank M. Brown, Sten-Åke Tärnlund
1976	—	`conf`	A Deductive System for elementary Arithmetic. AISB (ECAI) Frank M. Brown
1976	—	`conf`	The Role of Extensible Deductive Systems in Mathematical Reasoning. AISB (ECAI) Frank M. Brown
1975	J	`jnl`	Equational Realizations of Switching Functions. IEEE Trans. Computers Frank M. Brown
1975	J	`jnl`	The Constrained-Input Problem. IEEE Trans. Computers Frank M. Brown
1975	J	`jnl`	Weighted Realizations of Switching Functions. IEEE Trans. Computers Frank M. Brown
1974	J	`jnl`	Equational Logic. IEEE Trans. Computers Frank M. Brown
1971	J	`jnl`	Single-Parameter Solutions for Flip-Flop Equations. IEEE Trans. Computers Frank M. Brown
1970	J	`jnl`	Comment on "The Determination of the Maximum Compatibility Classes". IEEE Trans. Computers Frank M. Brown
1970	J	`jnl`	Reduced Solutions of Boolean Equations. IEEE Trans. Computers Frank M. Brown
1969	J	`jnl`	Comment on "Canonical Programming of Nonlinear and Time-Varying Differential Equations". IEEE Trans. Computers Frank M. Brown
1968	J	`jnl`	The Origin of the Method of Iterated Consensus. IEEE Trans. Computers Frank M. Brown
1965	J	`jnl`	Code Transformation in Sequential Machines. IEEE Trans. Electron. Comput. Frank M. Brown
1963	J	`jnl`	A Node-Elimination Theorem for Boolean Matrices. IEEE Trans. Electron. Comput. Frank M. Brown