Matches in SemOpenAlex for { <https://semopenalex.org/work/W2799261896> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2799261896 abstract "Concept languages have been studied in order to give a formal account of the basic features of frame-based languages. The focus of research in concept languages was initially on the semantical reconstruction of frame-based systems and the computational complexity of reasoning. More recently, attention has been paid to the formalization of other aspects of frame-based languages, such as non-monotonic reasoning and procedural rules, which are necessary in order to bring concept languages closer to implemented systems. In this paper we discuss the above issues in the framework of concept languages enriched with an epistemic operator. In particular, we show that the epistemic operator both introduces novel features in the language, such as sophisticated query formulation and closed world reasoning, and makes it possible to provide a formal account for some aspects of the existing systems, such as rules and definitions, that cannot be characterized in a standard first-order framework." @default.
- W2799261896 created "2018-05-07" @default.
- W2799261896 creator A5029757626 @default.
- W2799261896 creator A5038176802 @default.
- W2799261896 creator A5047923261 @default.
- W2799261896 creator A5055401331 @default.
- W2799261896 creator A5075651762 @default.
- W2799261896 date "1993-01-01" @default.
- W2799261896 modified "2023-09-23" @default.
- W2799261896 title "Queries, rules and definitions as epistemic statements in concept languages" @default.
- W2799261896 cites W1490378263 @default.
- W2799261896 cites W1536088796 @default.
- W2799261896 cites W1580770061 @default.
- W2799261896 cites W187485680 @default.
- W2799261896 cites W1936956611 @default.
- W2799261896 cites W1971428581 @default.
- W2799261896 cites W1979546915 @default.
- W2799261896 cites W2057513565 @default.
- W2799261896 cites W2105486835 @default.
- W2799261896 cites W2115164315 @default.
- W2799261896 cites W2127140110 @default.
- W2799261896 cites W2128315797 @default.
- W2799261896 cites W2145465694 @default.
- W2799261896 cites W26529986 @default.
- W2799261896 cites W28460116 @default.
- W2799261896 cites W3023577325 @default.
- W2799261896 cites W53060394 @default.
- W2799261896 cites W130879020 @default.
- W2799261896 doi "https://doi.org/10.22028/d291-24926" @default.
- W2799261896 hasPublicationYear "1993" @default.
- W2799261896 type Work @default.
- W2799261896 sameAs 2799261896 @default.
- W2799261896 citedByCount "0" @default.
- W2799261896 crossrefType "journal-article" @default.
- W2799261896 hasAuthorship W2799261896A5029757626 @default.
- W2799261896 hasAuthorship W2799261896A5038176802 @default.
- W2799261896 hasAuthorship W2799261896A5047923261 @default.
- W2799261896 hasAuthorship W2799261896A5055401331 @default.
- W2799261896 hasAuthorship W2799261896A5075651762 @default.
- W2799261896 hasConcept C120665830 @default.
- W2799261896 hasConcept C121332964 @default.
- W2799261896 hasConcept C126042441 @default.
- W2799261896 hasConcept C154945302 @default.
- W2799261896 hasConcept C192209626 @default.
- W2799261896 hasConcept C199360897 @default.
- W2799261896 hasConcept C41008148 @default.
- W2799261896 hasConcept C5065155 @default.
- W2799261896 hasConcept C76155785 @default.
- W2799261896 hasConceptScore W2799261896C120665830 @default.
- W2799261896 hasConceptScore W2799261896C121332964 @default.
- W2799261896 hasConceptScore W2799261896C126042441 @default.
- W2799261896 hasConceptScore W2799261896C154945302 @default.
- W2799261896 hasConceptScore W2799261896C192209626 @default.
- W2799261896 hasConceptScore W2799261896C199360897 @default.
- W2799261896 hasConceptScore W2799261896C41008148 @default.
- W2799261896 hasConceptScore W2799261896C5065155 @default.
- W2799261896 hasConceptScore W2799261896C76155785 @default.
- W2799261896 hasLocation W27992618961 @default.
- W2799261896 hasOpenAccess W2799261896 @default.
- W2799261896 hasPrimaryLocation W27992618961 @default.
- W2799261896 hasRelatedWork W1604065750 @default.
- W2799261896 hasRelatedWork W166000803 @default.
- W2799261896 hasRelatedWork W1943070153 @default.
- W2799261896 hasRelatedWork W204383095 @default.
- W2799261896 hasRelatedWork W2137586949 @default.
- W2799261896 hasRelatedWork W216690065 @default.
- W2799261896 hasRelatedWork W2400653876 @default.
- W2799261896 hasRelatedWork W2409427544 @default.
- W2799261896 hasRelatedWork W2418991564 @default.
- W2799261896 hasRelatedWork W2544352334 @default.
- W2799261896 hasRelatedWork W2778392606 @default.
- W2799261896 hasRelatedWork W2778489400 @default.
- W2799261896 hasRelatedWork W2914084105 @default.
- W2799261896 hasRelatedWork W2953285398 @default.
- W2799261896 hasRelatedWork W2967446875 @default.
- W2799261896 hasRelatedWork W2986555122 @default.
- W2799261896 hasRelatedWork W3087273953 @default.
- W2799261896 hasRelatedWork W3095065786 @default.
- W2799261896 hasRelatedWork W3185474140 @default.
- W2799261896 hasRelatedWork W80868580 @default.
- W2799261896 isParatext "false" @default.
- W2799261896 isRetracted "false" @default.
- W2799261896 magId "2799261896" @default.
- W2799261896 workType "article" @default.