Skip to content
cs-conference-ranking.org

Frank M. Brown

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

4

Active years

1976–2003

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2003TABLEAUXDecision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.Frank M. Brown
2003TABLEAUXLogistica 2.0: A Technology for Implementing Automatic Deduction Systems.Frank M. Brown
1990CADESchemata.Frank M. Brown, Carlos Araya
1990CADECylindric Algebra Equation Solver.Frank M. Brown, Carlos Araya
1990ECAISCHEMATA: A Language for Deduction.Carlos Araya, Frank M. Brown
1988CADESYMEVAL: A Theorem Prover Based on the Experimental Logic.Frank M. Brown, Seung S. Park
1988CADEZPLAN: An Automatic Reasoning System for Situations.Frank M. Brown, Seung S. Park, Jim Phelps
1986CADEA Commonsense Theory of Nonmonotonic Reasoning.Frank M. Brown
1985IJCAIA Logic Programming and Verification System for Recursive Quantificational Logic.Frank M. Brown, Peiya Liu
1978ECAIA Sequent Calculus for Modal Quantificational Logic.Frank M. Brown
1978ECAIAnalysing and Representing Natural Language in Logic.Frank M. Brown, Camilla Schwind
1977IJCAIA Theorem Prover for Elementary Set Theory.Frank M. Brown
1977IJCAIInductive Reasoning in Mathematics.Frank M. Brown, Sten-ke Trnlund
1976ECAIThe Role of Extensible Deductive Systems in Mathematical Reasoning.Frank M. Brown
1976ECAIA Deductive System for elementary Arithmetic.Frank M. Brown