2005 |
18 | EE | John R. Talburt,
Charles G. Morgan,
Terry Talley,
Ken Archer:
The Application of Commercial Data Integration Technologies to Improve the Quality of Anonymous Entity Resolution in the Public Sector.
IQ 2005 |
2004 |
17 | EE | Charles G. Morgan:
Many Valued Probability Theory.
ISMVL 2004: 294-299 |
16 | EE | Charles G. Morgan:
Probability, rational belief and belief change.
NMR 2004: 297-305 |
1998 |
15 | | Beata Konikowska,
Charles G. Morgan,
Ewa Orlowska:
Relational semantics for arbitrary finite valued logics.
RelMiCS 1998: 138-143 |
14 | | Charles G. Morgan:
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.
J. Symb. Log. 63(3): 753-787 (1998) |
13 | EE | Beata Konikowska,
Charles G. Morgan,
Ewa Orlowska:
A Relational Formalisation of Arbitrary Finite Valued Logics.
Logic Journal of the IGPL 6(5): 755-774 (1998) |
1996 |
12 | | Charles G. Morgan:
Morasses, Square and Forcing Axioms.
Ann. Pure Appl. Logic 80(2): 139-163 (1996) |
1995 |
11 | | Charles G. Morgan:
A Gap Cohomology Group.
Math. Log. Q. 41: 564-570 (1995) |
1994 |
10 | | Charles G. Morgan:
Evidence, Belief, and Inference.
Computational Intelligence 10: 79-84 (1994) |
1993 |
9 | | Charles G. Morgan:
Introduction.
Studia Logica 52(2): 181 (1993) |
1992 |
8 | | Charles G. Morgan:
An Automated Theorem Prover for Relational Logic (Abstract).
TABLEAUX 1992: 56-58 |
1991 |
7 | | Charles G. Morgan:
Logic, probability theory, and artificial intelligence - Part I: the probabilistic foundations of logic.
Computational Intelligence 7: 94-109 (1991) |
1988 |
6 | | Charles G. Morgan:
Probability theory versus procedural pessimism.
Computational Intelligence 4: 94-97 (1988) |
1986 |
5 | | Charles G. Morgan:
AUTOLOGIC at University of Victoria.
CADE 1986: 699-700 |
1976 |
4 | | Charles G. Morgan:
Methods for Automated Theorem Proving in Nonclassical Logics.
IEEE Trans. Computers 25(8): 852-862 (1976) |
1975 |
3 | | Charles G. Morgan:
Automated Hypothesis Generation Using Extended Inductive Resolution.
IJCAI 1975: 351-356 |
2 | | Charles G. Morgan:
Weak Liberated Versions of T and S4.
J. Symb. Log. 40(1): 25-30 (1975) |
1971 |
1 | | Charles G. Morgan:
Hypothesis Generation by Machine.
Artif. Intell. 2(2): 179-187 (1971) |