BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
sat (2)
logic (2)
descript (2)
forget (1)
base (1)

Stem alc$ (all stems)

4 papers:

KRKR-2014-LudwigK #difference #logic
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
SACSAC-2006-dAmatoFE #concept #difference
A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.
ICSTSAT-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.
KRKR-1996-GiunchigliaS #satisfiability
A SAT-based Decision Procedure for ALC (FG, RS), pp. 304–314.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.