% csauthors.net - beta - BibTeX bibliography of Charles G. Morgan
@article{journals/ai/Morgan71,
title = {Hypothesis Generation by Machine.},
year = {1971},
journal = {Artif. Intell.},
author = {{Charles G. Morgan}}
}
@article{journals/ndjfl/Morgan73,
title = {Sentential calculus for logical falsehoods.},
year = {1973},
journal = {Notre Dame J. Formal Log.},
author = {{Charles G. Morgan}}
}
@article{journals/ndjfl/Morgan73a,
title = {Truth, falsehood, and contingency in first-order predicate calculus.},
year = {1973},
journal = {Notre Dame J. Formal Log.},
author = {{Charles G. Morgan}}
}
@inproceedings{conf/ijcai/Morgan75,
title = {Automated Hypothesis Generation Using Extended Inductive Resolution.},
year = {1975},
booktitle = {IJCAI},
author = {{Charles G. Morgan}},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975}
}
@article{journals/aml/Morgan75,
title = {Liberated versions ofT, S4, andS5.},
year = {1975},
journal = {Arch. Math. Log.},
author = {{Charles G. Morgan}}
}
@article{journals/jsyml/Morgan75,
title = {Weak Liberated Versions of T and S4.},
year = {1975},
journal = {J. Symb. Log.},
author = {{Charles G. Morgan}}
}
@article{journals/jphil/Morgan76,
title = {Tuomela on deductive explanation.},
year = {1976},
journal = {J. Philos. Log.},
author = {{Charles G. Morgan}}
}
@article{journals/tc/Morgan76,
title = {Methods for Automated Theorem Proving in Nonclassical Logics.},
year = {1976},
journal = {IEEE Trans. Computers},
author = {{Charles G. Morgan}}
}
@article{journals/ndjfl/Morgan79,
title = {Local and global operators and many-valued modal logics.},
year = {1979},
journal = {Notre Dame J. Formal Log.},
author = {{Charles G. Morgan}}
}
@article{journals/ndjfl/Morgan79a,
title = {Note on a strong liberated modal logic and its relevance to possible world skepticism.},
year = {1979},
journal = {Notre Dame J. Formal Log.},
author = {{Charles G. Morgan}}
}
@article{journals/jphil/Morgan82,
title = {There is a probabilistic semantics for every extension of classical sentence logic.},
year = {1982},
journal = {J. Philos. Log.},
author = {{Charles G. Morgan}}
}
@article{journals/jphil/Morgan82a,
title = {Simple probabilistic semantics for propositional K, T, B, S4, and S5.},
year = {1982},
journal = {J. Philos. Log.},
author = {{Charles G. Morgan}}
}
@article{journals/ndjfl/LeblancM83,
title = {Probabilistic semantics for intuitionistic logic.},
year = {1983},
journal = {Notre Dame J. Formal Log.},
author = {{Hugues Leblanc} and {Charles G. Morgan}}
}
@article{journals/ndjfl/LeblancM83a,
title = {Probability theory, intuitionism, semantics, and the Dutch book argument.},
year = {1983},
journal = {Notre Dame J. Formal Log.},
author = {{Hugues Leblanc} and {Charles G. Morgan}}
}
@article{journals/mlq/Morgan84,
title = {Weak Conditional Comparative Probability as a Formal Semantic Theory.},
year = {1984},
journal = {Math. Log. Q.},
author = {{Charles G. Morgan}}
}
@inproceedings{conf/cade/Morgan86,
title = {AUTOLOGIC at University of Victoria.},
year = {1986},
booktitle = {CADE},
author = {{Charles G. Morgan}},
publisher = {Springer},
booktitle = {8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings}
}
@article{journals/ci/Morgan88,
title = {Probability theory versus procedural pessimism.},
year = {1988},
journal = {Comput. Intell.},
author = {{Charles G. Morgan}}
}
@article{journals/ci/Morgan91,
title = {Logic, probability theory, and artificial intelligence - Part I: the probabilistic foundations of logic.},
year = {1991},
journal = {Comput. Intell.},
author = {{Charles G. Morgan}}
}
@inproceedings{conf/tableaux/Morgan92,
title = {An Automated Theorem Prover for Relational Logic (Abstract).},
year = {1992},
booktitle = {TABLEAUX},
author = {{Charles G. Morgan}},
booktitle = {Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992}
}
@article{journals/sLogica/Morgan93,
title = {Introduction.},
year = {1993},
journal = {Stud Logica},
author = {{Charles G. Morgan}}
}
@article{journals/ci/Morgan94,
title = {Evidence, Belief, and Inference.},
year = {1994},
journal = {Comput. Intell.},
author = {{Charles G. Morgan}}
}
@article{journals/jphil/MorganM95,
title = {Conditionals, probability, and non-triviality.},
year = {1995},
journal = {J. Philos. Log.},
author = {{Charles G. Morgan} and {Edwin D. Mares}}
}
@article{journals/mlq/Morgan95,
title = {A Gap Cohomology Group.},
year = {1995},
journal = {Math. Log. Q.},
author = {{Charles G. Morgan}}
}
@article{journals/apal/Morgan96,
title = {Morasses, Square and Forcing Axioms.},
year = {1996},
journal = {Ann. Pure Appl. Log.},
author = {{Charles G. Morgan}}
}
@inproceedings{conf/RelMiCS/KonikowskaMO98,
title = {Relational semantics for arbitrary finite valued logics.},
year = {1998},
booktitle = {RelMiCS},
author = {{Beata Konikowska} and {Charles G. Morgan} and {Ewa Orlowska}},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998}
}
@article{journals/igpl/KonikowskaMO98,
title = {A Relational Formalisation of Arbitrary Finite Valued Logics.},
year = {1998},
journal = {Log. J. IGPL},
author = {{Beata Konikowska} and {Charles G. Morgan} and {Ewa Orlowska}}
}
@article{journals/jsyml/Morgan98,
title = {Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.},
year = {1998},
journal = {J. Symb. Log.},
author = {{Charles G. Morgan}}
}
@article{journals/mima/Morgan00,
title = {The Nature of Nonmonotonic Reasoning.},
year = {2000},
journal = {Minds Mach.},
author = {{Charles G. Morgan}}
}
@article{journals/ndjfl/LepageM03,
title = {Probabilistic Canonical Models for Partial Logics.},
year = {2003},
journal = {Notre Dame J. Formal Log.},
author = {{François Lepage} and {Charles Morgan}}
}
@inproceedings{conf/ismvl/Morgan04,
title = {Many Valued Probability Theory.},
year = {2004},
booktitle = {ISMVL},
author = {{Charles G. Morgan}},
publisher = {IEEE Computer Society},
booktitle = {34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada}
}
@inproceedings{conf/nmr/Morgan04,
title = {Probability, rational belief and belief change.},
year = {2004},
booktitle = {NMR},
author = {{Charles G. Morgan}},
booktitle = {10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings}
}
@article{journals/jsyml/DzamonjaKM04,
title = {Wild edge colourings of graphs.},
year = {2004},
journal = {J. Symb. Log.},
author = {{Mirna Dzamonja} and {Péter Komjáth} and {Charles Morgan}}
}
@inproceedings{conf/iq/TalburtMTA05,
title = {The Application of Commercial Data Integration Technologies to Improve the Quality of Anonymous Entity Resolution in the Public Sector.},
year = {2005},
booktitle = {ICIQ},
author = {{John R. Talburt} and {Charles G. Morgan} and {Terry Talley} and {Ken Archer}},
publisher = {MIT},
booktitle = {Proceedings of the 2005 International Conference on Information Quality (MIT ICIQ Conference), Sponsored by Lockheed Martin, MIT, Cambridge, MA, USA, November 10-12, 2006}
}
@article{journals/ndjfl/HertelHM07,
title = {A Sound and Complete Proof Theory for Propositional Logical Contingencies.},
year = {2007},
journal = {Notre Dame J. Formal Log.},
author = {{Alexander Hertel} and {Philipp Hertel} and {Charles Morgan}}
}
@inproceedings{journals/entcs/PaivaMS14,
title = {Natural Number Objects in Dialectica Categories.},
year = {2013},
booktitle = {LSFA},
author = {{Valeria de Paiva} and {Charles Morgan} and {Samuel G. Da Silva}},
publisher = {Elsevier},
booktitle = {Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013}
}
@article{journals/jsyml/CummingsDM16,
title = {Small Universal families of graphs on ℵω+ 1.},
year = {2016},
journal = {J. Symb. Log.},
author = {{James Cummings 001} and {Mirna Dzamonja} and {Charles Morgan}}
}
@article{journals/ploscb/HeberlingDGMG16,
title = {A Mechanistic Model for Cooperative Behavior of Co-transcribing RNA Polymerases.},
year = {2016},
journal = {PLoS Comput. Biol.},
author = {{Tamra Heberling} and {Lisa Davis} and {Jakub Gedeon} and {Charles Morgan} and {Tomás Gedeon}}
}
@article{journals/jsyml/Morgan22,
title = {Mitchell-Inspired forcing, with Small Working parts and Collections of Models of Uniform Size as Side conditions, and Gap-One Simplified Morasses.},
year = {2022},
journal = {J. Symb. Log.},
author = {{Charles Morgan}}
}