{"id":"https://openalex.org/W23204217","doi":null,"title":"Reasoning About Indefinite Actions.","display_name":"Reasoning About Indefinite Actions.","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W23204217","mag":"23204217"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.35.1938","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.unsw.edu.au/~meyden/research/kr92.ps","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/A5111611263","display_name":"L. Thorne McCarty","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Thorne McCarty","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5035101401","display_name":"Ron van der Meyden","orcid":"https://orcid.org/0000-0002-9243-0571","observed_orcids":["https://orcid.org/0000-0002-9243-0571"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ron van der Meyden","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-9243-0571","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9451,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.85851549,"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":"59","last_page":"70"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9550999999046326,"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.9550999999046326,"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.04309999942779541,"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":0.0006000000284984708,"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/planning","display_name":"planning","score":0.6110000014305115},{"id":"https://openalex.org/keywords/countermodels","display_name":"countermodels","score":0.6039999723434448},{"id":"https://openalex.org/keywords/horn-clauses","display_name":"Horn clauses","score":0.6620000004768372},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"linear temporal logic","score":0.7170000076293945},{"id":"https://openalex.org/keywords/concurrent-activities","display_name":"concurrent actions","score":0.5429999828338623},{"id":"https://openalex.org/keywords/recursive-rules","display_name":"recursive rules","score":0.8330000042915344},{"id":"https://openalex.org/keywords/decision-making-methods","display_name":"decision procedures","score":0.9110000133514404},{"id":"https://openalex.org/keywords/repetitive-actions","display_name":"repetitive actions","score":0.4880000054836273},{"id":"https://openalex.org/keywords/abstract-actions","display_name":"abstract actions","score":0.5450000166893005}],"concepts":[{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6766440868377686},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.607747495174408},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.6030628085136414},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5429742932319641},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5311248302459717},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47385695576667786},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4735925495624542},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.45114490389823914},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4111090302467346},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37462425231933594},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3673742413520813},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2390926480293274},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1556818187236786},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.09408298134803772},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.35.1938","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.unsw.edu.au/~meyden/research/kr92.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.498.9781","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.498.9781","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rutgers.edu/~mccarty/research/kr92.pdf","raw_type":"text"},{"id":"mag:23204217","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/kr/kr92.html#McCartyM92","pdf_url":null,"source":{"id":"https://openalex.org/S4306420732","display_name":"Principles of Knowledge Representation and Reasoning","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":"Principles of Knowledge Representation and Reasoning","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W13925634","https://openalex.org/W16460774","https://openalex.org/W34550249","https://openalex.org/W108833919","https://openalex.org/W125130877","https://openalex.org/W163500809","https://openalex.org/W166266902","https://openalex.org/W180413045","https://openalex.org/W183138741","https://openalex.org/W1487715631","https://openalex.org/W1490966766","https://openalex.org/W1498861602","https://openalex.org/W1574129634","https://openalex.org/W1588751014","https://openalex.org/W1766332311","https://openalex.org/W1967187961","https://openalex.org/W1967802770","https://openalex.org/W1977297044","https://openalex.org/W1986404405","https://openalex.org/W1986781756","https://openalex.org/W1995908030","https://openalex.org/W1998280593","https://openalex.org/W1999987460","https://openalex.org/W2086784214","https://openalex.org/W2104351678","https://openalex.org/W2112877948","https://openalex.org/W2114883263","https://openalex.org/W2122540544","https://openalex.org/W2125789851","https://openalex.org/W2135319067","https://openalex.org/W2167033980","https://openalex.org/W2168790889","https://openalex.org/W2171798962","https://openalex.org/W2806619258","https://openalex.org/W2913309218","https://openalex.org/W2945259913"],"related_works":["https://openalex.org/W2614079513","https://openalex.org/W7096931704","https://openalex.org/W7099593757","https://openalex.org/W293498406","https://openalex.org/W7097979488","https://openalex.org/W8446309","https://openalex.org/W16427807","https://openalex.org/W42515457","https://openalex.org/W7097776524","https://openalex.org/W7095595245"],"abstract_inverted_index":{"In":[0],"this":[1,82,100,107],"paper,":[2],"we":[3,35],"view":[4],"planning":[5],"as":[6,18],"a":[7,22,37,47,65,87,97,129,144],"special":[8,130],"case":[9],"of":[10,31,39,49,99,132,153,158,161],"reasoning":[11],"about":[12],"indefinite":[13],"actions.":[14,51],"We":[15,95,119],"treat":[16],"actions":[17,41,75],"predicates":[19],"defined":[20,42],"over":[21],"linear":[23],"temporal":[24],"order.":[25],"This":[26],"formalism":[27],"permits":[28],"the":[29,73,109,126,154,159],"representation":[30],"concurrent":[32],"activity.":[33],"Suppose":[34],"have":[36],"set":[38,48],"abstract":[40,57],"by":[43,71],"Horn":[44],"clauses":[45],"from":[46],"basic":[50,74],"Let":[52],"us":[53],"assume":[54],"that":[55,76,106,147],"an":[56,150],"action":[58,114],"/":[59,91],"has":[60],"occurred,":[61],"and":[62,92,104,142],"ask":[63],"whether":[64],"given":[66],"condition":[67],"OE":[68],"is":[69,85,108,137],"entailed":[70],"all":[72],"constitute":[77],"/.":[78],"A":[79],"countermodel":[80],"to":[81],"hypothetical":[83],"implication":[84],"then":[86,120],"plan":[88],"for":[89,124,149],"\"doing":[90],"avoiding":[93],"OE.\"":[94],"propose":[96],"formalization":[98,111],"problem":[101],"using":[102],"circumscription,":[103],"argue":[105],"correct":[110],"if":[112],"our":[113],"definitions":[115],"include":[116],"recursive":[117,162],"rules.":[118],"investigate":[121],"two":[122],"techniques":[123],"solving":[125],"problem:":[127],"(1)":[128],"type":[131],"inductive":[133],"proof":[134],"procedure,":[135],"which":[136],"sound":[138],"but":[139],"not":[140],"complete;":[141],"(2)":[143],"decision":[145],"procedure":[146],"works":[148],"interesting":[151],"subclass":[152],"general":[155],"problem.":[156],"Because":[157],"use":[160],"rules":[163],"i...":[164]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}