FRINK Linked Data Fragments server

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

• W136981523 endingPage "17" @default.
• W136981523 startingPage "1" @default.
• W136981523 abstract "The fragment of propositional logic known as Horn theories plays a central role in automated reasoning. The problem of enumerating the maximal models of a Horn theory (MaxMod) has been proved to be computationally hard, unless P = NP. To the best of our knowledge, the only algorithm available for it is the one based on a brute-force approach. In this paper, we provide an algorithm for the problem of enumerating the maximal subsets of facts that do not entail a distinguished atomic proposition in a definite Horn theory (MaxNoEntail). We show that MaxMod is polynomially reducible to MaxNoEntail (and vice versa), making it possible to solve also the former problem using the proposed algorithm. Addressing MaxMod via MaxNoEntail opens, inter alia, the possibility of benefiting from the monotonicity of the notion of entailment. (The notion of model does not enjoy such a property.) We also discuss an application of MaxNoEntail to expressiveness issues for modal logics, which reveals the effectiveness of the proposed algorithm." @default.
• W136981523 created "2016-06-24" @default.
• W136981523 creator A5003911860 @default.
• W136981523 creator A5015702335 @default.
• W136981523 creator A5016540152 @default.
• W136981523 creator A5033663075 @default.
• W136981523 creator A5041913577 @default.
• W136981523 date "2013-01-01" @default.
• W136981523 modified "2023-09-23" @default.
• W136981523 title "An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics" @default.
• W136981523 cites W1971514970 @default.
• W136981523 cites W1978654873 @default.
• W136981523 cites W2036265926 @default.
• W136981523 cites W2039911527 @default.
• W136981523 cites W2088631785 @default.
• W136981523 cites W2154671707 @default.
• W136981523 cites W3023306850 @default.
• W136981523 cites W4206370914 @default.
• W136981523 cites W4211144022 @default.
• W136981523 doi "https://doi.org/10.1007/978-3-642-45221-5_1" @default.
• W136981523 hasPublicationYear "2013" @default.
• W136981523 type Work @default.
• W136981523 sameAs 136981523 @default.
• W136981523 citedByCount "2" @default.
• W136981523 countsByYear W1369815232014 @default.
• W136981523 countsByYear W1369815232015 @default.
• W136981523 crossrefType "book-chapter" @default.
• W136981523 hasAuthorship W136981523A5003911860 @default.
• W136981523 hasAuthorship W136981523A5015702335 @default.
• W136981523 hasAuthorship W136981523A5016540152 @default.
• W136981523 hasAuthorship W136981523A5033663075 @default.
• W136981523 hasAuthorship W136981523A5041913577 @default.
• W136981523 hasBestOaLocation W1369815232 @default.
• W136981523 hasConcept C102993220 @default.
• W136981523 hasConcept C111472728 @default.
• W136981523 hasConcept C11413529 @default.
• W136981523 hasConcept C118615104 @default.
• W136981523 hasConcept C134306372 @default.
• W136981523 hasConcept C134752490 @default.
• W136981523 hasConcept C138885662 @default.
• W136981523 hasConcept C152076505 @default.
• W136981523 hasConcept C154945302 @default.
• W136981523 hasConcept C15744967 @default.
• W136981523 hasConcept C185592680 @default.
• W136981523 hasConcept C188027245 @default.
• W136981523 hasConcept C189790780 @default.
• W136981523 hasConcept C189950617 @default.
• W136981523 hasConcept C19417346 @default.
• W136981523 hasConcept C199360897 @default.
• W136981523 hasConcept C203659156 @default.
• W136981523 hasConcept C27508121 @default.
• W136981523 hasConcept C2776235265 @default.
• W136981523 hasConcept C2777152325 @default.
• W136981523 hasConcept C33923547 @default.
• W136981523 hasConcept C41008148 @default.
• W136981523 hasConcept C69562738 @default.
• W136981523 hasConcept C71139939 @default.
• W136981523 hasConcept C72169020 @default.
• W136981523 hasConcept C78344899 @default.
• W136981523 hasConcept C80444323 @default.
• W136981523 hasConcept C81721847 @default.
• W136981523 hasConceptScore W136981523C102993220 @default.
• W136981523 hasConceptScore W136981523C111472728 @default.
• W136981523 hasConceptScore W136981523C11413529 @default.
• W136981523 hasConceptScore W136981523C118615104 @default.
• W136981523 hasConceptScore W136981523C134306372 @default.
• W136981523 hasConceptScore W136981523C134752490 @default.
• W136981523 hasConceptScore W136981523C138885662 @default.
• W136981523 hasConceptScore W136981523C152076505 @default.
• W136981523 hasConceptScore W136981523C154945302 @default.
• W136981523 hasConceptScore W136981523C15744967 @default.
• W136981523 hasConceptScore W136981523C185592680 @default.
• W136981523 hasConceptScore W136981523C188027245 @default.
• W136981523 hasConceptScore W136981523C189790780 @default.
• W136981523 hasConceptScore W136981523C189950617 @default.
• W136981523 hasConceptScore W136981523C19417346 @default.
• W136981523 hasConceptScore W136981523C199360897 @default.
• W136981523 hasConceptScore W136981523C203659156 @default.
• W136981523 hasConceptScore W136981523C27508121 @default.
• W136981523 hasConceptScore W136981523C2776235265 @default.
• W136981523 hasConceptScore W136981523C2777152325 @default.
• W136981523 hasConceptScore W136981523C33923547 @default.
• W136981523 hasConceptScore W136981523C41008148 @default.
• W136981523 hasConceptScore W136981523C69562738 @default.
• W136981523 hasConceptScore W136981523C71139939 @default.
• W136981523 hasConceptScore W136981523C72169020 @default.
• W136981523 hasConceptScore W136981523C78344899 @default.
• W136981523 hasConceptScore W136981523C80444323 @default.
• W136981523 hasConceptScore W136981523C81721847 @default.
• W136981523 hasLocation W1369815231 @default.
• W136981523 hasLocation W1369815232 @default.
• W136981523 hasOpenAccess W136981523 @default.
• W136981523 hasPrimaryLocation W1369815231 @default.
• W136981523 hasRelatedWork W1538772034 @default.
• W136981523 hasRelatedWork W2000717773 @default.
• W136981523 hasRelatedWork W2034193863 @default.
• W136981523 hasRelatedWork W2546418193 @default.
• W136981523 hasRelatedWork W2939365950 @default.

• next