Matches in SemOpenAlex for { <https://semopenalex.org/work/W159279589> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W159279589 endingPage "732" @default.
- W159279589 startingPage "730" @default.
- W159279589 abstract "The intention of this paper is to help bridging the gap between logic programming and theorem proving. It presents the design of a Gentzen type proof search procedure, based on classical tableau calculus, for knowledge bases consisting of arbitrary first order formulas. At each proof search step, when a new formula is to be chosen from the knowledge base, the procedure chooses in such a way that the search space is small. When applied to a Horn clause knowledge base and an atomic goal, it performs the same proof search steps as any PROLOG interpreter would do. Hence, PROLOG can be viewed as a special Gentzen type procedure just as it is a special (namely, linear input) resolution procedure." @default.
- W159279589 created "2016-06-24" @default.
- W159279589 creator A5062681986 @default.
- W159279589 date "1985-08-18" @default.
- W159279589 modified "2023-09-23" @default.
- W159279589 title "Prolog extensions based on tableau calculus" @default.
- W159279589 cites W1514674620 @default.
- W159279589 cites W1562229368 @default.
- W159279589 cites W1586338668 @default.
- W159279589 cites W1978930043 @default.
- W159279589 cites W2023139438 @default.
- W159279589 cites W2033225733 @default.
- W159279589 cites W2071915991 @default.
- W159279589 cites W2088350978 @default.
- W159279589 cites W2100738443 @default.
- W159279589 hasPublicationYear "1985" @default.
- W159279589 type Work @default.
- W159279589 sameAs 159279589 @default.
- W159279589 citedByCount "3" @default.
- W159279589 crossrefType "proceedings-article" @default.
- W159279589 hasAuthorship W159279589A5062681986 @default.
- W159279589 hasConcept C100481476 @default.
- W159279589 hasConcept C108710211 @default.
- W159279589 hasConcept C11413529 @default.
- W159279589 hasConcept C128838566 @default.
- W159279589 hasConcept C134306372 @default.
- W159279589 hasConcept C138268822 @default.
- W159279589 hasConcept C189790780 @default.
- W159279589 hasConcept C199343813 @default.
- W159279589 hasConcept C199360897 @default.
- W159279589 hasConcept C206880738 @default.
- W159279589 hasConcept C2524010 @default.
- W159279589 hasConcept C2777686260 @default.
- W159279589 hasConcept C33923547 @default.
- W159279589 hasConcept C41008148 @default.
- W159279589 hasConcept C42058472 @default.
- W159279589 hasConcept C65880906 @default.
- W159279589 hasConcept C71924100 @default.
- W159279589 hasConcept C81721847 @default.
- W159279589 hasConceptScore W159279589C100481476 @default.
- W159279589 hasConceptScore W159279589C108710211 @default.
- W159279589 hasConceptScore W159279589C11413529 @default.
- W159279589 hasConceptScore W159279589C128838566 @default.
- W159279589 hasConceptScore W159279589C134306372 @default.
- W159279589 hasConceptScore W159279589C138268822 @default.
- W159279589 hasConceptScore W159279589C189790780 @default.
- W159279589 hasConceptScore W159279589C199343813 @default.
- W159279589 hasConceptScore W159279589C199360897 @default.
- W159279589 hasConceptScore W159279589C206880738 @default.
- W159279589 hasConceptScore W159279589C2524010 @default.
- W159279589 hasConceptScore W159279589C2777686260 @default.
- W159279589 hasConceptScore W159279589C33923547 @default.
- W159279589 hasConceptScore W159279589C41008148 @default.
- W159279589 hasConceptScore W159279589C42058472 @default.
- W159279589 hasConceptScore W159279589C65880906 @default.
- W159279589 hasConceptScore W159279589C71924100 @default.
- W159279589 hasConceptScore W159279589C81721847 @default.
- W159279589 hasOpenAccess W159279589 @default.
- W159279589 hasRelatedWork W1493648217 @default.
- W159279589 hasRelatedWork W1504859349 @default.
- W159279589 hasRelatedWork W1534565738 @default.
- W159279589 hasRelatedWork W1536217426 @default.
- W159279589 hasRelatedWork W1538870145 @default.
- W159279589 hasRelatedWork W1551997556 @default.
- W159279589 hasRelatedWork W1554618854 @default.
- W159279589 hasRelatedWork W1558214710 @default.
- W159279589 hasRelatedWork W1559348839 @default.
- W159279589 hasRelatedWork W1842527047 @default.
- W159279589 hasRelatedWork W1984720830 @default.
- W159279589 hasRelatedWork W1985214226 @default.
- W159279589 hasRelatedWork W1998330152 @default.
- W159279589 hasRelatedWork W2004436487 @default.
- W159279589 hasRelatedWork W2048265179 @default.
- W159279589 hasRelatedWork W2130524429 @default.
- W159279589 hasRelatedWork W2140218975 @default.
- W159279589 hasRelatedWork W2143183712 @default.
- W159279589 hasRelatedWork W2161910935 @default.
- W159279589 hasRelatedWork W2258046470 @default.
- W159279589 isParatext "false" @default.
- W159279589 isRetracted "false" @default.
- W159279589 magId "159279589" @default.
- W159279589 workType "article" @default.