Matches in SemOpenAlex for { <https://semopenalex.org/work/W1587803076> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1587803076 endingPage "176" @default.
- W1587803076 startingPage "164" @default.
- W1587803076 abstract "AbstractComputationally adequate representation of models is a topic arising in various forms in logic and AI. Two fundamental decision problems in this area are: (1) to check whether a given clause is true in a represented model, and (2) to decide whether two representations of the same type represent the same model. ARMs, contexts and DIGs are three important examples of model representation formalisms. The complexity of the mentioned decision problems has been studied for ARMs only for finite signatures, and for contexts and DIGs only for infinite signatures, so far. We settle the remaining cases. Moreover we show that, similarly to the case for infinite signatures, contexts and DIGs allow one to represent the same classes of models also over finite signatures; however DIGs may be exponentially more succinct than all equivalent contexts.KeywordsFunction SymbolPredicate SymbolGround AtomGround InstanceUniversal VariableThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1587803076 created "2016-06-24" @default.
- W1587803076 creator A5048207102 @default.
- W1587803076 creator A5091683403 @default.
- W1587803076 date "2006-01-01" @default.
- W1587803076 modified "2023-10-16" @default.
- W1587803076 title "Model Representation over Finite and Infinite Signatures" @default.
- W1587803076 cites W1556657305 @default.
- W1587803076 cites W1599315191 @default.
- W1587803076 cites W1850217971 @default.
- W1587803076 cites W1887055412 @default.
- W1587803076 cites W1964783683 @default.
- W1587803076 cites W1964789714 @default.
- W1587803076 cites W2055002795 @default.
- W1587803076 cites W2071100103 @default.
- W1587803076 cites W2113722134 @default.
- W1587803076 cites W2120818870 @default.
- W1587803076 cites W2151523288 @default.
- W1587803076 cites W3020128627 @default.
- W1587803076 cites W4205795901 @default.
- W1587803076 doi "https://doi.org/10.1007/11853886_15" @default.
- W1587803076 hasPublicationYear "2006" @default.
- W1587803076 type Work @default.
- W1587803076 sameAs 1587803076 @default.
- W1587803076 citedByCount "1" @default.
- W1587803076 countsByYear W15878030762021 @default.
- W1587803076 crossrefType "book-chapter" @default.
- W1587803076 hasAuthorship W1587803076A5048207102 @default.
- W1587803076 hasAuthorship W1587803076A5091683403 @default.
- W1587803076 hasConcept C11413529 @default.
- W1587803076 hasConcept C136119220 @default.
- W1587803076 hasConcept C154945302 @default.
- W1587803076 hasConcept C171018156 @default.
- W1587803076 hasConcept C17744445 @default.
- W1587803076 hasConcept C199360897 @default.
- W1587803076 hasConcept C199539241 @default.
- W1587803076 hasConcept C202444582 @default.
- W1587803076 hasConcept C2524010 @default.
- W1587803076 hasConcept C2776359362 @default.
- W1587803076 hasConcept C33923547 @default.
- W1587803076 hasConcept C41008148 @default.
- W1587803076 hasConcept C80444323 @default.
- W1587803076 hasConcept C94625758 @default.
- W1587803076 hasConcept C98045186 @default.
- W1587803076 hasConceptScore W1587803076C11413529 @default.
- W1587803076 hasConceptScore W1587803076C136119220 @default.
- W1587803076 hasConceptScore W1587803076C154945302 @default.
- W1587803076 hasConceptScore W1587803076C171018156 @default.
- W1587803076 hasConceptScore W1587803076C17744445 @default.
- W1587803076 hasConceptScore W1587803076C199360897 @default.
- W1587803076 hasConceptScore W1587803076C199539241 @default.
- W1587803076 hasConceptScore W1587803076C202444582 @default.
- W1587803076 hasConceptScore W1587803076C2524010 @default.
- W1587803076 hasConceptScore W1587803076C2776359362 @default.
- W1587803076 hasConceptScore W1587803076C33923547 @default.
- W1587803076 hasConceptScore W1587803076C41008148 @default.
- W1587803076 hasConceptScore W1587803076C80444323 @default.
- W1587803076 hasConceptScore W1587803076C94625758 @default.
- W1587803076 hasConceptScore W1587803076C98045186 @default.
- W1587803076 hasLocation W15878030761 @default.
- W1587803076 hasOpenAccess W1587803076 @default.
- W1587803076 hasPrimaryLocation W15878030761 @default.
- W1587803076 hasRelatedWork W1508451833 @default.
- W1587803076 hasRelatedWork W1585363700 @default.
- W1587803076 hasRelatedWork W1587803076 @default.
- W1587803076 hasRelatedWork W1595895526 @default.
- W1587803076 hasRelatedWork W2017022033 @default.
- W1587803076 hasRelatedWork W2040182340 @default.
- W1587803076 hasRelatedWork W2099269319 @default.
- W1587803076 hasRelatedWork W2294842961 @default.
- W1587803076 hasRelatedWork W3107474891 @default.
- W1587803076 hasRelatedWork W2611405401 @default.
- W1587803076 isParatext "false" @default.
- W1587803076 isRetracted "false" @default.
- W1587803076 magId "1587803076" @default.
- W1587803076 workType "book-chapter" @default.