{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T15:39:30Z","timestamp":1648654770011},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,9,2]],"date-time":"2005-09-02T00:00:00Z","timestamp":1125619200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s10992-005-9002-y","type":"journal-article","created":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T12:03:48Z","timestamp":1125576228000},"page":"65-81","source":"Crossref","is-referenced-by-count":0,"title":["Context-dependent Abduction and Relevance"],"prefix":"10.1007","volume":"35","author":[{"given":"Dov","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Nossum","sequence":"additional","affiliation":[]},{"given":"John","family":"Woods","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,2]]},"reference":[{"issue":"1","key":"9002_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(94)90039-6","volume":"65","author":"J. Aisbett","year":"1994","unstructured":"Aisbett, J. and Gibbon, G. (1994): A tunable distance measure for coloured solid models, Artif. Intell. 65(1), 143\u2013164.","journal-title":"Artif. Intell."},{"key":"9002_CR2","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/3-540-48315-2_3","volume-title":"Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, CONTEXT'99","author":"J. A. Barnden","year":"1999","unstructured":"Barnden, J. A. and Lee, M. A. (1999): An implemented context system that combines belief reasoning, metaphor-base reasoning and uncertainty handling, in P. Bouquet, L. Serafini, P. Br\u00e9zillon, M. Benerecetti, and F. Castellani (eds.), Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, CONTEXT'99, Springer, Berlin Heidelberg New York, pp. 28\u201341."},{"key":"9002_CR3","unstructured":"Benerecetti, M., Bouquet, P. and Ghidini, C. (1997): A multi context approach to belief report, in S. Buva\u010d and L. Iwanska (eds.), AAAI Fall 1997 Symposium on Context in KR and NL. AAAI."},{"key":"9002_CR4","unstructured":"Besnard, P. and Schwab, T. (1993): A context-based framework for default logics, in R. Fikes and W. Lehnert (eds.), Proceedings of the Eleventh National Conference on Artificial Intelligence, American Association for Artificial Intelligence: AAAI Press, Menlo Park, California, pp. 406\u2013411."},{"key":"9002_CR5","unstructured":"Buva\u010d, S. (1996): Resolving lexical ambiguity using a formal theory of context, in K. van Deemter and S. Peters (eds.), Semantic Ambiguity and Underspecification, CSLI Lecture Notes."},{"key":"9002_CR6","volume-title":"Advanced Planning Technology: Technological Achievements of the ARPA\/Rome Laboratory Planning Initiative","author":"S. Buva\u010d","year":"1996","unstructured":"Buva\u010d, S. and McCarthy, J. (1996): Combining planning contexts, in A. Tate (ed.), Advanced Planning Technology: Technological Achievements of the ARPA\/Rome Laboratory Planning Initiative, AAA Press, Menlo Park, California."},{"key":"9002_CR7","volume-title":"Modeling and Using Context","author":"B. Edmonds","year":"2001","unstructured":"Edmonds, B. (2001): Learning appropriate contexts, in A., Varol, P. Bouquet, R. Thomason and R. A. Young (eds.), Modeling and Using Context, Springer, Berlin Heidelberg New York, pp. 143\u2013155."},{"key":"9002_CR8","doi-asserted-by":"crossref","unstructured":"Gabbay, D. and Olivetti, N. (2001): Goal Directed Proof Theory, Kluwer.","DOI":"10.1007\/978-94-017-1713-7"},{"key":"9002_CR9","unstructured":"Gabbay, D. and Woods, J. (2005): The Reach of Abduction: Insight and Trial, volume 2 of A Practical Logic of Cognitive Systems, Elsevier; ISBN 0 444 51791 X, 496 pp."},{"key":"9002_CR10","unstructured":"Gabbay, D. and Woods, J. (2003) : Agenda Relevance: A study in Formal Paragmatics, volume 1 of A Practical Logic of Cognitive Systems, Elsevier\/North-Holland; ISBN 0 444 51385 X."},{"key":"9002_CR11","unstructured":"Ghidini, C. : A semantics for contexual reasoning: Theory and two relevant applications, Phd dissertation, Dipartamento di Informatica e Studi Aziendali, Univesita degli Studi di Roma \u201cLa Sapienza\u201d, Roma."},{"issue":"2","key":"9002_CR12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C. and Giunchiglia, F. (2001): Local models semantics, or contexual reasoning = locality + compatibility, Artif. Intell. 127(2) (2001) pp. 221\u2013259.","journal-title":"Artif. Intell."},{"key":"9002_CR13","unstructured":"Nossum, R. (2003): A contexual approach to the logic of fiction, in P. Blackburn, C. Ghidini, R. Turner and F. Giunchiglia (eds.), Modeling and Using Context, number 2680 in LNAI, Springer, pp. 233\u2013244."},{"key":"9002_CR14","unstructured":"Nossum, R. and Serafini, L. (2002): Multicontext logic of fiction, in J. Calmet, B. Benhamou, O. Caprotti, L. Henoque and V. Sorge (eds.), Artificial Intelligence, Automated Reasoning and Symbolic Computation, volume 2385 of LNAI, Springer."},{"key":"9002_CR15","unstructured":"Reed, S. and Lenat, D. (2002): Mapping ontologies into Cyc. Technical Report Online, Cycorp Inc., http:\/\/www.cyc.com\/doc\/white_papers\/mapping-ontologies-into-%cyc_v31.pdf ."},{"key":"9002_CR16","unstructured":"Serafini, L. and Giunchiglia, F. (2001): ML system: A proof theory for contexts, J. Logic Lang. Inf. July."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9002-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-005-9002-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-005-9002-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T07:59:20Z","timestamp":1586419160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-005-9002-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,2]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["9002"],"URL":"https:\/\/doi.org\/10.1007\/s10992-005-9002-y","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,9,2]]}}}