Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506139968> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1506139968 abstract "Forward chaining is an inference algorithm based on modus ponens which is widely used but unfortunately incomplete with respect to the usual boolean logic. A solution to this incompleteness is to compile the knowledge base so that forward chaining becomes complete for any base of facts. This compilation is called achievement and was so far restricted to propositional calculus. In this paper, we extend this compilation method to the predicate calculus. To our knowledge, this is the first exact knowledge compilation for first order logic." @default.
- W1506139968 created "2016-06-24" @default.
- W1506139968 creator A5008076909 @default.
- W1506139968 creator A5016006950 @default.
- W1506139968 date "1997-01-01" @default.
- W1506139968 modified "2023-09-25" @default.
- W1506139968 title "Exact knowledge compilation in predicate calculus: The partial achievement case" @default.
- W1506139968 cites W1502110353 @default.
- W1506139968 cites W1591679289 @default.
- W1506139968 cites W2038897673 @default.
- W1506139968 cites W2075057025 @default.
- W1506139968 cites W2100738443 @default.
- W1506139968 doi "https://doi.org/10.1007/3-540-63104-6_17" @default.
- W1506139968 hasPublicationYear "1997" @default.
- W1506139968 type Work @default.
- W1506139968 sameAs 1506139968 @default.
- W1506139968 citedByCount "4" @default.
- W1506139968 countsByYear W15061399682013 @default.
- W1506139968 crossrefType "book-chapter" @default.
- W1506139968 hasAuthorship W1506139968A5008076909 @default.
- W1506139968 hasAuthorship W1506139968A5016006950 @default.
- W1506139968 hasConcept C100481476 @default.
- W1506139968 hasConcept C102993220 @default.
- W1506139968 hasConcept C11413529 @default.
- W1506139968 hasConcept C129916263 @default.
- W1506139968 hasConcept C142614401 @default.
- W1506139968 hasConcept C14523651 @default.
- W1506139968 hasConcept C154945302 @default.
- W1506139968 hasConcept C16221470 @default.
- W1506139968 hasConcept C193885149 @default.
- W1506139968 hasConcept C199343813 @default.
- W1506139968 hasConcept C199360897 @default.
- W1506139968 hasConcept C2776214188 @default.
- W1506139968 hasConcept C2777686260 @default.
- W1506139968 hasConcept C33203268 @default.
- W1506139968 hasConcept C3746660 @default.
- W1506139968 hasConcept C41008148 @default.
- W1506139968 hasConcept C4554734 @default.
- W1506139968 hasConcept C46743427 @default.
- W1506139968 hasConcept C58328972 @default.
- W1506139968 hasConcept C69562738 @default.
- W1506139968 hasConcept C71924100 @default.
- W1506139968 hasConcept C80444323 @default.
- W1506139968 hasConceptScore W1506139968C100481476 @default.
- W1506139968 hasConceptScore W1506139968C102993220 @default.
- W1506139968 hasConceptScore W1506139968C11413529 @default.
- W1506139968 hasConceptScore W1506139968C129916263 @default.
- W1506139968 hasConceptScore W1506139968C142614401 @default.
- W1506139968 hasConceptScore W1506139968C14523651 @default.
- W1506139968 hasConceptScore W1506139968C154945302 @default.
- W1506139968 hasConceptScore W1506139968C16221470 @default.
- W1506139968 hasConceptScore W1506139968C193885149 @default.
- W1506139968 hasConceptScore W1506139968C199343813 @default.
- W1506139968 hasConceptScore W1506139968C199360897 @default.
- W1506139968 hasConceptScore W1506139968C2776214188 @default.
- W1506139968 hasConceptScore W1506139968C2777686260 @default.
- W1506139968 hasConceptScore W1506139968C33203268 @default.
- W1506139968 hasConceptScore W1506139968C3746660 @default.
- W1506139968 hasConceptScore W1506139968C41008148 @default.
- W1506139968 hasConceptScore W1506139968C4554734 @default.
- W1506139968 hasConceptScore W1506139968C46743427 @default.
- W1506139968 hasConceptScore W1506139968C58328972 @default.
- W1506139968 hasConceptScore W1506139968C69562738 @default.
- W1506139968 hasConceptScore W1506139968C71924100 @default.
- W1506139968 hasConceptScore W1506139968C80444323 @default.
- W1506139968 hasLocation W15061399681 @default.
- W1506139968 hasOpenAccess W1506139968 @default.
- W1506139968 hasPrimaryLocation W15061399681 @default.
- W1506139968 hasRelatedWork W1482579968 @default.
- W1506139968 hasRelatedWork W1513197291 @default.
- W1506139968 hasRelatedWork W1593462533 @default.
- W1506139968 hasRelatedWork W1678934127 @default.
- W1506139968 hasRelatedWork W1974484530 @default.
- W1506139968 hasRelatedWork W1977260399 @default.
- W1506139968 hasRelatedWork W1982081755 @default.
- W1506139968 hasRelatedWork W1985872645 @default.
- W1506139968 hasRelatedWork W2058556119 @default.
- W1506139968 hasRelatedWork W2074585109 @default.
- W1506139968 hasRelatedWork W2076859913 @default.
- W1506139968 hasRelatedWork W2077306604 @default.
- W1506139968 hasRelatedWork W2079337360 @default.
- W1506139968 hasRelatedWork W2088482003 @default.
- W1506139968 hasRelatedWork W2130601506 @default.
- W1506139968 hasRelatedWork W2135365827 @default.
- W1506139968 hasRelatedWork W2155627592 @default.
- W1506139968 hasRelatedWork W2570911113 @default.
- W1506139968 hasRelatedWork W3139985312 @default.
- W1506139968 hasRelatedWork W91391498 @default.
- W1506139968 isParatext "false" @default.
- W1506139968 isRetracted "false" @default.
- W1506139968 magId "1506139968" @default.
- W1506139968 workType "book-chapter" @default.