Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000705220> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3000705220 endingPage "253" @default.
- W3000705220 startingPage "213" @default.
- W3000705220 abstract "Abstract Using constraint logic techniques, it is made possible to use a well-known metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which provides a sound and complete implementation of the binary demo predicate. Based on it, a general methodology for automated reasoning is proposed and it turns out that a wide range of reasoning tasks, normally requiring different systems, can be defined in a concise manner in this framework. Examples are shown of abductive and inductive reasoning in the usual first-order setting as well as in contexts of default reasoning and linear logic. Furthermore, examples of diagnosis and natural language analysis are shown." @default.
- W3000705220 created "2020-01-23" @default.
- W3000705220 creator A5021255849 @default.
- W3000705220 date "1998-01-01" @default.
- W3000705220 modified "2023-09-23" @default.
- W3000705220 title "Automated reasoning with a constraint-based metainterpreter" @default.
- W3000705220 hasPublicationYear "1998" @default.
- W3000705220 type Work @default.
- W3000705220 sameAs 3000705220 @default.
- W3000705220 citedByCount "0" @default.
- W3000705220 crossrefType "journal-article" @default.
- W3000705220 hasAuthorship W3000705220A5021255849 @default.
- W3000705220 hasConcept C100481476 @default.
- W3000705220 hasConcept C102993220 @default.
- W3000705220 hasConcept C140146324 @default.
- W3000705220 hasConcept C154945302 @default.
- W3000705220 hasConcept C159032336 @default.
- W3000705220 hasConcept C160236029 @default.
- W3000705220 hasConcept C161301231 @default.
- W3000705220 hasConcept C166088908 @default.
- W3000705220 hasConcept C176783269 @default.
- W3000705220 hasConcept C195344581 @default.
- W3000705220 hasConcept C19689857 @default.
- W3000705220 hasConcept C199360897 @default.
- W3000705220 hasConcept C203659156 @default.
- W3000705220 hasConcept C2524010 @default.
- W3000705220 hasConcept C2776036281 @default.
- W3000705220 hasConcept C33923547 @default.
- W3000705220 hasConcept C37335422 @default.
- W3000705220 hasConcept C3845977 @default.
- W3000705220 hasConcept C41008148 @default.
- W3000705220 hasConcept C44616089 @default.
- W3000705220 hasConcept C49937458 @default.
- W3000705220 hasConcept C80444323 @default.
- W3000705220 hasConcept C89288958 @default.
- W3000705220 hasConcept C97364631 @default.
- W3000705220 hasConceptScore W3000705220C100481476 @default.
- W3000705220 hasConceptScore W3000705220C102993220 @default.
- W3000705220 hasConceptScore W3000705220C140146324 @default.
- W3000705220 hasConceptScore W3000705220C154945302 @default.
- W3000705220 hasConceptScore W3000705220C159032336 @default.
- W3000705220 hasConceptScore W3000705220C160236029 @default.
- W3000705220 hasConceptScore W3000705220C161301231 @default.
- W3000705220 hasConceptScore W3000705220C166088908 @default.
- W3000705220 hasConceptScore W3000705220C176783269 @default.
- W3000705220 hasConceptScore W3000705220C195344581 @default.
- W3000705220 hasConceptScore W3000705220C19689857 @default.
- W3000705220 hasConceptScore W3000705220C199360897 @default.
- W3000705220 hasConceptScore W3000705220C203659156 @default.
- W3000705220 hasConceptScore W3000705220C2524010 @default.
- W3000705220 hasConceptScore W3000705220C2776036281 @default.
- W3000705220 hasConceptScore W3000705220C33923547 @default.
- W3000705220 hasConceptScore W3000705220C37335422 @default.
- W3000705220 hasConceptScore W3000705220C3845977 @default.
- W3000705220 hasConceptScore W3000705220C41008148 @default.
- W3000705220 hasConceptScore W3000705220C44616089 @default.
- W3000705220 hasConceptScore W3000705220C49937458 @default.
- W3000705220 hasConceptScore W3000705220C80444323 @default.
- W3000705220 hasConceptScore W3000705220C89288958 @default.
- W3000705220 hasConceptScore W3000705220C97364631 @default.
- W3000705220 hasLocation W30007052201 @default.
- W3000705220 hasOpenAccess W3000705220 @default.
- W3000705220 hasPrimaryLocation W30007052201 @default.
- W3000705220 hasRelatedWork W107040879 @default.
- W3000705220 hasRelatedWork W120747662 @default.
- W3000705220 hasRelatedWork W1482150641 @default.
- W3000705220 hasRelatedWork W1493799155 @default.
- W3000705220 hasRelatedWork W1505217347 @default.
- W3000705220 hasRelatedWork W1509044221 @default.
- W3000705220 hasRelatedWork W1563413391 @default.
- W3000705220 hasRelatedWork W1696142211 @default.
- W3000705220 hasRelatedWork W2002237500 @default.
- W3000705220 hasRelatedWork W2022951178 @default.
- W3000705220 hasRelatedWork W2075393211 @default.
- W3000705220 hasRelatedWork W2124270180 @default.
- W3000705220 hasRelatedWork W2126174459 @default.
- W3000705220 hasRelatedWork W2471198721 @default.
- W3000705220 hasRelatedWork W2805968670 @default.
- W3000705220 hasRelatedWork W2896772039 @default.
- W3000705220 hasRelatedWork W3105653906 @default.
- W3000705220 hasRelatedWork W3211240993 @default.
- W3000705220 hasRelatedWork W47772752 @default.
- W3000705220 hasRelatedWork W2333218040 @default.
- W3000705220 hasVolume "37" @default.
- W3000705220 isParatext "false" @default.
- W3000705220 isRetracted "false" @default.
- W3000705220 magId "3000705220" @default.
- W3000705220 workType "article" @default.