FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W156767974> ?p ?o ?g. }

• W156767974 abstract "The inference rule ?-resolution was introduced in [18] as a technique for developing an SLD-style query answering procedure for the logic programming subset of annotated logic. This paper explores the properties of ?-resolution in the general theorem proving setting. In that setting, it is shown to be complete and to admit a linear restriction. Thus ?-resolution is amenable to depth-first control strategies that require little memory. An ordering restriction is also described and shown to be complete, providing a promising saturation-based procedure for annotated logic. The inference rule essentially requires that the lattice of truth values be ordinary. Earlier investigations left open the question of whether all distributive lattices are ordinary; this is answered in the affirmative here." @default.
• W156767974 created "2016-06-24" @default.
• W156767974 creator A5011610617 @default.
• W156767974 creator A5011642507 @default.
• W156767974 creator A5026440842 @default.
• W156767974 creator A5031255395 @default.
• W156767974 creator A5034592388 @default.
• W156767974 date "2002-01-01" @default.
• W156767974 modified "2023-09-26" @default.
• W156767974 title "Inference for Annotated Logics over Distributive Lattices" @default.
• W156767974 cites W1490790368 @default.
• W156767974 cites W1496190091 @default.
• W156767974 cites W1532727780 @default.
• W156767974 cites W1548298033 @default.
• W156767974 cites W1549017128 @default.
• W156767974 cites W1551340995 @default.
• W156767974 cites W1561827391 @default.
• W156767974 cites W156767974 @default.
• W156767974 cites W1577536563 @default.
• W156767974 cites W1635257673 @default.
• W156767974 cites W1980589711 @default.
• W156767974 cites W2000398632 @default.
• W156767974 cites W2020852080 @default.
• W156767974 cites W2030651759 @default.
• W156767974 cites W2037085273 @default.
• W156767974 cites W2055215860 @default.
• W156767974 cites W2074510157 @default.
• W156767974 cites W2103500248 @default.
• W156767974 cites W2123319860 @default.
• W156767974 cites W2143810536 @default.
• W156767974 cites W2506980730 @default.
• W156767974 cites W3015761148 @default.
• W156767974 doi "https://doi.org/10.1007/3-540-48050-1_32" @default.
• W156767974 hasPublicationYear "2002" @default.
• W156767974 type Work @default.
• W156767974 sameAs 156767974 @default.
• W156767974 citedByCount "3" @default.
• W156767974 crossrefType "book-chapter" @default.
• W156767974 hasAuthorship W156767974A5011610617 @default.
• W156767974 hasAuthorship W156767974A5011642507 @default.
• W156767974 hasAuthorship W156767974A5026440842 @default.
• W156767974 hasAuthorship W156767974A5031255395 @default.
• W156767974 hasAuthorship W156767974A5034592388 @default.
• W156767974 hasConcept C11413529 @default.
• W156767974 hasConcept C11821877 @default.
• W156767974 hasConcept C121332964 @default.
• W156767974 hasConcept C128838566 @default.
• W156767974 hasConcept C138268822 @default.
• W156767974 hasConcept C154945302 @default.
• W156767974 hasConcept C192606457 @default.
• W156767974 hasConcept C202444582 @default.
• W156767974 hasConcept C24890656 @default.
• W156767974 hasConcept C2776214188 @default.
• W156767974 hasConcept C2781204021 @default.
• W156767974 hasConcept C2987117450 @default.
• W156767974 hasConcept C33923547 @default.
• W156767974 hasConcept C3746660 @default.
• W156767974 hasConcept C41008148 @default.
• W156767974 hasConcept C46743427 @default.
• W156767974 hasConcept C80444323 @default.
• W156767974 hasConceptScore W156767974C11413529 @default.
• W156767974 hasConceptScore W156767974C11821877 @default.
• W156767974 hasConceptScore W156767974C121332964 @default.
• W156767974 hasConceptScore W156767974C128838566 @default.
• W156767974 hasConceptScore W156767974C138268822 @default.
• W156767974 hasConceptScore W156767974C154945302 @default.
• W156767974 hasConceptScore W156767974C192606457 @default.
• W156767974 hasConceptScore W156767974C202444582 @default.
• W156767974 hasConceptScore W156767974C24890656 @default.
• W156767974 hasConceptScore W156767974C2776214188 @default.
• W156767974 hasConceptScore W156767974C2781204021 @default.
• W156767974 hasConceptScore W156767974C2987117450 @default.
• W156767974 hasConceptScore W156767974C33923547 @default.
• W156767974 hasConceptScore W156767974C3746660 @default.
• W156767974 hasConceptScore W156767974C41008148 @default.
• W156767974 hasConceptScore W156767974C46743427 @default.
• W156767974 hasConceptScore W156767974C80444323 @default.
• W156767974 hasLocation W1567679741 @default.
• W156767974 hasOpenAccess W156767974 @default.
• W156767974 hasPrimaryLocation W1567679741 @default.
• W156767974 hasRelatedWork W1483694094 @default.
• W156767974 hasRelatedWork W1517927305 @default.
• W156767974 hasRelatedWork W1540401395 @default.
• W156767974 hasRelatedWork W1589666554 @default.
• W156767974 hasRelatedWork W1591679289 @default.
• W156767974 hasRelatedWork W1598987050 @default.
• W156767974 hasRelatedWork W2004721399 @default.
• W156767974 hasRelatedWork W2026328078 @default.
• W156767974 hasRelatedWork W208157960 @default.
• W156767974 hasRelatedWork W2156066488 @default.
• W156767974 hasRelatedWork W2417163 @default.
• W156767974 hasRelatedWork W2534990914 @default.
• W156767974 hasRelatedWork W2611340807 @default.
• W156767974 hasRelatedWork W2911628438 @default.
• W156767974 hasRelatedWork W2911964946 @default.
• W156767974 hasRelatedWork W2951880362 @default.
• W156767974 hasRelatedWork W2953358726 @default.
• W156767974 hasRelatedWork W3099526688 @default.
• W156767974 hasRelatedWork W46391580 @default.
• W156767974 hasRelatedWork W65085004 @default.

• next