Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

benoitstpierre situation-calculus [12 articles]

Recent papers added to benoitstpierre library classified by the tag situation-calculus. You can also see everyone's situation-calculus.
  • Nonmonotonic Reasoning in the Framework of Situation Calculus
    Artificial Intelligence, Vol. 49, No. 1-3. (1991), pp. 5-23.
    by Andrew B Baker
    posted to situation-calculus by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • Semantics for a useful fragment of the situation calculus
    (2005)
    by G Lakemeyer, H Levesque
    posted to situation-calculus by benoitstpierre on 2007-08-23 16:54:51 as ** along with 1 group CLIC
  • Ability and knowing how in the situation calculus
    (1995)
    by Y Lesperance, H Levesque, F Lin, R Scherl
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:56 as ** along with 1 group CLIC
  • Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
    J Logic Computation, Vol. 11 (2001), pp. 257-282.
    by Gerhard Brewka
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:56 as ** along with 1 group CLIC
  • Regression in modal logic
    Vol. 13 (2003), pp. 165-185.
    by R Demolombe, A Herzig, I Varzinczak
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:56 as ** along with 1 group CLIC
  • Foundations for the Situation Calculus
    Electronic Transactions on Artificial Intelligence, Vol. 2 (1998)
    by Hector Levesque, Fiora Pirri, Ray Reiter
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:56 as ** along with 1 group CLIC
  • Some Philosophical Problems from the Standpoint of Artificial Intelligence
    Machine Intelligence 4 (1969), pp. 463-502.
    by John Mccarthy, Patrick J Hayes
    edited by B Meltzer, D Michie
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:56 as ** along with 1 group CLIC
  • Introduction to the Fluent Calculus.
    Electron. Trans. Artif. Intell., Vol. 2 (1998), pp. 179-192.
    by Michael Thielscher
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • Situation Calculus as Hybrid Logic: First Steps
    Portuguese Conference on Artificial Intelligence (2001), pp. 253-260.
    by Patrick Blackburn, Jaap Kamps, Maarten Marx
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • Reasoning about Noisy Sensors and Effectors in the Situation Calculus.
    Artif. Intell., Vol. 111 (1999), pp. 171-208.
    by Fahiem Bacchus, Joseph Y Halpern, Hector J Levesque
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • The Situation Calculus Ontology
    Electronic News Journal on Reasoning about Actions and Change (2006)
    by Ray Reiter
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
  • Some contributions to the metatheory of the situation calculus
    J. ACM, Vol. 46 (1999), pp. 325-361.
    by Fiora Pirri, Ray Reiter
    posted to situation-calculus by benoitstpierre on 2007-08-18 14:10:55 as ** along with 1 group CLIC
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/benoitstpierre/tag/situation-calculus

    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.