Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Event_calculus> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Event_calculus abstract "The event calculus is a logical language for representing and reasoning about actions 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.The basic components of the event calculus, as with other similar languages for reasoning about actions and change are fluents and actions. In the event calculus, one can specify the value of fluents at some given time points, the actions that took place at given time points, and their effects.".
- 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 epapage.html.
- Event_calculus wikiPageExternalLink ?p=8f3428a89bad4589a949d74b6f0ec98d&pi=0.
- Event_calculus wikiPageID "2897680".
- Event_calculus wikiPageRevisionID "562701190".
- Event_calculus hasPhotoCollection 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 comment "The event calculus is a logical language for representing and reasoning about actions 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.The basic components of the event calculus, as with other similar languages for reasoning about actions and change are fluents and actions.".
- Event_calculus label "Event calculus".
- Event_calculus sameAs m.089_vh.
- Event_calculus sameAs Q5416707.
- Event_calculus sameAs Q5416707.
- Event_calculus wasDerivedFrom Event_calculus?oldid=562701190.
- Event_calculus isPrimaryTopicOf Event_calculus.