lethal
发表于 2025-3-23 11:13:16
http://reply.papertrans.cn/55/5417/541644/541644_11.png
thwart
发表于 2025-3-23 16:51:23
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.
神化怪物
发表于 2025-3-23 21:20:28
http://reply.papertrans.cn/55/5417/541644/541644_13.png
HAIL
发表于 2025-3-24 01:41:15
http://reply.papertrans.cn/55/5417/541644/541644_14.png
inchoate
发表于 2025-3-24 03:43:41
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
有组织
发表于 2025-3-24 09:46:06
http://reply.papertrans.cn/55/5417/541644/541644_16.png
cinder
发表于 2025-3-24 11:08:04
KI 2015: Advances in Artificial Intelligence978-3-319-24489-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
易于
发表于 2025-3-24 17:00:38
https://doi.org/10.1007/978-3-319-24489-1computer vision; constraint and logic programming; description logics; machine learning algorithms; plan
MELD
发表于 2025-3-24 20:37:34
http://reply.papertrans.cn/55/5417/541644/541644_19.png
exorbitant
发表于 2025-3-24 23:12:47
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.