Matches in SemOpenAlex for { <https://semopenalex.org/work/W9232009> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W9232009 abstract "We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. Formal systems based on this notion can be used to generalize Horn-logic and naturally allow and suggest extensions which differ in interesting ways from generalizations based on first order predicate calculus. E.g. the notion of completion generated by a calculus of PID and the resulting notion of is completely natural and does not require externally motivated procedures such as negation as failure. For this reason, computational issues arising in these calculi deserve closer inspection. This work discuss a number of finitary theories of PID and analyzethe algorithmic and semantical issues that arise in each of them. There has been significant work on implementing logic programming languages in this setting and we briefly present the programming language and knowledge modelling tool GCLA II in which many of the computational prob-lems discussed arise naturally in practice." @default.
- W9232009 created "2016-06-24" @default.
- W9232009 creator A5064297162 @default.
- W9232009 date "1995-01-01" @default.
- W9232009 modified "2023-09-26" @default.
- W9232009 title "Computational Issues in Calculi of Partial Inductive Definitions" @default.
- W9232009 hasPublicationYear "1995" @default.
- W9232009 type Work @default.
- W9232009 sameAs 9232009 @default.
- W9232009 citedByCount "15" @default.
- W9232009 countsByYear W92320092012 @default.
- W9232009 countsByYear W92320092013 @default.
- W9232009 crossrefType "dissertation" @default.
- W9232009 hasAuthorship W9232009A5064297162 @default.
- W9232009 hasConcept C100481476 @default.
- W9232009 hasConcept C102993220 @default.
- W9232009 hasConcept C118615104 @default.
- W9232009 hasConcept C124047733 @default.
- W9232009 hasConcept C127001435 @default.
- W9232009 hasConcept C128838566 @default.
- W9232009 hasConcept C136119220 @default.
- W9232009 hasConcept C154945302 @default.
- W9232009 hasConcept C189790780 @default.
- W9232009 hasConcept C194146651 @default.
- W9232009 hasConcept C19689857 @default.
- W9232009 hasConcept C199343813 @default.
- W9232009 hasConcept C199360897 @default.
- W9232009 hasConcept C202444582 @default.
- W9232009 hasConcept C203659156 @default.
- W9232009 hasConcept C21563000 @default.
- W9232009 hasConcept C2777686260 @default.
- W9232009 hasConcept C2778003309 @default.
- W9232009 hasConcept C33923547 @default.
- W9232009 hasConcept C41008148 @default.
- W9232009 hasConcept C71924100 @default.
- W9232009 hasConcept C80444323 @default.
- W9232009 hasConceptScore W9232009C100481476 @default.
- W9232009 hasConceptScore W9232009C102993220 @default.
- W9232009 hasConceptScore W9232009C118615104 @default.
- W9232009 hasConceptScore W9232009C124047733 @default.
- W9232009 hasConceptScore W9232009C127001435 @default.
- W9232009 hasConceptScore W9232009C128838566 @default.
- W9232009 hasConceptScore W9232009C136119220 @default.
- W9232009 hasConceptScore W9232009C154945302 @default.
- W9232009 hasConceptScore W9232009C189790780 @default.
- W9232009 hasConceptScore W9232009C194146651 @default.
- W9232009 hasConceptScore W9232009C19689857 @default.
- W9232009 hasConceptScore W9232009C199343813 @default.
- W9232009 hasConceptScore W9232009C199360897 @default.
- W9232009 hasConceptScore W9232009C202444582 @default.
- W9232009 hasConceptScore W9232009C203659156 @default.
- W9232009 hasConceptScore W9232009C21563000 @default.
- W9232009 hasConceptScore W9232009C2777686260 @default.
- W9232009 hasConceptScore W9232009C2778003309 @default.
- W9232009 hasConceptScore W9232009C33923547 @default.
- W9232009 hasConceptScore W9232009C41008148 @default.
- W9232009 hasConceptScore W9232009C71924100 @default.
- W9232009 hasConceptScore W9232009C80444323 @default.
- W9232009 hasLocation W92320091 @default.
- W9232009 hasOpenAccess W9232009 @default.
- W9232009 hasPrimaryLocation W92320091 @default.
- W9232009 hasRelatedWork W1479684448 @default.
- W9232009 hasRelatedWork W1504208869 @default.
- W9232009 hasRelatedWork W1505752097 @default.
- W9232009 hasRelatedWork W1512982811 @default.
- W9232009 hasRelatedWork W1525033832 @default.
- W9232009 hasRelatedWork W1530632423 @default.
- W9232009 hasRelatedWork W1562438224 @default.
- W9232009 hasRelatedWork W1571179743 @default.
- W9232009 hasRelatedWork W1579183220 @default.
- W9232009 hasRelatedWork W182392483 @default.
- W9232009 hasRelatedWork W1836521361 @default.
- W9232009 hasRelatedWork W2067914869 @default.
- W9232009 hasRelatedWork W2105364786 @default.
- W9232009 hasRelatedWork W2138247393 @default.
- W9232009 hasRelatedWork W32695468 @default.
- W9232009 hasRelatedWork W70466577 @default.
- W9232009 hasRelatedWork W77789198 @default.
- W9232009 hasRelatedWork W1554941092 @default.
- W9232009 hasRelatedWork W44987314 @default.
- W9232009 hasRelatedWork W72108984 @default.
- W9232009 isParatext "false" @default.
- W9232009 isRetracted "false" @default.
- W9232009 magId "9232009" @default.
- W9232009 workType "dissertation" @default.