新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Scis0000002 Denecker [4 articles]

最近 Scis0000002 さんのライブラリに追加された論文の中から 著者が Denecker. であるものをリストアップしています. You can also see everyone's Denecker.
  • the transformation of objectoriented conceptual models to logical theories
    posted to formalization logical-theories by Scis0000002 on 2007-07-06 09:57:09 as **
  • A-System: Problem Solving through Abduction
    (2001), pp. 591-596.
    by Antonis C Kakas, Bert Van Nuffelen, Marc Denecker
    posted to abduction alp problem-solving by Scis0000002 on 2007-07-06 09:49:21 as **
  • On the duality of abduction and model generation in a framework for model generation with equality
    Theoretical Computer Science, Vol. 122, No. 1--2. (1994), pp. 225-262.
    by Marc Denecker, Danny De Schreye
    posted to abduction duality model-generation by Scis0000002 on 2007-07-06 09:47:53 as **
  • Representing Incomplete Knowledge in Abductive Logic Programming
    (1993), pp. 147-163.
    by Marc Denecker, Danny De Schreye
    posted to alp by Scis0000002 on 2007-07-06 09:44:34 as **
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/Scis0000002/author/Denecker

    RIS BibTeX