Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486743978> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1486743978 abstract "Abstract : RUP (Reasoning Utility Package) is a collection of procedures for performing various computations relevant to automated reasoning. RUP contains a truth maintenance system (TMS) which can be used to perform simple propositional deduction (unit clause resolution), to record justifications, to track down underlying assumptions, and to perform incremental modifications when premises are changed. This TMS can be used with an automatic premise controller which automatically retracts 'assumptions' before 'solid facts' when contradictions arise and searches for the most solid proof of an assertion. RUP also contains a procedure for efficiently computing all the relevant consequences of any set of equalities between ground terms. A related utility computes 'substitution simplifications' of terms under an arbitrary set of unquantified equalities and a user defined simplicity order. RUP also contains demon writing macros which allow one to write PLANNER like demons that trigger on various types of events in the data base. Finally there is a utility for reasoning about partial orders and arbitrary transitive relations. In writing all of these utilities an attempt has been made to provide a maximally flexible environment for automated reasoning. (Author)" @default.
- W1486743978 created "2016-06-24" @default.
- W1486743978 creator A5033089246 @default.
- W1486743978 date "1982-04-01" @default.
- W1486743978 modified "2023-09-26" @default.
- W1486743978 title "Reasoning Utility Package User's Manual, Version One" @default.
- W1486743978 cites W2155322595 @default.
- W1486743978 hasPublicationYear "1982" @default.
- W1486743978 type Work @default.
- W1486743978 sameAs 1486743978 @default.
- W1486743978 citedByCount "12" @default.
- W1486743978 crossrefType "journal-article" @default.
- W1486743978 hasAuthorship W1486743978A5033089246 @default.
- W1486743978 hasConcept C111472728 @default.
- W1486743978 hasConcept C114614502 @default.
- W1486743978 hasConcept C138885662 @default.
- W1486743978 hasConcept C154945302 @default.
- W1486743978 hasConcept C177264268 @default.
- W1486743978 hasConcept C191399111 @default.
- W1486743978 hasConcept C195344581 @default.
- W1486743978 hasConcept C199360897 @default.
- W1486743978 hasConcept C2778023277 @default.
- W1486743978 hasConcept C2778220771 @default.
- W1486743978 hasConcept C2780586882 @default.
- W1486743978 hasConcept C33923547 @default.
- W1486743978 hasConcept C40422974 @default.
- W1486743978 hasConcept C41008148 @default.
- W1486743978 hasConcept C41895202 @default.
- W1486743978 hasConcept C45374587 @default.
- W1486743978 hasConcept C80444323 @default.
- W1486743978 hasConceptScore W1486743978C111472728 @default.
- W1486743978 hasConceptScore W1486743978C114614502 @default.
- W1486743978 hasConceptScore W1486743978C138885662 @default.
- W1486743978 hasConceptScore W1486743978C154945302 @default.
- W1486743978 hasConceptScore W1486743978C177264268 @default.
- W1486743978 hasConceptScore W1486743978C191399111 @default.
- W1486743978 hasConceptScore W1486743978C195344581 @default.
- W1486743978 hasConceptScore W1486743978C199360897 @default.
- W1486743978 hasConceptScore W1486743978C2778023277 @default.
- W1486743978 hasConceptScore W1486743978C2778220771 @default.
- W1486743978 hasConceptScore W1486743978C2780586882 @default.
- W1486743978 hasConceptScore W1486743978C33923547 @default.
- W1486743978 hasConceptScore W1486743978C40422974 @default.
- W1486743978 hasConceptScore W1486743978C41008148 @default.
- W1486743978 hasConceptScore W1486743978C41895202 @default.
- W1486743978 hasConceptScore W1486743978C45374587 @default.
- W1486743978 hasConceptScore W1486743978C80444323 @default.
- W1486743978 hasLocation W14867439781 @default.
- W1486743978 hasOpenAccess W1486743978 @default.
- W1486743978 hasPrimaryLocation W14867439781 @default.
- W1486743978 hasRelatedWork W106694219 @default.
- W1486743978 hasRelatedWork W114885797 @default.
- W1486743978 hasRelatedWork W1485493958 @default.
- W1486743978 hasRelatedWork W1553771201 @default.
- W1486743978 hasRelatedWork W1555438985 @default.
- W1486743978 hasRelatedWork W1567613338 @default.
- W1486743978 hasRelatedWork W176065753 @default.
- W1486743978 hasRelatedWork W181154243 @default.
- W1486743978 hasRelatedWork W1976303542 @default.
- W1486743978 hasRelatedWork W2094518006 @default.
- W1486743978 hasRelatedWork W2147096558 @default.
- W1486743978 hasRelatedWork W2184414213 @default.
- W1486743978 hasRelatedWork W2550103664 @default.
- W1486743978 hasRelatedWork W2885517479 @default.
- W1486743978 hasRelatedWork W2921865277 @default.
- W1486743978 hasRelatedWork W2964126347 @default.
- W1486743978 hasRelatedWork W3047851905 @default.
- W1486743978 hasRelatedWork W3100740216 @default.
- W1486743978 hasRelatedWork W3102846765 @default.
- W1486743978 hasRelatedWork W79431537 @default.
- W1486743978 isParatext "false" @default.
- W1486743978 isRetracted "false" @default.
- W1486743978 magId "1486743978" @default.
- W1486743978 workType "article" @default.