2203 search results - page 56 / 441 » Knowledge Integration |
127
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
135
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
There is a need to develop methods to automatically incorporate prior knowledge to support the prediction and validation of novel functional associations. One such important sourc...
165
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
142
click to vote
KI
2007
Springer
15 years 4 months ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
219
click to vote
FOMI
2011
14 years 4 months ago
2011
Abstract. In this paper three perspectives are presented on defining the general notion of technical artifacts in formal ontologies. These perspectives share two intuitions: that ...