Charles G. Morgan

31 papers A* 1A 1B 1Journal 24Unranked 4
YearRankTypeTitle / Venue / Authors
2005 — conf
The Application of Commercial Data Integration Technologies to Improve the Quality of Anonymous Entity Resolution in the Public Sector.
ICIQ
John R. Talburt, Charles G. Morgan, Terry Talley, Ken Archer
2004 — conf
Many Valued Probability Theory.
ISMVL
Charles G. Morgan
2004 — conf
Probability, rational belief and belief change.
NMR
Charles G. Morgan
2000 J jnl
The Nature of Nonmonotonic Reasoning.
Minds Mach.
Charles G. Morgan
1998 J jnl
A Relational Formalisation of Arbitrary Finite Valued Logics.
Log. J. IGPL
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
1998 J jnl
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.
J. Symb. Log.
Charles G. Morgan
1998 — conf
Relational semantics for arbitrary finite valued logics.
RelMiCS
Beata Konikowska, Charles G. Morgan, Ewa Orlowska
1996 J jnl
Morasses, Square and Forcing Axioms.
Ann. Pure Appl. Log.
Charles G. Morgan
1995 J jnl
A Gap Cohomology Group.
Math. Log. Q.
Charles G. Morgan
1995 J jnl
Conditionals, probability, and non-triviality.
J. Philos. Log.
Charles G. Morgan, Edwin D. Mares
1994 J jnl
Evidence, Belief, and Inference.
Comput. Intell.
Charles G. Morgan
1993 J jnl
Introduction.
Stud Logica
Charles G. Morgan
1992 B conf
An Automated Theorem Prover for Relational Logic (Abstract).
TABLEAUX
Charles G. Morgan
1991 J jnl
Logic, probability theory, and artificial intelligence - Part I: the probabilistic foundations of logic.
Comput. Intell.
Charles G. Morgan
1988 J jnl
Probability theory versus procedural pessimism.
Comput. Intell.
Charles G. Morgan
1986 A conf
AUTOLOGIC at University of Victoria.
CADE
Charles G. Morgan
1984 J jnl
Weak Conditional Comparative Probability as a Formal Semantic Theory.
Math. Log. Q.
Charles G. Morgan
1983 J jnl
Probabilistic semantics for intuitionistic logic.
Notre Dame J. Formal Log.
Hugues Leblanc, Charles G. Morgan
1983 J jnl
Probability theory, intuitionism, semantics, and the Dutch book argument.
Notre Dame J. Formal Log.
Hugues Leblanc, Charles G. Morgan
1982 J jnl
Simple probabilistic semantics for propositional K, T, B, S4, and S5.
J. Philos. Log.
Charles G. Morgan
1982 J jnl
There is a probabilistic semantics for every extension of classical sentence logic.
J. Philos. Log.
Charles G. Morgan
1979 J jnl
Local and global operators and many-valued modal logics.
Notre Dame J. Formal Log.
Charles G. Morgan
1979 J jnl
Note on a strong liberated modal logic and its relevance to possible world skepticism.
Notre Dame J. Formal Log.
Charles G. Morgan
1976 J jnl
Methods for Automated Theorem Proving in Nonclassical Logics.
IEEE Trans. Computers
Charles G. Morgan
1976 J jnl
Tuomela on deductive explanation.
J. Philos. Log.
Charles G. Morgan
1975 A* conf
Automated Hypothesis Generation Using Extended Inductive Resolution.
IJCAI
Charles G. Morgan
1975 J jnl
Liberated versions of
Arch. Math. Log.
Charles G. Morgan
1975 J jnl
Weak Liberated Versions of T and S4.
J. Symb. Log.
Charles G. Morgan
1973 J jnl
Sentential calculus for logical falsehoods.
Notre Dame J. Formal Log.
Charles G. Morgan
1973 J jnl
Truth, falsehood, and contingency in first-order predicate calculus.
Notre Dame J. Formal Log.
Charles G. Morgan
1971 J jnl
Hypothesis Generation by Machine.
Artif. Intell.
Charles G. Morgan