検索結果 1 件

デジタル記事
1994-03Bulletin of informatics and cybernetics26 1/2p.1-11
インターネットで読める全国の図書館
  • 要約等Circumscription, which is an i......otonic aspects of commonsense re......aper, we apply circumscription to logic progr......nd compare the semantics of circumscription with the stable model semantics of logic programs......show that each of them also dete......mines a unique model of circumscription of a logic program, and each model coincides with a unique stable model of the program as......he declarative semantics.
  • 関連情報RIFIS Technical Report || 62 Bulletin of informatics and cybernetics || 26(1/2) || p1-11 http://bic.math.kyushu-...
  • 出版者(掲載誌)Research Association of Statistical Sciences

検索結果は以上です。