FRINK Linked Data Fragments server

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

• W1555476679 endingPage "560" @default.
• W1555476679 startingPage "555" @default.
• W1555476679 abstract "These notes discuss formalizing contexts as first class objects. The basic relation is ist(c,p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and human reasoning possess. Fully implementing transcendence seems to require further extensions to mathematical logic, i.e. beyond the nonmonotonic inference methods first invented in AI and now studied as a new domain of logic. Various notations are considered, but. these notes are tentative in not, proposing a single language with all the desired capabilities." @default.
• W1555476679 created "2016-06-24" @default.
• W1555476679 creator A5001232416 @default.
• W1555476679 date "1993-08-28" @default.
• W1555476679 modified "2023-10-01" @default.
• W1555476679 title "Notes on formalizing context" @default.
• W1555476679 cites W1481182308 @default.
• W1555476679 cites W1549711853 @default.
• W1555476679 cites W2044417902 @default.
• W1555476679 cites W2122870912 @default.
• W1555476679 cites W2138162238 @default.
• W1555476679 cites W2145814916 @default.
• W1555476679 cites W2174287231 @default.
• W1555476679 cites W2473000358 @default.
• W1555476679 cites W2478248862 @default.
• W1555476679 hasPublicationYear "1993" @default.
• W1555476679 type Work @default.
• W1555476679 sameAs 1555476679 @default.
• W1555476679 citedByCount "438" @default.
• W1555476679 countsByYear W15554766792012 @default.
• W1555476679 countsByYear W15554766792013 @default.
• W1555476679 countsByYear W15554766792014 @default.
• W1555476679 countsByYear W15554766792015 @default.
• W1555476679 countsByYear W15554766792016 @default.
• W1555476679 countsByYear W15554766792017 @default.
• W1555476679 countsByYear W15554766792018 @default.
• W1555476679 countsByYear W15554766792019 @default.
• W1555476679 countsByYear W15554766792020 @default.
• W1555476679 countsByYear W15554766792021 @default.
• W1555476679 countsByYear W15554766792022 @default.
• W1555476679 crossrefType "proceedings-article" @default.
• W1555476679 hasAuthorship W1555476679A5001232416 @default.
• W1555476679 hasConcept C102993220 @default.
• W1555476679 hasConcept C111472728 @default.
• W1555476679 hasConcept C134306372 @default.
• W1555476679 hasConcept C138885662 @default.
• W1555476679 hasConcept C151730666 @default.
• W1555476679 hasConcept C154945302 @default.
• W1555476679 hasConcept C15744967 @default.
• W1555476679 hasConcept C161301231 @default.
• W1555476679 hasConcept C17744445 @default.
• W1555476679 hasConcept C188147891 @default.
• W1555476679 hasConcept C199360897 @default.
• W1555476679 hasConcept C199539241 @default.
• W1555476679 hasConcept C25343380 @default.
• W1555476679 hasConcept C2776214188 @default.
• W1555476679 hasConcept C2776359362 @default.
• W1555476679 hasConcept C2777152325 @default.
• W1555476679 hasConcept C2777212361 @default.
• W1555476679 hasConcept C2779343474 @default.
• W1555476679 hasConcept C33923547 @default.
• W1555476679 hasConcept C36503486 @default.
• W1555476679 hasConcept C41008148 @default.
• W1555476679 hasConcept C45357846 @default.
• W1555476679 hasConcept C77088390 @default.
• W1555476679 hasConcept C80444323 @default.
• W1555476679 hasConcept C86803240 @default.
• W1555476679 hasConcept C94375191 @default.
• W1555476679 hasConcept C94625758 @default.
• W1555476679 hasConceptScore W1555476679C102993220 @default.
• W1555476679 hasConceptScore W1555476679C111472728 @default.
• W1555476679 hasConceptScore W1555476679C134306372 @default.
• W1555476679 hasConceptScore W1555476679C138885662 @default.
• W1555476679 hasConceptScore W1555476679C151730666 @default.
• W1555476679 hasConceptScore W1555476679C154945302 @default.
• W1555476679 hasConceptScore W1555476679C15744967 @default.
• W1555476679 hasConceptScore W1555476679C161301231 @default.
• W1555476679 hasConceptScore W1555476679C17744445 @default.
• W1555476679 hasConceptScore W1555476679C188147891 @default.
• W1555476679 hasConceptScore W1555476679C199360897 @default.
• W1555476679 hasConceptScore W1555476679C199539241 @default.
• W1555476679 hasConceptScore W1555476679C25343380 @default.
• W1555476679 hasConceptScore W1555476679C2776214188 @default.
• W1555476679 hasConceptScore W1555476679C2776359362 @default.
• W1555476679 hasConceptScore W1555476679C2777152325 @default.
• W1555476679 hasConceptScore W1555476679C2777212361 @default.
• W1555476679 hasConceptScore W1555476679C2779343474 @default.
• W1555476679 hasConceptScore W1555476679C33923547 @default.
• W1555476679 hasConceptScore W1555476679C36503486 @default.
• W1555476679 hasConceptScore W1555476679C41008148 @default.
• W1555476679 hasConceptScore W1555476679C45357846 @default.
• W1555476679 hasConceptScore W1555476679C77088390 @default.
• W1555476679 hasConceptScore W1555476679C80444323 @default.
• W1555476679 hasConceptScore W1555476679C86803240 @default.
• W1555476679 hasConceptScore W1555476679C94375191 @default.
• W1555476679 hasConceptScore W1555476679C94625758 @default.
• W1555476679 hasLocation W15554766791 @default.
• W1555476679 hasOpenAccess W1555476679 @default.
• W1555476679 hasPrimaryLocation W15554766791 @default.
• W1555476679 hasRelatedWork W1524953991 @default.
• W1555476679 hasRelatedWork W1549711853 @default.
• W1555476679 hasRelatedWork W1561988463 @default.
• W1555476679 hasRelatedWork W1574222638 @default.
• W1555476679 hasRelatedWork W1592366243 @default.
• W1555476679 hasRelatedWork W1882088395 @default.
• W1555476679 hasRelatedWork W1967661515 @default.
• W1555476679 hasRelatedWork W1981282887 @default.
• W1555476679 hasRelatedWork W1984160984 @default.

• next