Alexandre Niveau, François Schwarzentruber, Bruno Zanuttini. Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent.
Actes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France.
⟨hal-01837924⟩