Matches in SemOpenAlex for { <https://semopenalex.org/work/W2283137349> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2283137349 abstract "The semantic tableaux system is a procedure to decide whether or not a given formula is valid. The system also works for nding minimal models of formulas. In this paper, we apply this function to circumscription. We show that we can obtain the minimal models of circumscription just by checking the models produced by the system, and hence we do not need to check all possible models of it. We also present an algorithm to produce the models of circumscription based on the system." @default.
- W2283137349 created "2016-06-24" @default.
- W2283137349 creator A5028174899 @default.
- W2283137349 creator A5086232804 @default.
- W2283137349 date "1993-05-01" @default.
- W2283137349 modified "2023-09-25" @default.
- W2283137349 title "Finding Minimal Models by the Semantic Tableaux System" @default.
- W2283137349 cites W1554618854 @default.
- W2283137349 cites W1998363560 @default.
- W2283137349 cites W2004352874 @default.
- W2283137349 cites W2014810198 @default.
- W2283137349 cites W2050718085 @default.
- W2283137349 cites W2100738443 @default.
- W2283137349 cites W2415002543 @default.
- W2283137349 cites W2557892554 @default.
- W2283137349 cites W2913309218 @default.
- W2283137349 cites W2945259913 @default.
- W2283137349 hasPublicationYear "1993" @default.
- W2283137349 type Work @default.
- W2283137349 sameAs 2283137349 @default.
- W2283137349 citedByCount "0" @default.
- W2283137349 crossrefType "journal-article" @default.
- W2283137349 hasAuthorship W2283137349A5028174899 @default.
- W2283137349 hasAuthorship W2283137349A5086232804 @default.
- W2283137349 hasConcept C11413529 @default.
- W2283137349 hasConcept C14036430 @default.
- W2283137349 hasConcept C154945302 @default.
- W2283137349 hasConcept C202444582 @default.
- W2283137349 hasConcept C2778681612 @default.
- W2283137349 hasConcept C33923547 @default.
- W2283137349 hasConcept C41008148 @default.
- W2283137349 hasConcept C62360110 @default.
- W2283137349 hasConcept C78458016 @default.
- W2283137349 hasConcept C80444323 @default.
- W2283137349 hasConcept C86803240 @default.
- W2283137349 hasConceptScore W2283137349C11413529 @default.
- W2283137349 hasConceptScore W2283137349C14036430 @default.
- W2283137349 hasConceptScore W2283137349C154945302 @default.
- W2283137349 hasConceptScore W2283137349C202444582 @default.
- W2283137349 hasConceptScore W2283137349C2778681612 @default.
- W2283137349 hasConceptScore W2283137349C33923547 @default.
- W2283137349 hasConceptScore W2283137349C41008148 @default.
- W2283137349 hasConceptScore W2283137349C62360110 @default.
- W2283137349 hasConceptScore W2283137349C78458016 @default.
- W2283137349 hasConceptScore W2283137349C80444323 @default.
- W2283137349 hasConceptScore W2283137349C86803240 @default.
- W2283137349 hasLocation W22831373491 @default.
- W2283137349 hasOpenAccess W2283137349 @default.
- W2283137349 hasPrimaryLocation W22831373491 @default.
- W2283137349 hasRelatedWork W113938959 @default.
- W2283137349 hasRelatedWork W1504966796 @default.
- W2283137349 hasRelatedWork W1512325494 @default.
- W2283137349 hasRelatedWork W1536469384 @default.
- W2283137349 hasRelatedWork W1562898168 @default.
- W2283137349 hasRelatedWork W1601068424 @default.
- W2283137349 hasRelatedWork W1660563560 @default.
- W2283137349 hasRelatedWork W171847277 @default.
- W2283137349 hasRelatedWork W1980855340 @default.
- W2283137349 hasRelatedWork W2017595664 @default.
- W2283137349 hasRelatedWork W2026328078 @default.
- W2283137349 hasRelatedWork W2095997546 @default.
- W2283137349 hasRelatedWork W2305028122 @default.
- W2283137349 hasRelatedWork W2726449882 @default.
- W2283137349 hasRelatedWork W2904640154 @default.
- W2283137349 hasRelatedWork W2919238672 @default.
- W2283137349 hasRelatedWork W3100051785 @default.
- W2283137349 hasRelatedWork W3177233459 @default.
- W2283137349 hasRelatedWork W3177831581 @default.
- W2283137349 hasRelatedWork W46391580 @default.
- W2283137349 hasVolume "72" @default.
- W2283137349 isParatext "false" @default.
- W2283137349 isRetracted "false" @default.
- W2283137349 magId "2283137349" @default.
- W2283137349 workType "article" @default.