Results 301 to 310 of about 130,323 (314)
Some of the next articles are maybe not open access.
Autoepistemic Description Logics
1998A non-first-order extension of description logics (DL) which is able to both formalize the nonmonotonic features of knowledge representation (KR) systems, and to provide a computational characterization of reasoning in such a setting, is defined.
openaire +1 more source