Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138810216> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2138810216 abstract "Topoi is a language for constructing arguments. Rules are labelled with a context in which they apply, so that different, or even conflicting, rules can be supplied to represent different points of view. This in turn allows the construction through meta-level programming of differing or conflicting arguments. Although first applied in a legal application, the language can be used in more general situations. The paper first presents a brief overview of the main features of the language. It subsequently introduces the three types of negation-explicit negation, negation by failure, and closed world negation-provided by the language. Finally it describes a useful mechanism for writing rules that allow exceptions." @default.
- W2138810216 created "2016-06-24" @default.
- W2138810216 creator A5001648143 @default.
- W2138810216 creator A5077363929 @default.
- W2138810216 creator A5084238210 @default.
- W2138810216 date "2002-11-27" @default.
- W2138810216 modified "2023-09-25" @default.
- W2138810216 title "Negations and exceptions in Topoi" @default.
- W2138810216 doi "https://doi.org/10.1109/dexa.1998.707464" @default.
- W2138810216 hasPublicationYear "2002" @default.
- W2138810216 type Work @default.
- W2138810216 sameAs 2138810216 @default.
- W2138810216 citedByCount "0" @default.
- W2138810216 crossrefType "proceedings-article" @default.
- W2138810216 hasAuthorship W2138810216A5001648143 @default.
- W2138810216 hasAuthorship W2138810216A5077363929 @default.
- W2138810216 hasAuthorship W2138810216A5084238210 @default.
- W2138810216 hasConcept C124952713 @default.
- W2138810216 hasConcept C127001435 @default.
- W2138810216 hasConcept C138885662 @default.
- W2138810216 hasConcept C142362112 @default.
- W2138810216 hasConcept C151730666 @default.
- W2138810216 hasConcept C154945302 @default.
- W2138810216 hasConcept C156325763 @default.
- W2138810216 hasConcept C182141236 @default.
- W2138810216 hasConcept C184337299 @default.
- W2138810216 hasConcept C194146651 @default.
- W2138810216 hasConcept C199360897 @default.
- W2138810216 hasConcept C204321447 @default.
- W2138810216 hasConcept C2185349 @default.
- W2138810216 hasConcept C2779343474 @default.
- W2138810216 hasConcept C41008148 @default.
- W2138810216 hasConcept C41895202 @default.
- W2138810216 hasConcept C86803240 @default.
- W2138810216 hasConceptScore W2138810216C124952713 @default.
- W2138810216 hasConceptScore W2138810216C127001435 @default.
- W2138810216 hasConceptScore W2138810216C138885662 @default.
- W2138810216 hasConceptScore W2138810216C142362112 @default.
- W2138810216 hasConceptScore W2138810216C151730666 @default.
- W2138810216 hasConceptScore W2138810216C154945302 @default.
- W2138810216 hasConceptScore W2138810216C156325763 @default.
- W2138810216 hasConceptScore W2138810216C182141236 @default.
- W2138810216 hasConceptScore W2138810216C184337299 @default.
- W2138810216 hasConceptScore W2138810216C194146651 @default.
- W2138810216 hasConceptScore W2138810216C199360897 @default.
- W2138810216 hasConceptScore W2138810216C204321447 @default.
- W2138810216 hasConceptScore W2138810216C2185349 @default.
- W2138810216 hasConceptScore W2138810216C2779343474 @default.
- W2138810216 hasConceptScore W2138810216C41008148 @default.
- W2138810216 hasConceptScore W2138810216C41895202 @default.
- W2138810216 hasConceptScore W2138810216C86803240 @default.
- W2138810216 hasLocation W21388102161 @default.
- W2138810216 hasOpenAccess W2138810216 @default.
- W2138810216 hasPrimaryLocation W21388102161 @default.
- W2138810216 hasRelatedWork W135602159 @default.
- W2138810216 hasRelatedWork W1515238411 @default.
- W2138810216 hasRelatedWork W1545687664 @default.
- W2138810216 hasRelatedWork W1575741940 @default.
- W2138810216 hasRelatedWork W1592541189 @default.
- W2138810216 hasRelatedWork W1593506519 @default.
- W2138810216 hasRelatedWork W1655581582 @default.
- W2138810216 hasRelatedWork W1798570235 @default.
- W2138810216 hasRelatedWork W191599309 @default.
- W2138810216 hasRelatedWork W1979017246 @default.
- W2138810216 hasRelatedWork W2029933262 @default.
- W2138810216 hasRelatedWork W2053972130 @default.
- W2138810216 hasRelatedWork W2100547768 @default.
- W2138810216 hasRelatedWork W2391620678 @default.
- W2138810216 hasRelatedWork W2898707198 @default.
- W2138810216 hasRelatedWork W3022119519 @default.
- W2138810216 hasRelatedWork W3160140704 @default.
- W2138810216 hasRelatedWork W4165075 @default.
- W2138810216 hasRelatedWork W99274394 @default.
- W2138810216 hasRelatedWork W1994255673 @default.
- W2138810216 isParatext "false" @default.
- W2138810216 isRetracted "false" @default.
- W2138810216 magId "2138810216" @default.
- W2138810216 workType "article" @default.