392 search results - page 16 / 79 » Integrating Constraints in an Object-Based Knowledge Represe... |
183
click to vote
ICCS
1999
Springer
15 years 9 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
147
click to vote
EKAW
2004
Springer
15 years 10 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
145
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
160
click to vote
IEE
2008
15 years 4 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
138
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...