Matches in SemOpenAlex for { <https://semopenalex.org/work/W1897081024> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1897081024 abstract "There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arguments. A common assumption for logic-based argumentation is that an argument is a pair ****** ,*** *** where *** is a minimal subset of the knowledgebase such that *** is consistent and *** entails the claim *** . Different logics provide different definitions for consistency and entailment and hence give us different options for argumentation. An appealing option is classical first-order logic which can express much more complex knowledge than possible with defeasible or classical propositional logics. However the computational viability of using classical first-order logic is an issue. Here we address this issue by using the notion of a connection graph and resolution with unification. We provide a theoretical framework and algorithm for this, together with some theoretical results." @default.
- W1897081024 created "2016-06-24" @default.
- W1897081024 creator A5019854432 @default.
- W1897081024 creator A5082898464 @default.
- W1897081024 date "2009-01-01" @default.
- W1897081024 modified "2023-09-26" @default.
- W1897081024 title "An Algorithm for Generating Arguments in Classical Predicate Logic" @default.
- W1897081024 cites W1501337828 @default.
- W1897081024 cites W1583628292 @default.
- W1897081024 cites W1825730661 @default.
- W1897081024 cites W1970045008 @default.
- W1897081024 cites W2050211807 @default.
- W1897081024 cites W2069176561 @default.
- W1897081024 cites W2084827335 @default.
- W1897081024 cites W2100738443 @default.
- W1897081024 cites W2107316243 @default.
- W1897081024 cites W2159569510 @default.
- W1897081024 cites W4229554797 @default.
- W1897081024 doi "https://doi.org/10.1007/978-3-642-02906-6_12" @default.
- W1897081024 hasPublicationYear "2009" @default.
- W1897081024 type Work @default.
- W1897081024 sameAs 1897081024 @default.
- W1897081024 citedByCount "3" @default.
- W1897081024 countsByYear W18970810242016 @default.
- W1897081024 crossrefType "book-chapter" @default.
- W1897081024 hasAuthorship W1897081024A5019854432 @default.
- W1897081024 hasAuthorship W1897081024A5082898464 @default.
- W1897081024 hasConcept C100481476 @default.
- W1897081024 hasConcept C102993220 @default.
- W1897081024 hasConcept C111472728 @default.
- W1897081024 hasConcept C11413529 @default.
- W1897081024 hasConcept C128828806 @default.
- W1897081024 hasConcept C138268822 @default.
- W1897081024 hasConcept C138885662 @default.
- W1897081024 hasConcept C154945302 @default.
- W1897081024 hasConcept C178421362 @default.
- W1897081024 hasConcept C185592680 @default.
- W1897081024 hasConcept C193856179 @default.
- W1897081024 hasConcept C19689857 @default.
- W1897081024 hasConcept C199360897 @default.
- W1897081024 hasConcept C32241873 @default.
- W1897081024 hasConcept C41008148 @default.
- W1897081024 hasConcept C49937458 @default.
- W1897081024 hasConcept C55493867 @default.
- W1897081024 hasConcept C65059942 @default.
- W1897081024 hasConcept C69562738 @default.
- W1897081024 hasConcept C80444323 @default.
- W1897081024 hasConcept C96146094 @default.
- W1897081024 hasConcept C98184364 @default.
- W1897081024 hasConceptScore W1897081024C100481476 @default.
- W1897081024 hasConceptScore W1897081024C102993220 @default.
- W1897081024 hasConceptScore W1897081024C111472728 @default.
- W1897081024 hasConceptScore W1897081024C11413529 @default.
- W1897081024 hasConceptScore W1897081024C128828806 @default.
- W1897081024 hasConceptScore W1897081024C138268822 @default.
- W1897081024 hasConceptScore W1897081024C138885662 @default.
- W1897081024 hasConceptScore W1897081024C154945302 @default.
- W1897081024 hasConceptScore W1897081024C178421362 @default.
- W1897081024 hasConceptScore W1897081024C185592680 @default.
- W1897081024 hasConceptScore W1897081024C193856179 @default.
- W1897081024 hasConceptScore W1897081024C19689857 @default.
- W1897081024 hasConceptScore W1897081024C199360897 @default.
- W1897081024 hasConceptScore W1897081024C32241873 @default.
- W1897081024 hasConceptScore W1897081024C41008148 @default.
- W1897081024 hasConceptScore W1897081024C49937458 @default.
- W1897081024 hasConceptScore W1897081024C55493867 @default.
- W1897081024 hasConceptScore W1897081024C65059942 @default.
- W1897081024 hasConceptScore W1897081024C69562738 @default.
- W1897081024 hasConceptScore W1897081024C80444323 @default.
- W1897081024 hasConceptScore W1897081024C96146094 @default.
- W1897081024 hasConceptScore W1897081024C98184364 @default.
- W1897081024 hasLocation W18970810241 @default.
- W1897081024 hasOpenAccess W1897081024 @default.
- W1897081024 hasPrimaryLocation W18970810241 @default.
- W1897081024 hasRelatedWork W120928606 @default.
- W1897081024 hasRelatedWork W1482158979 @default.
- W1897081024 hasRelatedWork W1501337828 @default.
- W1897081024 hasRelatedWork W1560092834 @default.
- W1897081024 hasRelatedWork W1984290203 @default.
- W1897081024 hasRelatedWork W2031749383 @default.
- W1897081024 hasRelatedWork W2046048646 @default.
- W1897081024 hasRelatedWork W2097550092 @default.
- W1897081024 hasRelatedWork W2187044871 @default.
- W1897081024 hasRelatedWork W2596127847 @default.
- W1897081024 hasRelatedWork W2611436690 @default.
- W1897081024 hasRelatedWork W2624961809 @default.
- W1897081024 hasRelatedWork W2884150062 @default.
- W1897081024 hasRelatedWork W2949068336 @default.
- W1897081024 hasRelatedWork W2951323059 @default.
- W1897081024 hasRelatedWork W2952468129 @default.
- W1897081024 hasRelatedWork W3081776191 @default.
- W1897081024 hasRelatedWork W3082208784 @default.
- W1897081024 hasRelatedWork W3163489037 @default.
- W1897081024 hasRelatedWork W3201792443 @default.
- W1897081024 isParatext "false" @default.
- W1897081024 isRetracted "false" @default.
- W1897081024 magId "1897081024" @default.
- W1897081024 workType "book-chapter" @default.