Pierre Kimmel

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 4

Top Topics

Commonsense Reasoning

Propositional Calculus

Top Venues

J. Log. Comput.

MoDELS (Companion)

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic
A language agnostic approach to modeling requirements: specification and verification. MoDELS (Companion) (2020)
Didier Galmiche, Pierre Kimmel, David J. Pym
A substructural epistemic resource logic: theory and modelling applications. J. Log. Comput. 29 (8) (2019)
Didier Galmiche, Pierre Kimmel, David J. Pym
A Substructural Epistemic Resource Logic: Theory and Modelling Applications. CoRR (2019)
Didier Galmiche, Pierre Kimmel, David J. Pym
A Substructural Epistemic Resource Logic. ICLA (2017)