About: Event calculus

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Language for reasoning and representing events

Property	Value
dbo:description	language for reasoning and representing events (en)
dbo:wikiPageExternalLink	http://decreasoner.sourceforge.net/ http://reasoning.eas.asu.edu/ecasp/ http://ieeexplore.ieee.org/xpl/freeabs_all.jsp%3Fisnumber=20130&arnumber=930691&count=35&index=2 http://www.doc.ic.ac.uk/~mpsha/planners.html https://www.inf.unibz.it/~montali/tools.html https://github.com/aartikis/RTEC https://books.google.com/books%3Fid=z8zR3Ds7xKQC&printsec=frontcover%23v=onepage&q&f=false https://www.researchgate.net/profile/Fariba_Sadri/publication/2519366_Variants_of_the_Event_Calculus/links/5412f8130cf2788c4b358a25.pdf https://www.researchgate.net/profile/Murray_Shanahan/publication/2623069_The_Event_Calculus_Explained/links/00463537d038cc9cb7000000/The-Event-Calculus-Explained.pdf
dbo:wikiPageWikiLink	dbr:Situation_calculus dbr:Event_(computing) dbr:Murray_Shanahan dbc:1986_introductions dbc:Logic_programming dbr:Logic_programming dbr:Function_(mathematics) dbr:First-order_logic dbr:Prolog dbc:Logical_calculi dbr:Negation_as_failure dbc:Logic_in_computer_science dbr:Logic dbr:Fluent_(artificial_intelligence) dbr:Probability dbc:Knowledge_representation dbr:Truth_value dbr:Frame_problem dbr:Robert_Kowalski dbr:Constraint_logic_programming dbr:Abduction_(logic) dbr:Abductive_Logic_Programming dbr:Reification_(knowledge_representation) dbr:Circumscription_(logic) dbr:Horn_clauses dbr:Predicate_(mathematics) dbr:Successor_state_axiom dbr:Action_(artificial_intelligence) dbr:Marek_Sergot dbr:Rob_Miller_(Computer_Scientist)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:ISBN dbt:Unreferenced_section dbt:Cn dbt:Poemquote dbt:Short_description
dct:subject	dbc:1986_introductions dbc:Logic_programming dbc:Logical_calculi dbc:Logic_in_computer_science dbc:Knowledge_representation
gold:hypernym	dbr:Language
rdfs:label	Event calculus (en)
owl:sameAs	freebase:Event calculus wikidata:Event calculus dbpedia-global:Event calculus
prov:wasDerivedFrom	wikipedia-en:Event_calculus?oldid=1295626201&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Event_calculus
is dbo:knownFor of	dbr:Robert_Kowalski
is dbo:wikiPageDisambiguates of	dbr:Calculus_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Situation_calculus dbr:Logic_programming dbr:Artificial_intelligence dbr:Object_Action_Complex dbr:Calculus_(disambiguation) dbr:Abductive_reasoning dbr:Fluent_(artificial_intelligence) dbr:Fluent_calculus dbr:Action_language dbr:Frame_problem dbr:Robert_Kowalski dbr:Outline_of_artificial_intelligence dbr:Policy-based_management dbr:Department_of_Computing,_Imperial_College_London
is dbp:knownFor of	dbr:Robert_Kowalski
is foaf:primaryTopic of	wikipedia-en:Event_calculus