936 search results - page 15 / 188 » The Logical Difference Problem for Description Logic Termino... |
JSA
2000
13 years 7 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...
IJCAI
1997
13 years 9 months ago
1997
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...
DLOG
2008
13 years 10 months ago
2008
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications. The problem has been studied by many au...
KR
1992
Springer
13 years 11 months ago
1992
Springer
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...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer