FRINK Linked Data Fragments server

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

• W202288218 endingPage "403" @default.
• W202288218 startingPage "398" @default.
• W202288218 abstract "We consider the problem of building an automated proof system for reasoning in contexts. Towards that goal, we first define a language of contextual implications, and give its operational semantics under the form of a natural deduction system using explicit context assertions. We show that this proof system has an equivalent straightforward logic program, which in tum can be reified, i.e. defined as an outer meta-level context, and thus applied to itself. More powerful reasoning models (e.g. those involving theory lifting) can be then implemented by applying the same logic program on extended meta-level contexts containing specialized axioms.As a theoretical application, we consider the task of concept learning. In order to achieve generality (Le. abstracting solution classes from problem instances), we argllle that concept learning goals should aim at the discovery of meta-level operators representing the sequence of inference steps leading to object-level moves or actions. We illustrate: this idea with the definition of a learning model based on partial deduction with respect to theory lifting." @default.
• W202288218 created "2016-06-24" @default.
• W202288218 creator A5033484242 @default.
• W202288218 date "1997-07-27" @default.
• W202288218 modified "2023-09-24" @default.
• W202288218 title "A reflective proof system for reasoning in contexts" @default.
• W202288218 cites W1482333072 @default.
• W202288218 cites W1494169862 @default.
• W202288218 cites W1513935493 @default.
• W202288218 cites W1524953991 @default.
• W202288218 cites W1549711853 @default.
• W202288218 cites W1555476679 @default.
• W202288218 cites W1561988463 @default.
• W202288218 cites W1576210512 @default.
• W202288218 cites W1819415914 @default.
• W202288218 cites W2057858426 @default.
• W202288218 cites W2120959311 @default.
• W202288218 cites W8790296 @default.
• W202288218 hasPublicationYear "1997" @default.
• W202288218 type Work @default.
• W202288218 sameAs 202288218 @default.
• W202288218 citedByCount "4" @default.
• W202288218 crossrefType "proceedings-article" @default.
• W202288218 hasAuthorship W202288218A5033484242 @default.
• W202288218 hasConcept C100481476 @default.
• W202288218 hasConcept C108710211 @default.
• W202288218 hasConcept C151730666 @default.
• W202288218 hasConcept C154945302 @default.
• W202288218 hasConcept C15744967 @default.
• W202288218 hasConcept C162324750 @default.
• W202288218 hasConcept C167729594 @default.
• W202288218 hasConcept C184337299 @default.
• W202288218 hasConcept C187736073 @default.
• W202288218 hasConcept C199360897 @default.
• W202288218 hasConcept C206880738 @default.
• W202288218 hasConcept C2318724 @default.
• W202288218 hasConcept C2524010 @default.
• W202288218 hasConcept C2776214188 @default.
• W202288218 hasConcept C2779343474 @default.
• W202288218 hasConcept C2780451532 @default.
• W202288218 hasConcept C2780767217 @default.
• W202288218 hasConcept C33923547 @default.
• W202288218 hasConcept C3746660 @default.
• W202288218 hasConcept C41008148 @default.
• W202288218 hasConcept C542102704 @default.
• W202288218 hasConcept C62073222 @default.
• W202288218 hasConcept C80444323 @default.
• W202288218 hasConcept C86803240 @default.
• W202288218 hasConceptScore W202288218C100481476 @default.
• W202288218 hasConceptScore W202288218C108710211 @default.
• W202288218 hasConceptScore W202288218C151730666 @default.
• W202288218 hasConceptScore W202288218C154945302 @default.
• W202288218 hasConceptScore W202288218C15744967 @default.
• W202288218 hasConceptScore W202288218C162324750 @default.
• W202288218 hasConceptScore W202288218C167729594 @default.
• W202288218 hasConceptScore W202288218C184337299 @default.
• W202288218 hasConceptScore W202288218C187736073 @default.
• W202288218 hasConceptScore W202288218C199360897 @default.
• W202288218 hasConceptScore W202288218C206880738 @default.
• W202288218 hasConceptScore W202288218C2318724 @default.
• W202288218 hasConceptScore W202288218C2524010 @default.
• W202288218 hasConceptScore W202288218C2776214188 @default.
• W202288218 hasConceptScore W202288218C2779343474 @default.
• W202288218 hasConceptScore W202288218C2780451532 @default.
• W202288218 hasConceptScore W202288218C2780767217 @default.
• W202288218 hasConceptScore W202288218C33923547 @default.
• W202288218 hasConceptScore W202288218C3746660 @default.
• W202288218 hasConceptScore W202288218C41008148 @default.
• W202288218 hasConceptScore W202288218C542102704 @default.
• W202288218 hasConceptScore W202288218C62073222 @default.
• W202288218 hasConceptScore W202288218C80444323 @default.
• W202288218 hasConceptScore W202288218C86803240 @default.
• W202288218 hasLocation W2022882181 @default.
• W202288218 hasOpenAccess W202288218 @default.
• W202288218 hasPrimaryLocation W2022882181 @default.
• W202288218 hasRelatedWork W1482502297 @default.
• W202288218 hasRelatedWork W1494169862 @default.
• W202288218 hasRelatedWork W1539223265 @default.
• W202288218 hasRelatedWork W1768600348 @default.
• W202288218 hasRelatedWork W2010483606 @default.
• W202288218 hasRelatedWork W2012899205 @default.
• W202288218 hasRelatedWork W2087433068 @default.
• W202288218 hasRelatedWork W2137586949 @default.
• W202288218 hasRelatedWork W216690065 @default.
• W202288218 hasRelatedWork W2179106195 @default.
• W202288218 hasRelatedWork W2184184302 @default.
• W202288218 hasRelatedWork W2398426305 @default.
• W202288218 hasRelatedWork W2400957619 @default.
• W202288218 hasRelatedWork W2406003067 @default.
• W202288218 hasRelatedWork W2544352334 @default.
• W202288218 hasRelatedWork W2949300820 @default.
• W202288218 hasRelatedWork W2963078099 @default.
• W202288218 hasRelatedWork W3162095174 @default.
• W202288218 hasRelatedWork W3201253136 @default.
• W202288218 hasRelatedWork W63076690 @default.
• W202288218 isParatext "false" @default.
• W202288218 isRetracted "false" @default.
• W202288218 magId "202288218" @default.

• next