{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:16:53Z","timestamp":1725491813991},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540748175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74819-9_68","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T19:01:10Z","timestamp":1189537270000},"page":"551-557","source":"Crossref","is-referenced-by-count":2,"title":["Intelligent Decision Support System for Evaluation of Ship Designers"],"prefix":"10.1007","author":[{"given":"Sylvia","family":"Encheva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharil","family":"Tumin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryna Z.","family":"Solesvik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"68_CR1","unstructured":"Belnap, N.J.: How a computer should think. In: Contemporary Aspects of Philosophy. Proceedings of the Oxford International Symposia, Oxford, GB, pp. 30\u201356 (1975)"},{"key":"68_CR2","first-page":"8","volume-title":"Modern uses of multiple-valued logic","author":"N.J. Belnap","year":"1977","unstructured":"Belnap, N.J.: A useful four. valued logic. In: Dunn, J.M., Epstain, G. (eds.) Modern uses of multiple-valued logic, pp. 8\u201337. D. Reidel Publishing, Dordrecht (1977)"},{"key":"68_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-51495-1","volume-title":"Representations of preference orderings","author":"D.S. Briges","year":"1995","unstructured":"Briges, D.S., Mehta, G.B.: Representations of preference orderings. Springer, Berlin (1995)"},{"key":"68_CR4","volume-title":"Introduction to lattices and order","author":"B.A. Davey","year":"2005","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2005)"},{"key":"68_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1080\/11663081.1993.10510806","volume":"3","author":"J.M. Font","year":"1993","unstructured":"Font, J.M., Moussavi, M.: Note on a six valued extension of three valued logics. Journal of Applied Non-Classical Logics\u00a03, 173\u2013187 (1993)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"68_CR6","unstructured":"Gurfinkel, A., Chechik, M.: Model-Checking Software with Belnap Logic. Technical Report 470. University of Toronto (April 2005)"},{"key":"68_CR7","unstructured":"http:\/\/msdn2.microsoft.com\/en-us\/asp.net\/default.aspx"},{"key":"68_CR8","unstructured":"http:\/\/java.sun.com\/products\/jsp\/"},{"key":"68_CR9","unstructured":"http:\/\/www.python.org\/about\/success\/tribon\/"},{"key":"68_CR10","unstructured":"http:\/\/www-306.ibm.com\/software\/websphere\/"},{"key":"68_CR11","series-title":"Lecture Notes in Economics and Mathematical Systems (LNEMS)","volume-title":"Non Conventional Preference Relations in Decision Making","author":"J. Kacprzyk","year":"1988","unstructured":"Kacprzyk, J., Roubens, M.: Non Conventional Preference Relations in Decision Making. Lecture Notes in Economics and Mathematical Systems (LNEMS), vol.\u00a0301. Springer, Berlin (1988)"},{"key":"68_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1080\/11663081.1993.10510807","volume":"3","author":"Y. Kaluzhny","year":"1993","unstructured":"Kaluzhny, Y., Muravitsky, A.Y.: A knowledge representation based on the Belnap\u2019s four valued logic. Journal of Applied Non-Classical Logics\u00a03, 189\u2013203 (1993)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"68_CR13","unstructured":"Lukasiewicz, J.: On Three-Valued Logic. Ruch Filozoficzny, 5 (1920), English translation in Borkowski, L. (ed.) 1970. Jan Lukasiewicz: Selected Works. Amsterdam: North Holland (1920)"},{"key":"68_CR14","unstructured":"Perny, P., A. Tsoukias, A.: On the continuous extension of a four valued logic for preference modelling. In: Proceedings of the Information Processing and Management of Uncertainty (IPMU) conference, Paris, pp. 302\u2013309 (1998)"},{"key":"68_CR15","doi-asserted-by":"crossref","unstructured":"Priest, G.: An Introduction to Non-Classical Logic. Cambridge (2001)","DOI":"10.1093\/actrade\/9780192893208.001.0001"},{"issue":"3","key":"68_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1011049617655","volume":"15","author":"K.M. Sim","year":"2001","unstructured":"Sim, K.M.: Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations. Artificial Intelligence Review\u00a015(3), 219\u2013240 (2001)","journal-title":"Artificial Intelligence Review"},{"key":"68_CR17","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Knowledge Based reasoning with two kinds of negation.","author":"G. Wagner","year":"1994","unstructured":"Wagner, G.: Vivid Logic: Knowledge Based reasoning with two kinds of negation. In: Wagner, G. (ed.) Vivid Logic. LNCS (LNAI), vol.\u00a0764, Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74819-9_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:47:09Z","timestamp":1684021629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74819-9_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540748175"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74819-9_68","relation":{},"subject":[]}}