Sciweavers

2398 search results - page 169 / 480
» Knowledge Representation
Sort
View
WM
2003
15 years 5 months ago
Integration with Ontologies
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
Andreas Maier, Jessica Aguado, Amaia Bernaras, I&n...
IJCAI
1997
15 years 5 months ago
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
Angelo Montanari, Alberto Policriti
AMAI
2008
Springer
15 years 4 months ago
Integrating answer set programming and constraint logic programming
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, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
EKAW
2010
Springer
15 years 2 months ago
Practical Considerations on Identity for Instance Management in Ontological Investigation
For knowledge representation based on ontology and its use, it is desirable to understand phenomena in the target world as precisely and deeply as possible. The ontology should ref...
Kouji Kozaki, Satoshi Endo, Riichiro Mizoguchi
JUCS
2010
139views more  JUCS 2010»
14 years 10 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...