Automation in construction scheduling: a review of the literature
Automating the development of construction schedules has been an interesting topic for
researchers around the world for almost three decades. Researchers have approached …
researchers around the world for almost three decades. Researchers have approached …
[图书][B] Ontology matching
J Euzenat, P Shvaiko - 2007 - Springer
An ontology typically provides a vocabulary describing a domain of interest and a
specification of the meaning of terms in that vocabulary. Depending on the precision of this …
specification of the meaning of terms in that vocabulary. Depending on the precision of this …
Attributive concept descriptions with complements
M Schmidt-Schauß, G Smolka - Artificial intelligence, 1991 - Elsevier
We investigate the consequences of adding unions and complements to attributive concept
descriptions employed in terminological knowledge representation languages. It is shown …
descriptions employed in terminological knowledge representation languages. It is shown …
[PDF][PDF] Unification theory
Unification is a fundamental process upon which many methods for automated deduction
are based. Unification theory abstracts from the specific applications of this process: it …
are based. Unification theory abstracts from the specific applications of this process: it …
Logics for unranked trees: An overview
L Libkin - Logical Methods in Computer Science, 2006 - lmcs.episciences.org
Labeled unranked trees are used as a model of XML documents, and logical languages for
them have been studied actively over the past several years. Such logics have different …
them have been studied actively over the past several years. Such logics have different …
[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 …
Combining Horn rules and description logics in CARIN
AY Levy, MC Rousset - Artificial intelligence, 1998 - Elsevier
We describe carin, a novel family of representation languages, that combine the expressive
power of Horn rules and of description logics. We address the issue of providing sound and …
power of Horn rules and of description logics. We address the issue of providing sound and …
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 …
A temporal description logic for reasoning about actions and plans
A Artale, E Franconi - Journal of Artificial Intelligence Research, 1998 - jair.org
A class of interval-based temporal languages for uniformly representing and reasoning
about actions and plans is presented. Actions are represented by describing what is true …
about actions and plans is presented. Actions are represented by describing what is true …
[图书][B] Parsing schemata: a framework for specification and analysis of parsing algorithms
K Sikkel - 2012 - books.google.com
Parsing, the syntactic analysis of language, has been studied extensively in computer
science and computational linguistics. Computer programs and natural languages share an …
science and computational linguistics. Computer programs and natural languages share an …