Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585042987> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1585042987 endingPage "189" @default.
- W1585042987 startingPage "178" @default.
- W1585042987 abstract "Abstract Closed world reasoning is the process of inferring that a logical sentence is false based on its absence from a knowledge base, or the inability to derive it. Previous work on circumscription, autoepistemic logic, and database theory has explored logical axiomatizations of closed world reasoning, and investigated computational tractability for propositional theories. Work in planning has traditionally made the closed world assumption but has avoided closed world reasoning. We take a middle position, and describe a tractable method for closed world reasoning over the schematized theories of action used by planning algorithms such as NONLIN, TWEAK, and UCPOP. We show the method to be both sound and tractable, and incorporate it into the XII planner [Golden et al. , 1994]. Experiments utilizing our softbot (software robot) demonstrate that the method can substantially improve its performance by eliminating redundant information gathering." @default.
- W1585042987 created "2016-06-24" @default.
- W1585042987 creator A5061677685 @default.
- W1585042987 creator A5083075229 @default.
- W1585042987 creator A5085011940 @default.
- W1585042987 date "1994-01-01" @default.
- W1585042987 modified "2023-10-18" @default.
- W1585042987 title "Tractable Closed World Reasoning with Updates" @default.
- W1585042987 cites W1494395068 @default.
- W1585042987 cites W1684304711 @default.
- W1585042987 cites W1982345710 @default.
- W1585042987 cites W1983792103 @default.
- W1585042987 cites W2000141049 @default.
- W1585042987 cites W2004301675 @default.
- W1585042987 cites W2019449346 @default.
- W1585042987 cites W2019851160 @default.
- W1585042987 cites W2166971042 @default.
- W1585042987 cites W2171798962 @default.
- W1585042987 cites W2557892554 @default.
- W1585042987 cites W2945259913 @default.
- W1585042987 doi "https://doi.org/10.1016/b978-1-4832-1452-8.50113-5" @default.
- W1585042987 hasPublicationYear "1994" @default.
- W1585042987 type Work @default.
- W1585042987 sameAs 1585042987 @default.
- W1585042987 citedByCount "70" @default.
- W1585042987 countsByYear W15850429872012 @default.
- W1585042987 countsByYear W15850429872013 @default.
- W1585042987 countsByYear W15850429872014 @default.
- W1585042987 countsByYear W15850429872015 @default.
- W1585042987 countsByYear W15850429872016 @default.
- W1585042987 countsByYear W15850429872018 @default.
- W1585042987 crossrefType "book-chapter" @default.
- W1585042987 hasAuthorship W1585042987A5061677685 @default.
- W1585042987 hasAuthorship W1585042987A5083075229 @default.
- W1585042987 hasAuthorship W1585042987A5085011940 @default.
- W1585042987 hasConcept C41008148 @default.
- W1585042987 hasConceptScore W1585042987C41008148 @default.
- W1585042987 hasLocation W15850429871 @default.
- W1585042987 hasOpenAccess W1585042987 @default.
- W1585042987 hasPrimaryLocation W15850429871 @default.
- W1585042987 hasRelatedWork W1596801655 @default.
- W1585042987 hasRelatedWork W2130043461 @default.
- W1585042987 hasRelatedWork W2350741829 @default.
- W1585042987 hasRelatedWork W2358668433 @default.
- W1585042987 hasRelatedWork W2376932109 @default.
- W1585042987 hasRelatedWork W2382290278 @default.
- W1585042987 hasRelatedWork W2390279801 @default.
- W1585042987 hasRelatedWork W2748952813 @default.
- W1585042987 hasRelatedWork W2899084033 @default.
- W1585042987 hasRelatedWork W2530322880 @default.
- W1585042987 isParatext "false" @default.
- W1585042987 isRetracted "false" @default.
- W1585042987 magId "1585042987" @default.
- W1585042987 workType "book-chapter" @default.