Titlebook: KI 2015: Advances in Artificial Intelligence; 38th Annual German C Steffen Hölldobler,Rafael Peñaloza,Sebastian Rudol Conference proceeding

lethal

thwart

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general ,-TBoxesa certain simulation between hypergraph representations of the set of subsumees of . and of . w.r.t.., respectively. With the aim of keeping the procedure implementable, we provide a detailed construction of such hypergraphs deliberately avoiding the use of intricate automata-theoretic techniques.

神化怪物

HAIL

inchoate

Conference proceedings 2015 September 2015. ..The 15 revised full technical papers presented together with 14 technical communications, 4 doctoral consortium contributions,  and 3 keynotes were carefully reviewed and selected from 58 submissions. ..The conference provides the opportunity to present a wider range of results an

有组织

cinder

KI 2015: Advances in Artificial Intelligence978-3-319-24489-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

易于

https://doi.org/10.1007/978-3-319-24489-1computer vision; constraint and logic programming; description logics; machine learning algorithms; plan

MELD

exorbitant

Assisting with Goal Formulation for Domain Independent Planninger generate the planning goals with a domain specific goal component or they require the user to write fully fledged PDDL goal descriptions. In this paper we present a domain independent method based on referring expressions to implement a menu-driven interface to a planning system.