Stem fol$ (all stems)

5 papers:

SEKE-2005-WangDS #alloy #reasoning #using

Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.

KR-1998-CheinMS #graph #information management #representation #semantics

Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics (MC, MLM, GS), pp. 524–535.

ICML-1994-Sebag #algorithm #constraints #induction

A Constraint-based Induction Algorithm in FOL (MS), pp. 275–283.

CADE-1982-Weyhrauch #using

An Example of FOL Using Metatheory (RWW), pp. 151–158.

SIGIR-1973-Claybrook #implementation #named #retrieval

FOL: A Language for Implementing File Organizations for Information Storage and Retrieval Systems (BGC), pp. 101–112.