Charles G. Morgan

Publication Activity (10 Years)

Years Active: 1971-2005
Publications (10 Years): 0

Publications

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. ICIQ (2005)
Charles G. Morgan
Many Valued Probability Theory. ISMVL (2004)
Charles G. Morgan
Probability, rational belief and belief change. NMR (2004)
Charles G. Morgan
The Nature of Nonmonotonic Reasoning. Minds Mach. 10 (3) (2000)
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
Relational semantics for arbitrary finite valued logics. RelMiCS (1998)
Charles G. Morgan
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation. J. Symb. Log. 63 (3) (1998)
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
A Relational Formalisation of Arbitrary Finite Valued Logics. Log. J. IGPL 6 (5) (1998)
Charles G. Morgan
Morasses, Square and Forcing Axioms. Ann. Pure Appl. Log. 80 (2) (1996)
Charles G. Morgan, Edwin D. Mares
Conditionals, probability, and non-triviality. J. Philos. Log. 24 (5) (1995)
Charles G. Morgan
A Gap Cohomology Group. Math. Log. Q. 41 (1995)
Charles G. Morgan
Evidence, Belief, and Inference. Comput. Intell. 10 (1994)
Charles G. Morgan
Introduction. Stud Logica 52 (2) (1993)
Charles G. Morgan
An Automated Theorem Prover for Relational Logic (Abstract). TABLEAUX (1992)
Charles G. Morgan
Logic, probability theory, and artificial intelligence - Part I: the probabilistic foundations of logic. Comput. Intell. 7 (1991)
Charles G. Morgan
Probability theory versus procedural pessimism. Comput. Intell. 4 (1988)
Charles G. Morgan
AUTOLOGIC at University of Victoria. CADE (1986)
Charles G. Morgan
Weak Conditional Comparative Probability as a Formal Semantic Theory. Math. Log. Q. 30 (13-16) (1984)
Hugues Leblanc, Charles G. Morgan
Probabilistic semantics for intuitionistic logic. Notre Dame J. Formal Log. 24 (2) (1983)
Hugues Leblanc, Charles G. Morgan
Probability theory, intuitionism, semantics, and the Dutch book argument. Notre Dame J. Formal Log. 24 (3) (1983)
Charles G. Morgan
There is a probabilistic semantics for every extension of classical sentence logic. J. Philos. Log. 11 (4) (1982)
Charles G. Morgan
Simple probabilistic semantics for propositional K, T, B, S4, and S5. J. Philos. Log. 11 (4) (1982)
Charles G. Morgan
Note on a strong liberated modal logic and its relevance to possible world skepticism. Notre Dame J. Formal Log. 20 (4) (1979)
Charles G. Morgan
Local and global operators and many-valued modal logics. Notre Dame J. Formal Log. 20 (2) (1979)
Charles G. Morgan
Tuomela on deductive explanation. J. Philos. Log. 5 (4) (1976)
Charles G. Morgan
Methods for Automated Theorem Proving in Nonclassical Logics. IEEE Trans. Computers 25 (8) (1976)
Charles G. Morgan
5. Arch. Math. Log. 17 (3-4) (1975)
Charles G. Morgan
Automated Hypothesis Generation Using Extended Inductive Resolution. IJCAI (1975)
Charles G. Morgan
Weak Liberated Versions of T and S4. J. Symb. Log. 40 (1) (1975)
Charles G. Morgan
Truth, falsehood, and contingency in first-order predicate calculus. Notre Dame J. Formal Log. 14 (4) (1973)
Charles G. Morgan
Sentential calculus for logical falsehoods. Notre Dame J. Formal Log. 14 (3) (1973)
Charles G. Morgan
Hypothesis Generation by Machine. Artif. Intell. 2 (2) (1971)