SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±104 with 100 items per page.

W1578472371 abstract "We define GOL, the generalized logic of only knowing, and propose to use it as a unified framework for non-monotonic reasoning. The GOL logic is a generalization of the logic of only knowing (OL) by Levesque [8], and it covers the important notion of epistemic specification by Gelfond [3, 5] which is very useful in knowledge representation. By giving a model-theoretic account for epistemic specifications, the GOL helps clarify the conceptual understanding for epistemic theories. The GOL logic contains the OL logic as a subset and thus it retains the important features of OL. The OL logic is a modal logic which can be used to formalize an agent's introspective reasoning and to answer epistemic queries to databases. In recent works [1–2], we established the relations between OL logic and MBNF (the logic of minimal belief and negation as failure by Lifschitz" @default.
W1578472371 created "2016-06-24" @default.
W1578472371 creator A5042560788 @default.
W1578472371 date "1994-01-01" @default.
W1578472371 modified "2023-09-23" @default.
W1578472371 title "The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications" @default.
W1578472371 cites W1966552757 @default.
W1578472371 cites W1991972474 @default.
W1578472371 cites W2076698873 @default.
W1578472371 cites W789857969 @default.
W1578472371 doi "https://doi.org/10.1007/3-540-58495-1_48" @default.
W1578472371 hasPublicationYear "1994" @default.
W1578472371 type Work @default.
W1578472371 sameAs 1578472371 @default.
W1578472371 citedByCount "0" @default.
W1578472371 crossrefType "book-chapter" @default.
W1578472371 hasAuthorship W1578472371A5042560788 @default.
W1578472371 hasConcept C101874905 @default.
W1578472371 hasConcept C102993220 @default.
W1578472371 hasConcept C107247716 @default.
W1578472371 hasConcept C111472728 @default.
W1578472371 hasConcept C121332964 @default.
W1578472371 hasConcept C124047733 @default.
W1578472371 hasConcept C138885662 @default.
W1578472371 hasConcept C154945302 @default.
W1578472371 hasConcept C159032336 @default.
W1578472371 hasConcept C160236029 @default.
W1578472371 hasConcept C161301231 @default.
W1578472371 hasConcept C165801399 @default.
W1578472371 hasConcept C16796852 @default.
W1578472371 hasConcept C172385210 @default.
W1578472371 hasConcept C177148314 @default.
W1578472371 hasConcept C178421362 @default.
W1578472371 hasConcept C185592680 @default.
W1578472371 hasConcept C188027245 @default.
W1578472371 hasConcept C194146651 @default.
W1578472371 hasConcept C19689857 @default.
W1578472371 hasConcept C199360897 @default.
W1578472371 hasConcept C203659156 @default.
W1578472371 hasConcept C2185349 @default.
W1578472371 hasConcept C27508121 @default.
W1578472371 hasConcept C2777796570 @default.
W1578472371 hasConcept C3845977 @default.
W1578472371 hasConcept C41008148 @default.
W1578472371 hasConcept C62520636 @default.
W1578472371 hasConcept C69562738 @default.
W1578472371 hasConcept C71139939 @default.
W1578472371 hasConceptScore W1578472371C101874905 @default.
W1578472371 hasConceptScore W1578472371C102993220 @default.
W1578472371 hasConceptScore W1578472371C107247716 @default.
W1578472371 hasConceptScore W1578472371C111472728 @default.
W1578472371 hasConceptScore W1578472371C121332964 @default.
W1578472371 hasConceptScore W1578472371C124047733 @default.
W1578472371 hasConceptScore W1578472371C138885662 @default.
W1578472371 hasConceptScore W1578472371C154945302 @default.
W1578472371 hasConceptScore W1578472371C159032336 @default.
W1578472371 hasConceptScore W1578472371C160236029 @default.
W1578472371 hasConceptScore W1578472371C161301231 @default.
W1578472371 hasConceptScore W1578472371C165801399 @default.
W1578472371 hasConceptScore W1578472371C16796852 @default.
W1578472371 hasConceptScore W1578472371C172385210 @default.
W1578472371 hasConceptScore W1578472371C177148314 @default.
W1578472371 hasConceptScore W1578472371C178421362 @default.
W1578472371 hasConceptScore W1578472371C185592680 @default.
W1578472371 hasConceptScore W1578472371C188027245 @default.
W1578472371 hasConceptScore W1578472371C194146651 @default.
W1578472371 hasConceptScore W1578472371C19689857 @default.
W1578472371 hasConceptScore W1578472371C199360897 @default.
W1578472371 hasConceptScore W1578472371C203659156 @default.
W1578472371 hasConceptScore W1578472371C2185349 @default.
W1578472371 hasConceptScore W1578472371C27508121 @default.
W1578472371 hasConceptScore W1578472371C2777796570 @default.
W1578472371 hasConceptScore W1578472371C3845977 @default.
W1578472371 hasConceptScore W1578472371C41008148 @default.
W1578472371 hasConceptScore W1578472371C62520636 @default.
W1578472371 hasConceptScore W1578472371C69562738 @default.
W1578472371 hasConceptScore W1578472371C71139939 @default.
W1578472371 hasLocation W15784723711 @default.
W1578472371 hasOpenAccess W1578472371 @default.
W1578472371 hasPrimaryLocation W15784723711 @default.
W1578472371 hasRelatedWork W1497274966 @default.
W1578472371 hasRelatedWork W1565075881 @default.
W1578472371 hasRelatedWork W1577438212 @default.
W1578472371 hasRelatedWork W1788106506 @default.
W1578472371 hasRelatedWork W1807315103 @default.
W1578472371 hasRelatedWork W1910409814 @default.
W1578472371 hasRelatedWork W1988897859 @default.
W1578472371 hasRelatedWork W2023870985 @default.
W1578472371 hasRelatedWork W2041998877 @default.
W1578472371 hasRelatedWork W2076652224 @default.
W1578472371 hasRelatedWork W2088820837 @default.
W1578472371 hasRelatedWork W2109235643 @default.
W1578472371 hasRelatedWork W2158693883 @default.
W1578472371 hasRelatedWork W2740120804 @default.
W1578472371 hasRelatedWork W2744775946 @default.
W1578472371 hasRelatedWork W2890746997 @default.
W1578472371 hasRelatedWork W2950458778 @default.
W1578472371 hasRelatedWork W3007090653 @default.
W1578472371 hasRelatedWork W3102389405 @default.
W1578472371 hasRelatedWork W783487439 @default.