Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528305443> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1528305443 endingPage "280" @default.
- W1528305443 startingPage "279" @default.
- W1528305443 abstract "AbstractReasoning about types is a common task, and there are a number of logics that have been developed for this purpose [1,2]. The problem is that type logics with efficient proof procedures are not very expressive, and logics with more expressive power are not tractable. The current paper presents a logic which is considerably more expressive than using a simple taxonomy, but for which the proof procedure is nonetheless linear.KeywordsNatural KindExpressive PowerHorn ClauseType LogicOpen ListThese 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.
- W1528305443 created "2016-06-24" @default.
- W1528305443 creator A5035477242 @default.
- W1528305443 date "2010-01-01" @default.
- W1528305443 modified "2023-09-26" @default.
- W1528305443 title "Semi-partitioned Horn Clauses: A Tractable Logic of Types" @default.
- W1528305443 cites W1550769831 @default.
- W1528305443 cites W1999978255 @default.
- W1528305443 cites W2011992362 @default.
- W1528305443 cites W2142785340 @default.
- W1528305443 doi "https://doi.org/10.1007/978-3-642-15431-7_36" @default.
- W1528305443 hasPublicationYear "2010" @default.
- W1528305443 type Work @default.
- W1528305443 sameAs 1528305443 @default.
- W1528305443 citedByCount "0" @default.
- W1528305443 crossrefType "book-chapter" @default.
- W1528305443 hasAuthorship W1528305443A5035477242 @default.
- W1528305443 hasConcept C102993220 @default.
- W1528305443 hasConcept C108710211 @default.
- W1528305443 hasConcept C111472728 @default.
- W1528305443 hasConcept C11413529 @default.
- W1528305443 hasConcept C128838566 @default.
- W1528305443 hasConcept C138885662 @default.
- W1528305443 hasConcept C162324750 @default.
- W1528305443 hasConcept C187736073 @default.
- W1528305443 hasConcept C189790780 @default.
- W1528305443 hasConcept C195818886 @default.
- W1528305443 hasConcept C199360897 @default.
- W1528305443 hasConcept C2318724 @default.
- W1528305443 hasConcept C2524010 @default.
- W1528305443 hasConcept C2780451532 @default.
- W1528305443 hasConcept C2780586882 @default.
- W1528305443 hasConcept C33923547 @default.
- W1528305443 hasConcept C41008148 @default.
- W1528305443 hasConcept C80444323 @default.
- W1528305443 hasConceptScore W1528305443C102993220 @default.
- W1528305443 hasConceptScore W1528305443C108710211 @default.
- W1528305443 hasConceptScore W1528305443C111472728 @default.
- W1528305443 hasConceptScore W1528305443C11413529 @default.
- W1528305443 hasConceptScore W1528305443C128838566 @default.
- W1528305443 hasConceptScore W1528305443C138885662 @default.
- W1528305443 hasConceptScore W1528305443C162324750 @default.
- W1528305443 hasConceptScore W1528305443C187736073 @default.
- W1528305443 hasConceptScore W1528305443C189790780 @default.
- W1528305443 hasConceptScore W1528305443C195818886 @default.
- W1528305443 hasConceptScore W1528305443C199360897 @default.
- W1528305443 hasConceptScore W1528305443C2318724 @default.
- W1528305443 hasConceptScore W1528305443C2524010 @default.
- W1528305443 hasConceptScore W1528305443C2780451532 @default.
- W1528305443 hasConceptScore W1528305443C2780586882 @default.
- W1528305443 hasConceptScore W1528305443C33923547 @default.
- W1528305443 hasConceptScore W1528305443C41008148 @default.
- W1528305443 hasConceptScore W1528305443C80444323 @default.
- W1528305443 hasLocation W15283054431 @default.
- W1528305443 hasOpenAccess W1528305443 @default.
- W1528305443 hasPrimaryLocation W15283054431 @default.
- W1528305443 hasRelatedWork W1589830330 @default.
- W1528305443 hasRelatedWork W1649425559 @default.
- W1528305443 hasRelatedWork W1691564963 @default.
- W1528305443 hasRelatedWork W1805258570 @default.
- W1528305443 hasRelatedWork W1984502727 @default.
- W1528305443 hasRelatedWork W2064593774 @default.
- W1528305443 hasRelatedWork W2078543661 @default.
- W1528305443 hasRelatedWork W2099041785 @default.
- W1528305443 hasRelatedWork W2127005081 @default.
- W1528305443 hasRelatedWork W2148033627 @default.
- W1528305443 hasRelatedWork W2279502176 @default.
- W1528305443 hasRelatedWork W2289330807 @default.
- W1528305443 hasRelatedWork W2399173794 @default.
- W1528305443 hasRelatedWork W2518780906 @default.
- W1528305443 hasRelatedWork W2560328153 @default.
- W1528305443 hasRelatedWork W2572769649 @default.
- W1528305443 hasRelatedWork W2903635041 @default.
- W1528305443 hasRelatedWork W2945615298 @default.
- W1528305443 hasRelatedWork W3088706144 @default.
- W1528305443 hasRelatedWork W45187631 @default.
- W1528305443 isParatext "false" @default.
- W1528305443 isRetracted "false" @default.
- W1528305443 magId "1528305443" @default.
- W1528305443 workType "book-chapter" @default.