{"id":"https://openalex.org/W197631025","doi":null,"title":"Situation calculus on a dense flow of time","display_name":"Situation calculus on a dense flow of time","publication_year":1996,"publication_date":"1996-08-04","ids":{"openalex":"https://openalex.org/W197631025","mag":"197631025"},"language":"en","primary_location":{"id":"mag:197631025","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/AAAI/1996/AAAI96-094.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306420577","display_name":"National Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"National Conference on Artificial Intelligence","raw_type":null},"volume":null,"type":"conference-paper","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/A5086412773","display_name":"Akira Fusaoka","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Akira Fusaoka","raw_affiliation_strings":["Department of Computer Science Ritsumeikan University, Kusatsu-city, SIGA, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science Ritsumeikan University, Kusatsu-city, SIGA, Japan#TAB#","institution_ids":["https://openalex.org/I135768898"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086412773"],"corresponding_institution_ids":["https://openalex.org/I135768898"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"633","last_page":"638"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":9.999999747378752e-05,"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/situation-calculus","display_name":"situation calculus","score":0.9980000257492065},{"id":"https://openalex.org/keywords/dense-time","display_name":"dense time","score":0.8970000147819519},{"id":"https://openalex.org/keywords/duration","display_name":"duration","score":0.45399999618530273},{"id":"https://openalex.org/keywords/ansys-fluent","display_name":"ANSYS Fluent","score":0.6859999895095825},{"id":"https://openalex.org/keywords/non-monotonic-reasoning","display_name":"nonmonotonic reasoning","score":0.8389999866485596},{"id":"https://openalex.org/keywords/information-order","display_name":"information order","score":0.722000002861023},{"id":"https://openalex.org/keywords/temporal-reasoning","display_name":"temporal reasoning","score":0.4410000145435333}],"concepts":[{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.6440556645393372},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6307413578033447},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.49954748153686523},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.49791431427001953},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.4824579358100891},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.4803982079029083},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4348142147064209},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3329232931137085},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3260687589645386},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29594162106513977},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09529805183410645},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07573488354682922},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:197631025","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/AAAI/1996/AAAI96-094.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306420577","display_name":"National Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"National Conference on Artificial Intelligence","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":14,"referenced_works":["https://openalex.org/W95060067","https://openalex.org/W138109770","https://openalex.org/W189256748","https://openalex.org/W1503946984","https://openalex.org/W1588751014","https://openalex.org/W1989492347","https://openalex.org/W2036900631","https://openalex.org/W2104254677","https://openalex.org/W2132950849","https://openalex.org/W2149420462","https://openalex.org/W2162583406","https://openalex.org/W2395891450","https://openalex.org/W2945259913","https://openalex.org/W4253268390"],"related_works":["https://openalex.org/W7099597783","https://openalex.org/W195050859","https://openalex.org/W2543370304","https://openalex.org/W1557893839","https://openalex.org/W2094916185","https://openalex.org/W2143534232","https://openalex.org/W7099674749","https://openalex.org/W7098324287","https://openalex.org/W2756301","https://openalex.org/W1989492347"],"abstract_inverted_index":{"In":[0],"this":[1,76],"paper,":[2],"we":[3,78],"attempt":[4],"to":[5,37,93],"reconstruct":[6],"the":[7,24,47,58,63,73,88,94,98,123,127,132,136],"situation":[8,59],"calculus":[9,60],"on":[10,122],"a":[11,80,109,114],"dense":[12],"flow":[13],"of":[14,26,32,42,49,75,103,116,135],"time.":[15],"The":[16],"proposed":[17],"system:":[18],"ISC,":[19],"which":[20,86],"is":[21,106,118],"formulated":[22],"in":[23,70,97,126],"framework":[25],"S2S":[27],"(the":[28],"monoadic":[29],"second-order":[30],"theory":[31],"two":[33],"successor":[34],"functions),":[35],"allows":[36],"deal":[38],"with":[39,91],"temporal":[40,110],"properties":[41],"time":[43],"duration":[44],"such":[45],"as":[46],"continuity":[48],"fluents.":[50],"Also":[51],"it":[52],"incorporates":[53],"an":[54],"intensional":[55],"feature":[56],"into":[57],"so":[61],"that":[62],"inferential":[64,99,128],"process":[65,129],"itself":[66],"can":[67],"be":[68],"represented":[69],"ISC.":[71],"On":[72],"basis":[74],"modification,":[77],"define":[79],"nonmonotonic":[81,104],"schema":[82],"called":[83],"epistemological":[84],"minimization":[85],"selects":[87],"preferable":[89],"model":[90],"respect":[92],"information":[95,124],"order":[96,125,134],"process.":[100,138],"This":[101],"method":[102],"reasoning":[105],"useful":[107],"for":[108],"explanation":[111],"problem":[112],"because":[113],"sequence":[115],"events":[117],"interpreted":[119],"sometimes":[120],"depending":[121],"rather":[130],"than":[131],"chronological":[133],"actual":[137]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}