{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:39:35Z","timestamp":1743046775009,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":6,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461461692"},{"type":"electronic","value":"9781461461708"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-6170-8_115","type":"book-chapter","created":{"date-parts":[[2014,10,4]],"date-time":"2014-10-04T14:49:36Z","timestamp":1412434176000},"page":"1499-1501","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning"],"prefix":"10.1007","author":[{"given":"Cong","family":"Wang","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,5]]},"reference":[{"key":"115_CR1846","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511711787","volume-title":"The description logic handbook","author":"F Baader","year":"2007","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (2007) The description logic handbook. Cambridge University Press, Cambridge"},{"key":"115_CR1847","first-page":"1","volume":"1126","author":"P Baumgartner","year":"1996","unstructured":"Baumgartner P, Furbach U, Niemel I (1996) Hyper tableaux. JELIA 1126:1\u201317","journal-title":"JELIA"},{"issue":"50","key":"115_CR1848","doi-asserted-by":"crossref","first-page":"19862","DOI":"10.1073\/pnas.1117174108","volume":"108","author":"P Johnson-Laird","year":"2011","unstructured":"Johnson-Laird P (2011) Mental models and human reasoning. PNAS 108(50):19862\u201319864","journal-title":"PNAS"},{"key":"115_CR1849","first-page":"1","volume-title":"Reasoning in description logics using resolution and deductive databases","author":"B Motik","year":"2006","unstructured":"Motik B (2006) Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology, pp 1\u2013249"},{"key":"115_CR1850","first-page":"311","volume":"2835","author":"O Ray","year":"2003","unstructured":"Ray O, Broda K, Russo A (2003) Hybrid abductive inductive learning: a generalisation of progol. ILP 2835:311\u2013328","journal-title":"ILP"},{"key":"115_CR1851","volume-title":"Handbook of automated reasoning (in 2 volumes)","author":"J Robinson","year":"2001","unstructured":"Robinson J, Voronkov A (2001) Handbook of automated reasoning (in 2 volumes). MIT, Boston"}],"container-title":["Encyclopedia of Social Network Analysis and Mining"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-6170-8_115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T22:27:05Z","timestamp":1591050425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4614-6170-8_115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9781461461692","9781461461708"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-6170-8_115","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"5 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}