Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Situation_calculus> ?p ?o }
Showing triples 1 to 52 of
52
with 100 triples per page.
- Situation_calculus abstract "The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation.".
- Situation_calculus wikiPageExternalLink mcchay69.html.
- Situation_calculus wikiPageExternalLink 005.
- Situation_calculus wikiPageExternalLink note.html.
- Situation_calculus wikiPageID "2256109".
- Situation_calculus wikiPageLength "19744".
- Situation_calculus wikiPageOutDegree "21".
- Situation_calculus wikiPageRevisionID "649745107".
- Situation_calculus wikiPageWikiLink Category:1963_introductions.
- Situation_calculus wikiPageWikiLink Category:Logic_programming.
- Situation_calculus wikiPageWikiLink Category:Logical_calculi.
- Situation_calculus wikiPageWikiLink Circumscription_(logic).
- Situation_calculus wikiPageWikiLink Electronic_Transactions_on_Artificial_Intelligence.
- Situation_calculus wikiPageWikiLink Event_calculus.
- Situation_calculus wikiPageWikiLink First-order_logic.
- Situation_calculus wikiPageWikiLink Fluent_(artificial_intelligence).
- Situation_calculus wikiPageWikiLink Fluent_calculus.
- Situation_calculus wikiPageWikiLink Frame_problem.
- Situation_calculus wikiPageWikiLink John_McCarthy_(computer_scientist).
- Situation_calculus wikiPageWikiLink Journal_of_the_ACM.
- Situation_calculus wikiPageWikiLink Logic.
- Situation_calculus wikiPageWikiLink Logic_programming.
- Situation_calculus wikiPageWikiLink Negation_as_failure.
- Situation_calculus wikiPageWikiLink Ray_Reiter.
- Situation_calculus wikiPageWikiLink Raymond_Reiter.
- Situation_calculus wikiPageWikiLink Royal_Swedish_Academy_of_Sciences.
- Situation_calculus wikiPageWikiLink SLD_resolution.
- Situation_calculus wikiPageWikiLink Second-order_logic.
- Situation_calculus wikiPageWikiLink Truth_value.
- Situation_calculus wikiPageWikiLinkText "Situation calculus".
- Situation_calculus wikiPageWikiLinkText "Situation calculus#GOLOG".
- Situation_calculus wikiPageWikiLinkText "Situation calculus#The successor state axioms".
- Situation_calculus wikiPageWikiLinkText "situation calculus".
- Situation_calculus hasPhotoCollection Situation_calculus.
- Situation_calculus wikiPageUsesTemplate Template:Doi.
- Situation_calculus wikiPageUsesTemplate Template:John_McCarthy_navbox.
- Situation_calculus wikiPageUsesTemplate Template:Main.
- Situation_calculus wikiPageUsesTemplate Template:Reflist.
- Situation_calculus subject Category:1963_introductions.
- Situation_calculus subject Category:Logic_programming.
- Situation_calculus subject Category:Logical_calculi.
- Situation_calculus hypernym Formalism.
- Situation_calculus type ProgrammingLanguage.
- Situation_calculus type Method.
- Situation_calculus comment "The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation.".
- Situation_calculus label "Situation calculus".
- Situation_calculus sameAs Situationskalkül.
- Situation_calculus sameAs m.06zp7t.
- Situation_calculus sameAs Q1559077.
- Situation_calculus sameAs Q1559077.
- Situation_calculus wasDerivedFrom Situation_calculus?oldid=649745107.
- Situation_calculus isPrimaryTopicOf Situation_calculus.