James Jerson Ortiz

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 2

Top Topics

Autoepistemic Logic

Prime Implicates

Automatic Construction

Top Venues

Publications

James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens
: A Distributed Real-Time Modal Logic. NFM (2019)
James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens
Multi-timed Bisimulation for Distributed Timed Automata. NFM (2017)
Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens
ArThUR: A Tool for Markov Logic Network. OTM Workshops (2014)
Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens
Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. IC (2013)
Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens
ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. INFORSID (2013)
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
Distributed Event Clock Automata - Extended Abstract. CIAA (2011)
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
Memory Event Clocks. FORMATS (2010)