Login / Signup
Francis Jeffry Pelletier
ORCID
Publication Activity (10 Years)
Years Active: 1974-2019
Publications (10 Years): 11
Top Topics
Automated Reasoning
Belief Update
Natural Deduction
Propositional Logic
Top Venues
FLAIRS Conference
CoRR
LREC
Logica Universalis
</>
Publications
</>