Francis Jeffry Pelletier

54 papers A* 3A 2B 4C 1Misc 5Journal 34Unranked 1

Year	Rank	Type	Title / Venue / Authors
2019	A	`conf`	JGXYZ: An ATP System for Gap and Glut Logics. CADE Geoff Sutcliffe, Francis Jeffry Pelletier
2018	Misc	`conf`	Making Belnap's "Useful 4-Valued Logic" Useful. FLAIRS Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen
2018	J	`jnl`	Pecularities of Some Three- and Four-Valued Second Order Logics. Logica Universalis Allen P. Hazen, Francis Jeffry Pelletier
2018	J	`jnl`	Second-Order Logic of Paradox. Notre Dame J. Formal Log. Allen P. Hazen, Francis Jeffry Pelletier
2017	Misc	`conf`	Automated Reasoning for the Dialetheic Logic RM3. FLAIRS Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen
2017	—	`conf`	Issues of Mass and Count: Dealing with 'Dual-Life' Nouns. *SEM Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Johanna Marie Poppek
2017	J	`jnl`	K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You. CoRR Allen P. Hazen, Francis Jeffry Pelletier
2017	J	`jnl`	Kernel Contraction and Base Dependence. J. Artif. Intell. Res. Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
2017	J	`jnl`	The Logic for Metaphysical Conceptions of Vagueness. FLAP Francis Jeffry Pelletier
2016	B	`conf`	A sense-based lexicon of count and mass expressions: The Bochum English Countability Lexicon. LREC Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Roman Nino Simunic, Johanna Marie Poppek
2016	Misc	`conf`	Hoping for the Truth - A Survey of the TPTP Logics. FLAIRS Geoff Sutcliffe, Francis Jeffry Pelletier
2015	A*	`conf`	Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence. IJCAI Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier
2014	A*	`conf`	Belief Change and Base Dependence. KR Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
2014	B	`conf`	Building a reference lexicon for countability in English. LREC Tibor Kiss, Francis Jeffry Pelletier, Tobias Stadtfeld
2014	J	`jnl`	Compositional Belief Update. CoRR James P. Delgrande, Yi Jin, Francis Jeffry Pelletier
2014	J	`jnl`	Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Stud Logica Allen P. Hazen, Francis Jeffry Pelletier
2012	—	`ch.`	A History of Natural Deduction. Logic: A History of its Central Concepts Francis Jeffry Pelletier, Allen P. Hazen
2012	—	`book`	Logic: A History of its Central Concepts Dov M. Gabbay, Francis Jeffry Pelletier, John Woods
2012	—	`ch.`	Preface. Logic: A History of its Central Concepts Dov M. Gabbay, Francis Jeffry Pelletier, John Woods
2010	C	`conf`	Ontological Lessons from the Semantics of Mass and Count Nouns. FOIS Francis Jeffry Pelletier
2008	J	`jnl`	Compositional Belief Update. J. Artif. Intell. Res. James P. Delgrande, Yi Jin, Francis Jeffry Pelletier
2008	J	`jnl`	Is Logic all in our Heads? From Naturalism to Psychologism. Stud Logica Francis Jeffry Pelletier, Renée Elio, Philip P. Hanson
2008	J	`jnl`	Synonymous Logics: A Correction. J. Philos. Log. Francis Jeffry Pelletier, Alasdair Urquhart
2008	J	`jnl`	Ternary Exclusive Log. J. IGPL Francis Jeffry Pelletier, Andrew Hartline
2007	Misc	`conf`	Compositional Belief Update. FLAIRS James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman
2006	J	`jnl`	Foundations of Intensional Semantics. Comput. Linguistics Francis Jeffry Pelletier
2006	J	`jnl`	Representation and Inference for Natural Language: A First Course in Computational Semantics. Comput. Linguistics Francis Jeffry Pelletier
2005	J	`jnl`	The Case for Psychologism in Default and Inheritance Reasoning. Synth. Francis Jeffry Pelletier, Renée Elio
2004	J	`jnl`	On Some Alleged Misconceptions about Fuzzy Logic. Artif. Intell. Rev. Francis Jeffry Pelletier
2003	Misc	`conf`	Enumerating the Preconditions of Agent Message Types. AI Francis Jeffry Pelletier, Renee Elio
2003	J	`jnl`	Synonymous Logics. J. Philos. Log. Francis Jeffry Pelletier, Alasdair Urquhart
2002	J	`jnl`	The Average American has 2.3 Children. J. Semant. Greg Carlson, Francis Jeffry Pelletier
2002	J	`jnl`	The IJCAR ATP System Competition. J. Autom. Reason. Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
2002	J	`jnl`	The development of CASC. AI Commun. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
2001	J	`jnl`	Did Frege Believe Frege's Principle? J. Log. Lang. Inf. Francis Jeffry Pelletier
1998	J	`jnl`	Automated Natural Deduction in Thinker. Stud Logica Francis Jeffry Pelletier
1997	J	`jnl`	An Erratum for Some Errata to ATP Problems. J. Autom. Reason. Francis Jeffry Pelletier, Geoff Sutcliffe
1997	J	`jnl`	Belief Change as Propositional Update. Cogn. Sci. Renee Elio, Francis Jeffry Pelletier
1997	J	`jnl`	Conclusions about the CADE-13 ATP System Competition. J. Autom. Reason. Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
1997	—	`ch.`	Generics and Defaults. Handbook of Logic and Language Francis Jeffry Pelletier, Nicholas Asher
1997	J	`jnl`	What Should Default Reasoning Be, by Default? Comput. Intell. Francis Jeffry Pelletier, Renee Elio
1996	J	`jnl`	Book reviews. Minds Mach. Barbara Abbott, Annette Herskovits, Philip L. Peterson, Alfred R. Mele, David J. Cole, Daniel Crevier, Francis Jeffry Pelletier, Istvan S. N. Berkeley, Brendan Kitts, Mike Brown, George Paliouras
1994	J	`jnl`	Responses to Elkan (Francis Jeffry Pelletier). IEEE Expert Francis Jeffry Pelletier
1993	J	`jnl`	Identity in modal logic theorem proving. Stud Logica Francis Jeffry Pelletier
1991	A*	`conf`	The Philosophy of Automated Theorem Proving. IJCAI Francis Jeffry Pelletier
1990	J	`jnl`	Post's Functional Completeness Theorem. Notre Dame J. Formal Log. Francis Jeffry Pelletier, Norman M. Martin
1988	J	`jnl`	On proving functional incompleteness in symbolic logic classes. Notre Dame J. Formal Log. Francis Jeffry Pelletier, W. David Sharp
1986	J	`jnl`	Seventy-Five Problems for Testing Automatic Theorem Provers. J. Autom. Reason. Francis Jeffry Pelletier
1986	A	`conf`	THINKER. CADE Francis Jeffry Pelletier
1984	B	`conf`	Two Theories For Computing The Logical Form Of Mass Expressions. COLING Francis Jeffry Pelletier, Lenhart K. Schubert
1982	J	`jnl`	(X): comments on J. J. Katz's paper: "Common sense in semantics". Notre Dame J. Formal Log. Francis Jeffry Pelletier
1982	J	`jnl`	From English to Logic: Context-Free Computation of 'Conventional' Logical Translation. Am. J. Comput. Linguistics Lenhart K. Schubert, Francis Jeffry Pelletier
1980	B	`conf`	Formal Properties Of Rule Orderings In Linguistics. COLING Francis Jeffry Pelletier
1974	J	`jnl`	On some proposals for the semantics of mass nouns. J. Philos. Log. Francis Jeffry Pelletier