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

guido library [4 articles]

最近 guido さんのライブラリ .
  • Representation results for defeasible logic
    ACM Transactions on Computational Logic, Vol. 2, No. 2. (2001), pp. 255-287.
    by Grigoris Antoniou, David Billington, Guido Governatori, Michael J Maher
    posted to defeasible logic non-monotonic by guido on 2005-11-29 18:32:57 as read
  • On the Axiomatisation of Elgesem's Logic of Agency and Ability
    Journal of Philosophical Logic, Vol. 34, No. 4. (August 2005), pp. 403-431.
    by Guido Governatori, Antonino Rotolo
    posted to logic modal by guido on 2005-11-29 18:25:39 as read along with 1 person yarden
  • Applying Propositional Logic to Workflow Verification
    Information Technology and Management, Vol. 5, No. 3-4., 293.
    by HH Bi, JL Zhao
    posted to no-tag by guido on 2005-11-24 05:19:58 as **
  • Ground Nonmonotonic Modal Logic S5: New Results
    Journal of Logic and Computation, Vol. 15, No. 5. (October 2005), pp. 787-813.
    by Mauricio O Galindo, Juan A Perez, Jose R Ramirez, Veronica B Macias
    posted to logic modal by guido on 2005-11-24 05:12:38 as ***
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/guido

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.