Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092960263> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2092960263 abstract "The study of different variants of default logic reveals not only differences but also properties they share. For example, there seems to be a close relationship between semi-monotonicity and the guaranteed existence of extensions. Likewise, formula-manipulating default logics tend to violate the property of cumulativity. The problem is that currently such properties must be established separately for each approach. This paper describes some steps towards the study of properties of classes of default logics by giving a rather general definition of what a default logic is. Essentially our approach is operational and restricts attention to purely formula-manipulating logics. We motivate our definition and demonstrate that it includes a variety of well-known default logics. Furthermore, we derive general results regarding the concepts of semi-monotonicity and cumulativity. As a benefit of the discussion we uncover that some design decisions of concrete default logics were not accidental as they may seem, but..." @default.
- W2092960263 created "2016-06-24" @default.
- W2092960263 creator A5018289832 @default.
- W2092960263 creator A5030488352 @default.
- W2092960263 creator A5088081078 @default.
- W2092960263 date "1998-10-01" @default.
- W2092960263 modified "2023-10-17" @default.
- W2092960263 title "Studying properties of classes of default logics" @default.
- W2092960263 cites W157785659 @default.
- W2092960263 cites W1966552757 @default.
- W2092960263 cites W2013153283 @default.
- W2092960263 cites W2072291277 @default.
- W2092960263 cites W2078926321 @default.
- W2092960263 cites W2080142817 @default.
- W2092960263 cites W2155322595 @default.
- W2092960263 cites W2954333904 @default.
- W2092960263 cites W3160286556 @default.
- W2092960263 doi "https://doi.org/10.1080/095281398146725" @default.
- W2092960263 hasPublicationYear "1998" @default.
- W2092960263 type Work @default.
- W2092960263 sameAs 2092960263 @default.
- W2092960263 citedByCount "0" @default.
- W2092960263 crossrefType "journal-article" @default.
- W2092960263 hasAuthorship W2092960263A5018289832 @default.
- W2092960263 hasAuthorship W2092960263A5030488352 @default.
- W2092960263 hasAuthorship W2092960263A5088081078 @default.
- W2092960263 hasConcept C102993220 @default.
- W2092960263 hasConcept C111472728 @default.
- W2092960263 hasConcept C134306372 @default.
- W2092960263 hasConcept C136197465 @default.
- W2092960263 hasConcept C138885662 @default.
- W2092960263 hasConcept C144133560 @default.
- W2092960263 hasConcept C144237770 @default.
- W2092960263 hasConcept C154945302 @default.
- W2092960263 hasConcept C159032336 @default.
- W2092960263 hasConcept C160236029 @default.
- W2092960263 hasConcept C162118730 @default.
- W2092960263 hasConcept C178350159 @default.
- W2092960263 hasConcept C189950617 @default.
- W2092960263 hasConcept C203659156 @default.
- W2092960263 hasConcept C2984055962 @default.
- W2092960263 hasConcept C33923547 @default.
- W2092960263 hasConcept C3845977 @default.
- W2092960263 hasConcept C41008148 @default.
- W2092960263 hasConcept C72169020 @default.
- W2092960263 hasConcept C80444323 @default.
- W2092960263 hasConceptScore W2092960263C102993220 @default.
- W2092960263 hasConceptScore W2092960263C111472728 @default.
- W2092960263 hasConceptScore W2092960263C134306372 @default.
- W2092960263 hasConceptScore W2092960263C136197465 @default.
- W2092960263 hasConceptScore W2092960263C138885662 @default.
- W2092960263 hasConceptScore W2092960263C144133560 @default.
- W2092960263 hasConceptScore W2092960263C144237770 @default.
- W2092960263 hasConceptScore W2092960263C154945302 @default.
- W2092960263 hasConceptScore W2092960263C159032336 @default.
- W2092960263 hasConceptScore W2092960263C160236029 @default.
- W2092960263 hasConceptScore W2092960263C162118730 @default.
- W2092960263 hasConceptScore W2092960263C178350159 @default.
- W2092960263 hasConceptScore W2092960263C189950617 @default.
- W2092960263 hasConceptScore W2092960263C203659156 @default.
- W2092960263 hasConceptScore W2092960263C2984055962 @default.
- W2092960263 hasConceptScore W2092960263C33923547 @default.
- W2092960263 hasConceptScore W2092960263C3845977 @default.
- W2092960263 hasConceptScore W2092960263C41008148 @default.
- W2092960263 hasConceptScore W2092960263C72169020 @default.
- W2092960263 hasConceptScore W2092960263C80444323 @default.
- W2092960263 hasLocation W20929602631 @default.
- W2092960263 hasOpenAccess W2092960263 @default.
- W2092960263 hasPrimaryLocation W20929602631 @default.
- W2092960263 hasRelatedWork W1488300076 @default.
- W2092960263 hasRelatedWork W1497649068 @default.
- W2092960263 hasRelatedWork W1502591369 @default.
- W2092960263 hasRelatedWork W1575110518 @default.
- W2092960263 hasRelatedWork W1581364883 @default.
- W2092960263 hasRelatedWork W1791795960 @default.
- W2092960263 hasRelatedWork W1804336763 @default.
- W2092960263 hasRelatedWork W1915454031 @default.
- W2092960263 hasRelatedWork W1974174939 @default.
- W2092960263 hasRelatedWork W1976639815 @default.
- W2092960263 hasRelatedWork W2003879797 @default.
- W2092960263 hasRelatedWork W2013153283 @default.
- W2092960263 hasRelatedWork W2087561262 @default.
- W2092960263 hasRelatedWork W2100078804 @default.
- W2092960263 hasRelatedWork W2490333804 @default.
- W2092960263 hasRelatedWork W2510221240 @default.
- W2092960263 hasRelatedWork W2998080820 @default.
- W2092960263 hasRelatedWork W316482821 @default.
- W2092960263 hasRelatedWork W64378593 @default.
- W2092960263 hasRelatedWork W879526 @default.
- W2092960263 isParatext "false" @default.
- W2092960263 isRetracted "false" @default.
- W2092960263 magId "2092960263" @default.
- W2092960263 workType "article" @default.