Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[PDF][PDF] Reasoning and revision in hybrid representation systems
B Nebel - 1990 - publikationen.sulb.uni-saarland.de
¦ § C@'G9 $ 6E8© k 4 2! k&P 8 3D5 m9 $36 UQ 6@'zR#"! o# 6 V" $'&1 D&© Q34 $ VG V&#"
E¢ $ 6E8" U% G0) efXxDiuh0rop r4© Q& § Ï"!# A 2" $9&# 6@¥ m9 $36 UQ 6@ 9z4 v D …
E¢ $ 6E8" U% G0) efXxDiuh0rop r4© Q& § Ï"!# A 2" $9&# 6@¥ m9 $36 UQ 6@ 9z4 v D …
The kl-one family
WA Woods, JG Schmolze - Computers & Mathematics with Applications, 1992 - Elsevier
The knowledge representation system KL-ONE has been one of the most influential and
imitated knowledge representation systems in the Artificial Intelligence community. Begun at …
imitated knowledge representation systems in the Artificial Intelligence community. Begun at …
[SÁCH][B] Modelling spatial knowledge on a linguistic basis: theory, prototype, integration
E Lang, KU Carstensen, G Simmons - 1991 - Springer
On the basis of a semantic analysis of dimension terms, this book develops a theory about
knowledge of spatial objects, which is significant for cognitive linguistics and artificial …
knowledge of spatial objects, which is significant for cognitive linguistics and artificial …
[SÁCH][B] Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub - 2013 - books.google.com
Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der
Intellektik, dh des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es …
Intellektik, dh des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es …
An order-sorted logic for knowledge representation systems
C Beierle, U Hedtstück, U Pletat, PH Schmitt… - Artificial intelligence, 1992 - Elsevier
Hybrid knowledge representation systems (such as those of the KL-ONE family) distinguish
between taxonomical information (that is represented in the T-Box) and assertional …
between taxonomical information (that is represented in the T-Box) and assertional …
Attributive description formalisms... and the rest of the world
Research in knowledge representation has led to the development of so-called
terminological logics, the purpose of which is to support the representation of the conceptual …
terminological logics, the purpose of which is to support the representation of the conceptual …
[SÁCH][B] Compound comprehension in isolation and in context: the contribution of conceptual and discourse knowledge to the comprehension of German novel noun …
R Meyer - 2010 - books.google.com
Page 1 DE GRUYTER Ralf Meyer COMPOUND COMPREHENSION IN ISOLATION AND IN
CONTEXT LINGUISTISCHE ARBEITEN DE G EIC Page 2 Linguistische Arbeiten 299 …
CONTEXT LINGUISTISCHE ARBEITEN DE G EIC Page 2 Linguistische Arbeiten 299 …
From PROLOG++ to PROLOG+ CG: A CG object-oriented logic programming language
A Kabbaj, M Janta-Polczynski - International Conference on Conceptual …, 2000 - Springer
Abstract In [11], we presented PROLOG++, a CG-based conceptual and contextual
extension of PROLOG. This paper discusses some limitations of PROLOG++ and presents a …
extension of PROLOG. This paper discusses some limitations of PROLOG++ and presents a …
A concise presentation of ITL
N Guarino - ACM SIGART Bulletin, 1991 - dl.acm.org
ITL (Intensional Terminological Language) is a Prolog-based language derived from our
previous work on DRL. Like LOGIN, it improves the expressive adequacy of Prolog by the …
previous work on DRL. Like LOGIN, it improves the expressive adequacy of Prolog by the …
[SÁCH][B] Theories and tools for designing application-specific knowledge-base data models
M Graves - 1993 - search.proquest.com
The aim of this dissertation is to make develo** knowledge-intensive applications easier
by providing a methodology for designing their knowledge base. This is done by providing a …
by providing a methodology for designing their knowledge base. This is done by providing a …