Stem alc$ (all stems)

4 papers:

KR-2014-LudwigK #difference #logic

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).

SAC-2006-dAmatoFE #concept #difference

A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.

SAT-2006-SebastianiV #case study #encoding #logic #satisfiability

Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC (RS, MV), pp. 130–135.

KR-1996-GiunchigliaS #satisfiability

A SAT-based Decision Procedure for ALC (FG, RS), pp. 304–314.