Sciweavers

225 search results - page 1 / 45
» OntoDLP: a Logic Formalism for Knowledge Representation
Sort
View
ASP
2003
Springer
13 years 9 months ago
OntoDLP: a Logic Formalism for Knowledge Representation
Francesco Calimeri, Stefania Galizia, Massimo Ruff...
KR
1992
Springer
13 years 8 months ago
Embedding Defaults into Terminological Knowledge Representation Formalisms
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
Franz Baader, Bernhard Hollunder
AAAI
1993
13 years 6 months ago
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
Chung Hee Hwang, Lenhart K. Schubert
IJAR
2006
241views more  IJAR 2006»
13 years 4 months ago
Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
Isabelle Bloch
DLOG
2003
13 years 6 months ago
Relationships with other Formalisms
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
Ulrike Sattler, Diego Calvanese, Ralf Molitor