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

benoitstpierre knowledge [30 articles]

最近 benoitstpierre さんのライブラリに追加された論文の中から タグ knowledge. You can also see everyone's knowledge.
  • Fashionable Nonsense: Postmodern Intellectuals' Abuse of Science
    (29 October 1999)
    by Alan Sokal, Jean Bricmont
    posted to phi-101 method knowledge argumentation by benoitstpierre on 2008-04-22 00:07:01 as read along with 1 person robertoalamino
  • notes The Knowledge Level
    AI Magazine (1980)
    by Allen Newell
    posted to knowledge by benoitstpierre on 2008-02-03 13:32:12 as read
  • notes The Scientific Outlook
    (18 July 2001)
    by Bertrand Russell
    posted to knowledge by benoitstpierre on 2007-12-03 12:27:36 as **
  • notes Logic and Knowledge
    (01 October 1988)
    by Bertrand Russell
    posted to knowledge by benoitstpierre on 2007-12-03 12:25:20 as **
  • Skepticism and Foundations
    (2001)
    by Gilbert Harman
    posted to knowledge by benoitstpierre on 2007-11-16 15:30:59 as **
  • The Future of Knowledge Representation
    (1990), pp. 1082-1092.
    by Ronald J Brachman
    posted to knowledge by benoitstpierre on 2007-11-09 14:46:31 as read
  • A Framework for Representing Knowledge
    (1974)
    by Marvin Minsky
    posted to knowledge by benoitstpierre on 2007-11-09 14:41:00 as ** along with 2 people and 1 group willbyrne RafG HCI-Bham
  • The Synthesis of Digital Machines With Provable Epistemic Properties
    (1986), pp. 83-98.
    by Stanley J Rosenschein, Leslie P Kaelbling
    posted to knowledge by benoitstpierre on 2007-11-06 00:43:41 as **
  • Formal Theories of Knowledge in AI and Robotics
    New Generation Comput., Vol. 3, No. 4. (1985), pp. 345-357.
    by Stanley J Rosenschein
    posted to knowledge by benoitstpierre on 2007-11-06 00:43:41 as **
  • Logics of Knowledge, Games and Dynamic Logic
    (1984), pp. 202-222.
    by Rohit Parikh
    posted to knowledge by benoitstpierre on 2007-11-06 00:43:41 as **
  • The Ontological Level
    (1994)
    by Nicola Guarino
    edited by R Casati, B Smith, G White
    posted to knowledge by benoitstpierre on 2007-08-25 20:11:01 as ** along with 1 person and 1 group leechuck CLIC
  • Reflections on the knowledge level
    (1994), pp. 31-38.
    by Allen Newell
    posted to knowledge by benoitstpierre on 2007-08-25 19:21:01 as ***** along with 1 group CLIC
  • Unified theories of cognition
    (1994)
    by Allen Newell
    posted to knowledge by benoitstpierre on 2007-08-25 19:19:33 as * along with 1 group CLIC
  • Knowledge Level Reflection
    by Aurélien Slodzian
    posted to knowledge by benoitstpierre on 2007-08-25 19:18:44 as ** along with 1 group CLIC
  • A real-world rational agent: unifying old and new AI
    Cognitive Science, Vol. 27, No. 4. (2003), pp. 561-590.
    by Paul F Verschure, Philipp Althaus
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:53 as ** along with 1 group CLIC
  • Knowledge in Flux : Modeling the Dynamics of Epistemic States
    (1988)
    by Peter Gärdenfors
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:53 as ** along with 1 group CLIC
  • On the epistemological status of semantic networks
    (1979)
    by Ronald J Brachman
    edited by NV Findler
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:53 as ** along with 1 group CLIC
  • A Coalgebraic Semantics for Epistemic Programs
    Vol. 82 (2003)
    by Alexandru Baltag
    edited by Peter H Gumm
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:52 as ** along with 1 group CLIC
  • A Formal Theory of Knowledge and Action
    (1985), pp. 319-358.
    by RC Moore
    edited by JR Hobbs, RC Moore
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:52 as ** along with 1 group CLIC
  • Model Checking Russian Cards
    Electronic Notes in Theoretical Computer Science, Vol. 149, No. 2. (2006), pp. 105-123.
    by HP van Ditmarsch, W van der Hoek, R van der Meyden, J Ruan
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • Playing Cards with Hintikka
    Australasian Journal of Logic (2005)
    by van der Hoek, B Kooi
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • Epistemic Logic : A survey
    (2002)
    by Wiebe van Der Hoek, Rineke Verbrugge
    edited by LA Petrosjan, VV Mazalov
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • A Metric for Positional Games
    Theoretical computer science (2000)
    by Mark J Ettinger
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • Descriptions of game states
    (2000)
    by Hans van Dittmarsch, Wiebe van Der Hoek, Barteld Kooi
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • Model Checking Epistemic Properties of Interpreted Systems
    (2003)
    by Franco Raimondi
    posted to knowledge by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • The Knowing Mathematician
    Synthese (1984)
    by Nicolas D Goodman
    posted to knowledge by benoitstpierre on 2007-08-18 14:10:56 as ** along with 1 group CLIC
  • Resource-bounded knowledge
    TARK (1988), pp. 261-275.
    by Yoram Moses
    posted to knowledge by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • Belief, awareness, and limited reasoning
    Artif. Intell., Vol. 34 (1987), pp. 39-76.
    by R Fagin, JY Halpern
    posted to knowledge by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • Model Checking Russian Cards
    Electronic Notes in Theoretical Computer Science, Vol. 149 (2006), pp. 105-123.
    by HP van Ditmarsch, W van der Hoek, R van der Meyden, J Ruan
    posted to knowledge by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • A Coalgebraic Semantics for Epistemic Programs
    Electronic Notes in Theoretical Computer Science, Vol. 82, pp. 319-358.
    by RC Moore, Alexandru Baltag
    edited by JR Hobbs, RC Moore, Peter H Gumm
    posted to knowledge by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/benoitstpierre/tag/knowledge

    RIS BibTeX RSS
    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.