Travelled to:1 × Austria
Collaborated with:∅ G.Sutcliffe M.Oveisi J.P.Delgrande F.Popowich
Talks about:thinker (1) system (1) depend (1) belief (1) logic (1) jgxyz (1) chang (1) glut (1) base (1) gap (1)
Person: Francis Jeffry Pelletier
DBLP: Pelletier:Francis_Jeffry
Contributed to:
2014
19862019Wrote 3 papers:
- KR-2014-OveisiDPP #dependence
- Belief Change and Base Dependence (MO, JPD, FJP, FP).
- CADE-1986-Pelletier
- THINKER (FJP), pp. 701–702.
- CADE-2019-SutcliffeP #logic #named
- JGXYZ: An ATP System for Gap and Glut Logics (GS, FJP), pp. 526–537.