S'inscrire | Se connecter | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

de yarden library [6 articles]

Articles dernièrement stockés dans la bibliothèque de yarden .
  • 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 of logic axiomatization and agency ability by yarden on 2007-01-19 19:23:26 as ** along with 1 person guido
  • notes Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
    Journal of Logic and Computation, Vol. 16, No. 5. (October 2006), pp. 559-578.
    by Broersen, Jan, Herzig, Andreas, Troquard, Nicolas
    posted to strategic stit multi-agent logic game agency by yarden on 2007-01-19 19:16:24 as *****
  • A Computationally Tractable Nonmonotonic Logic
    posted to description epistemic knowledge logic minimal modal by yarden on 2005-03-17 04:21:21 as ***
  • Citations: On Asking What a Database Knows - Reiter (ResearchIndex)
    by Ray Reiter
    posted to epistemic logic minimal modal negation queries by yarden on 2005-03-17 04:20:15 as ***
  • Description logics of minimal knowledge and negation as failure
    ACM Trans. Comput. Logic, Vol. 3, No. 2. (April 2002), pp. 177-225.
    by Francesco M Donini, Daniele Nardi, Riccardo Rosati
    posted to as description failure knowledge logic minimal modal negation by yarden on 2005-03-17 04:19:12 as ****
  • Computer Implication and the Curry Paradox
    Journal of Philosophical Logic, Vol. 33, No. 6., 631.
    by Wayne Aitken, Jeffrey A Barrett
    posted to computational curry logic of philosophy by yarden on 2005-03-17 04:15:22 as ** along with 1 person and 1 group rzach LogicPhilMath
    • Remarque: pour citer cette page, utilisez l'url suivante: http://www.citeulike.org/user/yarden

    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.