Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912407375> ?p ?o ?g. }
- W2912407375 endingPage "341" @default.
- W2912407375 startingPage "311" @default.
- W2912407375 abstract "In this article, I review Peirce’s abduction in the context of Artificial Intelligence. First, I connect abduction from first-order theories with nonmonotonic reasoning. In particular, I consider relationships between abduction, default logic, and circumscription. Then, based on a first-order characterization of abduction, I show a design of abductive procedures that utilize automated deduction. With abductive procedures, proof procedures for nonmonotonic reasoning are also obtained from the relationship between abduction and nonmonotonic reasoning." @default.
- W2912407375 created "2019-02-21" @default.
- W2912407375 creator A5080458729 @default.
- W2912407375 date "2002-01-01" @default.
- W2912407375 modified "2023-10-14" @default.
- W2912407375 title "Automated Abduction" @default.
- W2912407375 cites W129937576 @default.
- W2912407375 cites W148709074 @default.
- W2912407375 cites W1506139968 @default.
- W2912407375 cites W1520443109 @default.
- W2912407375 cites W1524811847 @default.
- W2912407375 cites W1533343564 @default.
- W2912407375 cites W1578187557 @default.
- W2912407375 cites W1582467700 @default.
- W2912407375 cites W1591988937 @default.
- W2912407375 cites W1605092986 @default.
- W2912407375 cites W1762401663 @default.
- W2912407375 cites W1801368039 @default.
- W2912407375 cites W1847824436 @default.
- W2912407375 cites W1965184317 @default.
- W2912407375 cites W1966552757 @default.
- W2912407375 cites W1967802770 @default.
- W2912407375 cites W1973279396 @default.
- W2912407375 cites W1979017246 @default.
- W2912407375 cites W1986725279 @default.
- W2912407375 cites W1987005090 @default.
- W2912407375 cites W1998363560 @default.
- W2912407375 cites W1998664051 @default.
- W2912407375 cites W1999410326 @default.
- W2912407375 cites W2000042161 @default.
- W2912407375 cites W2001505756 @default.
- W2912407375 cites W2004352874 @default.
- W2912407375 cites W2008294142 @default.
- W2912407375 cites W2020153579 @default.
- W2912407375 cites W2022472812 @default.
- W2912407375 cites W2022482529 @default.
- W2912407375 cites W2025252200 @default.
- W2912407375 cites W2035824165 @default.
- W2912407375 cites W2036827403 @default.
- W2912407375 cites W2037481186 @default.
- W2912407375 cites W2039020269 @default.
- W2912407375 cites W2039303449 @default.
- W2912407375 cites W2047658201 @default.
- W2912407375 cites W2047961808 @default.
- W2912407375 cites W2067679576 @default.
- W2912407375 cites W2071787143 @default.
- W2912407375 cites W2072094307 @default.
- W2912407375 cites W2074890228 @default.
- W2912407375 cites W2075057025 @default.
- W2912407375 cites W2076698873 @default.
- W2912407375 cites W2077857542 @default.
- W2912407375 cites W2081450921 @default.
- W2912407375 cites W2090513404 @default.
- W2912407375 cites W2092135799 @default.
- W2912407375 cites W2092911568 @default.
- W2912407375 cites W2100657934 @default.
- W2912407375 cites W2100738443 @default.
- W2912407375 cites W2113039895 @default.
- W2912407375 cites W2119831128 @default.
- W2912407375 cites W2147096558 @default.
- W2912407375 cites W2155322595 @default.
- W2912407375 cites W2169042011 @default.
- W2912407375 cites W2478547901 @default.
- W2912407375 cites W2557892554 @default.
- W2912407375 cites W2772521659 @default.
- W2912407375 cites W2914176469 @default.
- W2912407375 cites W2945259913 @default.
- W2912407375 cites W4229861117 @default.
- W2912407375 cites W4231416091 @default.
- W2912407375 cites W4243411170 @default.
- W2912407375 cites W4253133923 @default.
- W2912407375 cites W97081472 @default.
- W2912407375 doi "https://doi.org/10.1007/3-540-45632-5_13" @default.
- W2912407375 hasPublicationYear "2002" @default.
- W2912407375 type Work @default.
- W2912407375 sameAs 2912407375 @default.
- W2912407375 citedByCount "9" @default.
- W2912407375 countsByYear W29124073752016 @default.
- W2912407375 crossrefType "book-chapter" @default.
- W2912407375 hasAuthorship W2912407375A5080458729 @default.
- W2912407375 hasConcept C102993220 @default.
- W2912407375 hasConcept C151730666 @default.
- W2912407375 hasConcept C154945302 @default.
- W2912407375 hasConcept C159032336 @default.
- W2912407375 hasConcept C160236029 @default.
- W2912407375 hasConcept C166088908 @default.
- W2912407375 hasConcept C195344581 @default.
- W2912407375 hasConcept C203659156 @default.
- W2912407375 hasConcept C2779343474 @default.
- W2912407375 hasConcept C3845977 @default.
- W2912407375 hasConcept C41008148 @default.
- W2912407375 hasConcept C62360110 @default.
- W2912407375 hasConcept C86803240 @default.
- W2912407375 hasConcept C97364631 @default.
- W2912407375 hasConceptScore W2912407375C102993220 @default.
- W2912407375 hasConceptScore W2912407375C151730666 @default.
- W2912407375 hasConceptScore W2912407375C154945302 @default.
- W2912407375 hasConceptScore W2912407375C159032336 @default.