Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Event_calculus> ?p ?o }
Showing triples 1 to 58 of
58
with 100 triples per page.
- Event_calculus abstract "The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s. Similar to other languages for reasoning about change, the event calculus represents the effects of actions on fluents. However, events can also be external to the system. In the event calculus, one can specify the value of fluents at some given time points, the events that take place at given time points, and their effects.".
- Event_calculus wikiPageExternalLink epapage.html.
- Event_calculus wikiPageExternalLink decreasoner.sourceforge.net.
- Event_calculus wikiPageExternalLink freeabs_all.jsp?isnumber=20130&arnumber=930691&count=35&index=2.
- Event_calculus wikiPageExternalLink ecasp.
- Event_calculus wikiPageExternalLink planners.html.
- Event_calculus wikiPageExternalLink event%20calculus.pdf.
- Event_calculus wikiPageExternalLink ?p=8f3428a89bad4589a949d74b6f0ec98d&pi=0.
- Event_calculus wikiPageExternalLink tools.html.
- Event_calculus wikiPageID "2897680".
- Event_calculus wikiPageLength "10601".
- Event_calculus wikiPageOutDegree "31".
- Event_calculus wikiPageRevisionID "673942992".
- Event_calculus wikiPageWikiLink Abductive_logic_programming.
- Event_calculus wikiPageWikiLink Abductive_reasoning.
- Event_calculus wikiPageWikiLink Action_(artificial_intelligence).
- Event_calculus wikiPageWikiLink Category:1986_introductions.
- Event_calculus wikiPageWikiLink Category:Knowledge_representation.
- Event_calculus wikiPageWikiLink Category:Logic_in_computer_science.
- Event_calculus wikiPageWikiLink Category:Logic_programming.
- Event_calculus wikiPageWikiLink Category:Logical_calculi.
- Event_calculus wikiPageWikiLink Circumscription_(logic).
- Event_calculus wikiPageWikiLink Event_(computing).
- Event_calculus wikiPageWikiLink First-order_logic.
- Event_calculus wikiPageWikiLink Fluent_(artificial_intelligence).
- Event_calculus wikiPageWikiLink Frame_problem.
- Event_calculus wikiPageWikiLink Function_(mathematics).
- Event_calculus wikiPageWikiLink Horn_clause.
- Event_calculus wikiPageWikiLink Logic.
- Event_calculus wikiPageWikiLink Logic_programming.
- Event_calculus wikiPageWikiLink Marek_Sergot.
- Event_calculus wikiPageWikiLink Murray_Shanahan.
- Event_calculus wikiPageWikiLink Negation_as_failure.
- Event_calculus wikiPageWikiLink Predicate_(mathematical_logic).
- Event_calculus wikiPageWikiLink Prolog.
- Event_calculus wikiPageWikiLink Reification.
- Event_calculus wikiPageWikiLink Robert_Kowalski.
- Event_calculus wikiPageWikiLink Robert_Miller.
- Event_calculus wikiPageWikiLink Royal_Swedish_Academy_of_Sciences.
- Event_calculus wikiPageWikiLink Situation_calculus.
- Event_calculus wikiPageWikiLink Truth_value.
- Event_calculus wikiPageWikiLinkText "Event calculus".
- Event_calculus wikiPageWikiLinkText "event calculus".
- Event_calculus subject Category:1986_introductions.
- Event_calculus subject Category:Knowledge_representation.
- Event_calculus subject Category:Logic_in_computer_science.
- Event_calculus subject Category:Logic_programming.
- Event_calculus subject Category:Logical_calculi.
- Event_calculus hypernym Language.
- Event_calculus type Language.
- Event_calculus type Method.
- Event_calculus comment "The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s. Similar to other languages for reasoning about change, the event calculus represents the effects of actions on fluents. However, events can also be external to the system.".
- Event_calculus label "Event calculus".
- Event_calculus sameAs Q5416707.
- Event_calculus sameAs m.089_vh.
- Event_calculus sameAs Q5416707.
- Event_calculus wasDerivedFrom Event_calculus?oldid=673942992.
- Event_calculus isPrimaryTopicOf Event_calculus.