Titlebook: Description Logic, Theory Combination, and All That; Essays Dedicated to Carsten Lutz,Uli Sattler,Frank Wolter Book 2019 Springer Nature S

抱怨

诱使

Cursory

agonist

抗原

F. Kubli,W. Schmidt,J. Gauwerkyn some first-order theories or fragments thereof (e.g., the quantifier-free fragment). . is the problem of determining whether a quantifier-free formula admits a model that is a model of a given theory. If the formula mixes theories, the considered theory is their union, and . is the problem of comb

malign

Conference proceedings 1987Latest editiones, yielding an array of complexity results. Representation and reasoning with plans is a very important topic in AI, yet there has been very little work on finding and studying DL constructors for plan concepts..We start to remedy this problem here by considering Plan DLs where concept instances ar

多嘴多舌

yohimbine

Thyroiditis