Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285606492> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4285606492 abstract "We introduce annotated sequent calculi, which are extensions of standard sequent calculi, where sequents are combined with annotations that represent their derivation statuses. Unlike in ordinary calculi, sequents that are derived in annotated calculi may still be retracted in the presence of conflicting sequents, thus inferences are made under stricter conditions. Conflicts in the resulting systems are handled like in adaptive logics and argumentation theory. The outcome is a robust family of proof systems for non-monotonic reasoning with inconsistent information, where revision considerations are fully integrated into the object level of the proofs. These systems are shown to be strongly connected to logical argumentation." @default.
- W4285606492 created "2022-07-16" @default.
- W4285606492 creator A5013290512 @default.
- W4285606492 creator A5047795784 @default.
- W4285606492 creator A5057746643 @default.
- W4285606492 creator A5077723508 @default.
- W4285606492 date "2022-07-01" @default.
- W4285606492 modified "2023-10-06" @default.
- W4285606492 title "Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation" @default.
- W4285606492 doi "https://doi.org/10.24963/ijcai.2022/351" @default.
- W4285606492 hasPublicationYear "2022" @default.
- W4285606492 type Work @default.
- W4285606492 citedByCount "1" @default.
- W4285606492 countsByYear W42856064922023 @default.
- W4285606492 crossrefType "proceedings-article" @default.
- W4285606492 hasAuthorship W4285606492A5013290512 @default.
- W4285606492 hasAuthorship W4285606492A5047795784 @default.
- W4285606492 hasAuthorship W4285606492A5057746643 @default.
- W4285606492 hasAuthorship W4285606492A5077723508 @default.
- W4285606492 hasBestOaLocation W42856064921 @default.
- W4285606492 hasConcept C108710211 @default.
- W4285606492 hasConcept C111472728 @default.
- W4285606492 hasConcept C11413529 @default.
- W4285606492 hasConcept C134306372 @default.
- W4285606492 hasConcept C134752490 @default.
- W4285606492 hasConcept C136119220 @default.
- W4285606492 hasConcept C138885662 @default.
- W4285606492 hasConcept C154945302 @default.
- W4285606492 hasConcept C199343813 @default.
- W4285606492 hasConcept C199360897 @default.
- W4285606492 hasConcept C202444582 @default.
- W4285606492 hasConcept C2524010 @default.
- W4285606492 hasConcept C2777686260 @default.
- W4285606492 hasConcept C33923547 @default.
- W4285606492 hasConcept C41008148 @default.
- W4285606492 hasConcept C62073222 @default.
- W4285606492 hasConcept C65059942 @default.
- W4285606492 hasConcept C65880906 @default.
- W4285606492 hasConcept C71924100 @default.
- W4285606492 hasConcept C72169020 @default.
- W4285606492 hasConcept C80444323 @default.
- W4285606492 hasConcept C89421646 @default.
- W4285606492 hasConceptScore W4285606492C108710211 @default.
- W4285606492 hasConceptScore W4285606492C111472728 @default.
- W4285606492 hasConceptScore W4285606492C11413529 @default.
- W4285606492 hasConceptScore W4285606492C134306372 @default.
- W4285606492 hasConceptScore W4285606492C134752490 @default.
- W4285606492 hasConceptScore W4285606492C136119220 @default.
- W4285606492 hasConceptScore W4285606492C138885662 @default.
- W4285606492 hasConceptScore W4285606492C154945302 @default.
- W4285606492 hasConceptScore W4285606492C199343813 @default.
- W4285606492 hasConceptScore W4285606492C199360897 @default.
- W4285606492 hasConceptScore W4285606492C202444582 @default.
- W4285606492 hasConceptScore W4285606492C2524010 @default.
- W4285606492 hasConceptScore W4285606492C2777686260 @default.
- W4285606492 hasConceptScore W4285606492C33923547 @default.
- W4285606492 hasConceptScore W4285606492C41008148 @default.
- W4285606492 hasConceptScore W4285606492C62073222 @default.
- W4285606492 hasConceptScore W4285606492C65059942 @default.
- W4285606492 hasConceptScore W4285606492C65880906 @default.
- W4285606492 hasConceptScore W4285606492C71924100 @default.
- W4285606492 hasConceptScore W4285606492C72169020 @default.
- W4285606492 hasConceptScore W4285606492C80444323 @default.
- W4285606492 hasConceptScore W4285606492C89421646 @default.
- W4285606492 hasLocation W42856064921 @default.
- W4285606492 hasOpenAccess W4285606492 @default.
- W4285606492 hasPrimaryLocation W42856064921 @default.
- W4285606492 hasRelatedWork W1488351281 @default.
- W4285606492 hasRelatedWork W1562648369 @default.
- W4285606492 hasRelatedWork W2014810198 @default.
- W4285606492 hasRelatedWork W2023557900 @default.
- W4285606492 hasRelatedWork W2096191306 @default.
- W4285606492 hasRelatedWork W2280276996 @default.
- W4285606492 hasRelatedWork W2891688494 @default.
- W4285606492 hasRelatedWork W4251049234 @default.
- W4285606492 hasRelatedWork W4253113110 @default.
- W4285606492 hasRelatedWork W2584381231 @default.
- W4285606492 isParatext "false" @default.
- W4285606492 isRetracted "false" @default.
- W4285606492 workType "article" @default.