Matches in SemOpenAlex for { <https://semopenalex.org/work/W1791795960> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1791795960 abstract "Normal forms play an important role in computer science, for example in the areas of logic and databases. This paper provides a study of normal forms for some prominent logics for default reasoning. In particular we show that in Constrained and in Justified Default Logic, semi-normal default theories can represent arbitrary default theories. The main result for Justified Default Logic requires the signature (logical language to be enhanced in order to obtain the desired outcome." @default.
- W1791795960 created "2016-06-24" @default.
- W1791795960 creator A5018289832 @default.
- W1791795960 date "1997-01-01" @default.
- W1791795960 modified "2023-09-24" @default.
- W1791795960 title "Representation results for default logics" @default.
- W1791795960 cites W1765813841 @default.
- W1791795960 cites W2013153283 @default.
- W1791795960 cites W2078926321 @default.
- W1791795960 cites W2155322595 @default.
- W1791795960 cites W2232207765 @default.
- W1791795960 cites W2954333904 @default.
- W1791795960 cites W3000457705 @default.
- W1791795960 cites W9606810 @default.
- W1791795960 doi "https://doi.org/10.1007/3-540-63797-4_78" @default.
- W1791795960 hasPublicationYear "1997" @default.
- W1791795960 type Work @default.
- W1791795960 sameAs 1791795960 @default.
- W1791795960 citedByCount "0" @default.
- W1791795960 crossrefType "book-chapter" @default.
- W1791795960 hasAuthorship W1791795960A5018289832 @default.
- W1791795960 hasConcept C102993220 @default.
- W1791795960 hasConcept C154945302 @default.
- W1791795960 hasConcept C159032336 @default.
- W1791795960 hasConcept C160236029 @default.
- W1791795960 hasConcept C161301231 @default.
- W1791795960 hasConcept C162324750 @default.
- W1791795960 hasConcept C17744445 @default.
- W1791795960 hasConcept C190253527 @default.
- W1791795960 hasConcept C199539241 @default.
- W1791795960 hasConcept C203659156 @default.
- W1791795960 hasConcept C204321447 @default.
- W1791795960 hasConcept C2524010 @default.
- W1791795960 hasConcept C2776359362 @default.
- W1791795960 hasConcept C2777142071 @default.
- W1791795960 hasConcept C2779696439 @default.
- W1791795960 hasConcept C33923547 @default.
- W1791795960 hasConcept C3845977 @default.
- W1791795960 hasConcept C41008148 @default.
- W1791795960 hasConcept C80444323 @default.
- W1791795960 hasConcept C94625758 @default.
- W1791795960 hasConceptScore W1791795960C102993220 @default.
- W1791795960 hasConceptScore W1791795960C154945302 @default.
- W1791795960 hasConceptScore W1791795960C159032336 @default.
- W1791795960 hasConceptScore W1791795960C160236029 @default.
- W1791795960 hasConceptScore W1791795960C161301231 @default.
- W1791795960 hasConceptScore W1791795960C162324750 @default.
- W1791795960 hasConceptScore W1791795960C17744445 @default.
- W1791795960 hasConceptScore W1791795960C190253527 @default.
- W1791795960 hasConceptScore W1791795960C199539241 @default.
- W1791795960 hasConceptScore W1791795960C203659156 @default.
- W1791795960 hasConceptScore W1791795960C204321447 @default.
- W1791795960 hasConceptScore W1791795960C2524010 @default.
- W1791795960 hasConceptScore W1791795960C2776359362 @default.
- W1791795960 hasConceptScore W1791795960C2777142071 @default.
- W1791795960 hasConceptScore W1791795960C2779696439 @default.
- W1791795960 hasConceptScore W1791795960C33923547 @default.
- W1791795960 hasConceptScore W1791795960C3845977 @default.
- W1791795960 hasConceptScore W1791795960C41008148 @default.
- W1791795960 hasConceptScore W1791795960C80444323 @default.
- W1791795960 hasConceptScore W1791795960C94625758 @default.
- W1791795960 hasLocation W17917959601 @default.
- W1791795960 hasOpenAccess W1791795960 @default.
- W1791795960 hasPrimaryLocation W17917959601 @default.
- W1791795960 hasRelatedWork W1488300076 @default.
- W1791795960 hasRelatedWork W1508481787 @default.
- W1791795960 hasRelatedWork W1531558136 @default.
- W1791795960 hasRelatedWork W1545424768 @default.
- W1791795960 hasRelatedWork W1552604813 @default.
- W1791795960 hasRelatedWork W1570170838 @default.
- W1791795960 hasRelatedWork W1601784262 @default.
- W1791795960 hasRelatedWork W2009317964 @default.
- W1791795960 hasRelatedWork W2013153283 @default.
- W1791795960 hasRelatedWork W2054098217 @default.
- W1791795960 hasRelatedWork W2081817312 @default.
- W1791795960 hasRelatedWork W2087561262 @default.
- W1791795960 hasRelatedWork W2100078804 @default.
- W1791795960 hasRelatedWork W2295099510 @default.
- W1791795960 hasRelatedWork W2365692196 @default.
- W1791795960 hasRelatedWork W2510221240 @default.
- W1791795960 hasRelatedWork W316482821 @default.
- W1791795960 hasRelatedWork W61757047 @default.
- W1791795960 hasRelatedWork W64378593 @default.
- W1791795960 hasRelatedWork W879526 @default.
- W1791795960 isParatext "false" @default.
- W1791795960 isRetracted "false" @default.
- W1791795960 magId "1791795960" @default.
- W1791795960 workType "book-chapter" @default.