dblp.uni-trier.dewww.uni-trier.de

Frank M. Brown Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
25EEFrank M. Brown: Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. TABLEAUX 2003: 237-245
24EEFrank M. Brown: Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. TABLEAUX 2003: 246-251
1992
23EEWan-Bih Liaw, Frank M. Brown: Knowledge Representing Schemes for Planning. ACM Conference on Computer Science 1992: 213-218
1990
22EEWah-Bih Liaw, Frank M. Brown, Seung S. Park: Towards Common Sense Planning. ACM Conference on Computer Science 1990: 281-287
21EEFrank M. Brown, Carlos Araya: Schemata. CADE 1990: 643-644
20EEFrank 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
18EEFrank M. Brown, Seung S. Park: SYMEVAL: A Theorem Prover Based on the Experimental Logic. CADE 1988: 756-757
17EEFrank M. Brown, Seung S. Park, Jim Phelps: ZPLAN: An Automatic Reasoning System for Situations. CADE 1988: 758-759
1986
16EEFrank 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)

Coauthor Index

1Alison Alvarez [26]
2Carlos Araya [19] [20] [21]
3Stanislaw Bajcar [26]
4Jerzy W. Grzymala-Busse [26]
5Zdzislaw S. Hippe [26]
6Wah-Bih Liaw [22]
7Wan-Bih Liaw [23]
8Peiya Liu [14]
9Seung S. Park [17] [18] [22]
10Jim Phelps [17]
11Camilla Schwind [9]
12Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [6] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)