{"id":"https://openalex.org/W38366366","doi":null,"title":"What the Event Calculus actually does, and how to do it efficiently.","display_name":"What the Event Calculus actually does, and how to do it efficiently.","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W38366366","mag":"38366366"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.1212","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.stanford.edu/~iliano/papers/gulp94.ps.gz","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061649545","display_name":"Iliano Cervesato A","orcid":"https://orcid.org/0000-0001-6329-3400","observed_orcids":["https://orcid.org/0000-0001-6329-3400"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Iliano Cervesato","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-6329-3400","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039334766","display_name":"Luca Chittaro","orcid":"https://orcid.org/0000-0001-5975-4294","observed_orcids":["https://orcid.org/0000-0001-5975-4294"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luca Chittaro","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5975-4294","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5015702335","display_name":"Angelo Montanari","orcid":"https://orcid.org/0000-0002-4322-769X","observed_orcids":["https://orcid.org/0000-0002-4322-769X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Angelo Montanari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.00769816,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"336","last_page":"350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/event-calculus","display_name":"event calculus","score":0.9750000238418579},{"id":"https://openalex.org/keywords/logic-programming","display_name":"logic programming","score":0.6290000081062317},{"id":"https://openalex.org/keywords/event-ordering","display_name":"event ordering","score":0.6629999876022339},{"id":"https://openalex.org/keywords/incomplete-information","display_name":"incomplete information","score":0.7250000238418579},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.8799999952316284},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.41999998688697815}],"concepts":[{"id":"https://openalex.org/C18460168","wikidata":"https://www.wikidata.org/wiki/Q5416707","display_name":"Event calculus","level":2,"score":0.6106629967689514},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5568898320198059},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.5106046795845032},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4699530601501465},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4515322148799896},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44280120730400085},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.41349196434020996},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3854973316192627},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3499838709831238},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1841191053390503},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.1212","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.stanford.edu/~iliano/papers/gulp94.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.79.7059","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.7059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://theory.stanford.edu/~iliano/papers/gulp94.pdf","raw_type":"text"},{"id":"mag:38366366","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/agp/gulp-prode1994-2.html#CervesatoCM94","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W74151498","https://openalex.org/W74702817","https://openalex.org/W92107885","https://openalex.org/W112818326","https://openalex.org/W118694041","https://openalex.org/W1542533636","https://openalex.org/W1554699440","https://openalex.org/W2049762814","https://openalex.org/W2122521418","https://openalex.org/W2135319067"],"related_works":["https://openalex.org/W617372085","https://openalex.org/W1494918985","https://openalex.org/W2113792496","https://openalex.org/W7097761009","https://openalex.org/W2137813619","https://openalex.org/W7033067242","https://openalex.org/W7038278008","https://openalex.org/W1542533636","https://openalex.org/W2403068851","https://openalex.org/W2030750439"],"abstract_inverted_index":{"Kowalski":[0,157],"and":[1,13,31,35,66,93,96,139,158],"Sergot's":[2],"Event":[3],"Calculus":[4],"(EC)":[5],"is":[6,80],"a":[7,16,21,55,68,108,124],"formalism":[8],"for":[9,107],"reasoning":[10],"about":[11,77],"time":[12,43,103],"change":[14],"in":[15,27],"logic":[17],"programming":[18],"framework.":[19],"From":[20],"description":[22],"of":[23,58,88,133,135,152],"events":[24],"which":[25,47],"occur":[26],"the":[28,41,85,120,131,150],"real":[29],"world":[30],"properties":[32,48],"they":[33],"initiate":[34],"terminate,":[36],"EC":[37,60,89],"allows":[38],"to":[39,63,70,104,123,147],"derive":[40],"maximal":[42],"intervals":[44],"(MVIs)":[45],"over":[46],"hold.":[49],"In":[50],"this":[51],"paper,":[52],"we":[53,112,128],"provide":[54],"precise":[56],"characterization":[57],"what":[59],"actually":[61],"does":[62],"compute":[64,105],"MVIs,":[65],"propose":[67],"solution":[69],"do":[71],"it":[72,99,142],"efficiently":[73],"when":[74],"incomplete":[75],"information":[76],"event":[78],"ordering":[79,137],"given.":[81],"We":[82],"first":[83],"introduce":[84,130],"basic":[86],"features":[87],"with":[90],"relative":[91],"times":[92],"partial":[94],"ordering,":[95],"show":[97,113,140],"that":[98,141],"requires":[100],"an":[101,136],"exponential":[102,121],"MVIs":[106],"given":[109],"property.":[110],"Then,":[111],"how":[114],"adopting":[115],"graph":[116],"marking":[117],"techniques":[118],"reduces":[119],"complexity":[122,151],"polynomial":[125],"cost.":[126],"Successively,":[127],"formally":[129],"notion":[132],"kernel":[134],"relation,":[138],"can":[143],"be":[144],"usefully":[145],"applied":[146],"further":[148],"reduce":[149],"computing":[153],"MVIs.":[154],"1":[155],"Introduction":[156],"Sergot...":[159]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-10-17T09:40:24.721904","created_date":"2016-06-24T00:00:00"}