( en | de | ru )

 

Disambiguation of "Pelletier, Francis Jeffry"

Author of the publication

copydeleteadd this publication to your clipboard
Hoping for the Truth - A Survey of the TPTP Logics.

, and . FLAIRS, page 110-115. AAAI Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Isabelle Pelletier

Jeffry Sheel

Caroline Pelletier

Jeffry Behrends

Klaus Pelletier

 

Other publications of authors with the same name

On some proposals for the semantics of mass nouns.. J. Philosophical Logic, 3 (1-2): 87-108 (1974)Automated Reasoning for the Dialetheic Logic RM3., , and . FLAIRS, page 110-115. AAAI Press, (2017)Belief Change and Base Dependence., , , and . KR, AAAI Press, (2014)JGXYZ: An ATP System for Gap and Glut Logics., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 526-537. Springer, (2019)Did Frege Believe Frege's Principle?. J. Log. Lang. Inf., 10 (1): 87-114 (2001)The Philosophy of Automated Theorem Proving.. IJCAI, page 1039-1045. Morgan Kaufmann, (1991)Issues of Mass and Count: Dealing with 'Dual-Life' Nouns., , , and . *SEM, page 189-198. Association for Computational Linguistics, (2017)Is Logic all in our Heads? From Naturalism to Psychologism., , and . Stud Logica, 88 (1): 3-66 (2008)Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence., , , and . IJCAI, page 3134-3140. AAAI Press, (2015)Building a reference lexicon for countability in English., , and . LREC, page 995-1000. European Language Resources Association (ELRA), (2014)