Stem karl$ (all stems)

3 papers:

SEKE-1994-Landes #design #knowledge-based #named

DesignKARL — A language for the design of knowledge-based systems (DL), pp. 78–85.

ICRE-1993-FenselAS #analysis #semantics

Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL (DF, JA, RS), pp. 267–286.

CADE-1986-EisingerO

The Markgraf Karl Refutation Procedure (MKRP) (NE, HJO), pp. 681–682.