Stem monod$ (all stems)

5 papers:

ICALP-v2-2014-JungLGS #first-order #logic #probability

Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.

CADE-2009-LudwigH #reasoning

Fair Derivations in Monodic Temporal Reasoning (ML, UH), pp. 261–276.

CADE-2005-HustadtKS

Deciding Monodic Fragments by Temporal Resolution (UH, BK, RAS), pp. 204–218.

IJCAR-2004-HustadtKRV #named #proving

TeMP: A Temporal Monodic Prover (UH, BK, AR, AV), pp. 326–330.

CADE-2003-DegtyarevFK

Monodic Temporal Resolution (AD, MF, BK), pp. 397–411.