{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:45Z","timestamp":1725487665648},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_3","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"41-60","source":"Crossref","is-referenced-by-count":0,"title":["Pragmatics in the Synthesis of Logic Programs"],"prefix":"10.1007","author":[{"given":"David","family":"Robertson","sequence":"first","affiliation":[]},{"given":"Jaume","family":"Agust\u00ed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1006\/ijhc.1994.1062","volume":"41","author":"A. W. Bowles","year":"1994","unstructured":"A. W. Bowles, D. Robertson, W. W. Vasconcelos, M. Vargas-Vera, and D. Bental. Applying Prolog Programming Techniques. International Journal of Human-Computer Studies, 41(3):329\u2013350, September 1994. Also as Research Paper 641, Dept of Artificial Intelligence, University of Edinburgh.","journal-title":"International Journal of Human-Computer Studies"},{"key":"3_CR2","unstructured":"V. Brilhante. Inform-logic: A system for representing uncertainty in ecological models. Technical report, Department of Artificial Intelligence, University of Edinburgh, 1996. MSc Thesis."},{"key":"3_CR3","unstructured":"T.S. Gegg-Harrison. Basic Prolog schemata. Technical Report CS-1989-20, Department of Computer Science, Duke University, September 1989."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"J. Goguen. Principles of parameterised programming. In A. Biggerstaff and A. Perlis, editors, Software Reusability Volume 1: Concepts and Models, pages 159\u2013225. Addison Wesley, 1989.","DOI":"10.1145\/73103.73110"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1008669014807","volume":"5","author":"J. Hesketh","year":"1998","unstructured":"J. Hesketh, D. Robertson, N. Fuchs, and A. Bundy. Lightweight formalisation in support of requirements engineering. Journal of Automated Software Engineering, 5(2):183\u2013210, 1998.","journal-title":"Journal of Automated Software Engineering"},{"key":"3_CR6","unstructured":"M. Kirschenbaum, A. Lakhotia, and L.S. Sterling. Skeletons and techniques for Prolog programming. Tr 89-170, Case Western Reserve University, 1989."},{"key":"3_CR7","unstructured":"D. Robertson. Distributed specification. In Proceedings of the 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 1996."},{"key":"3_CR8","unstructured":"D. Robertson. An empirical study of the LSS specification toolkit in use. In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, Nevada, USA. Knowledge Systems Institute,Illinois, 1996. ISBN 0-9641699-3-2."},{"key":"3_CR9","unstructured":"D. Robertson, A. Bundy, R. Muetzelfeldt, M. Haggith, and M Uschold. Eco-Logic: Logic-Based Approaches to Ecological Modelling. MIT Press (Logic Programming Series), 1991. ISBN 0-262-18143-6."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0743-1066(92)90042-2","volume":"12","author":"D.T. Sannella","year":"1992","unstructured":"D.T. Sannella and L.A. Wallen. A calculus for the construction of modular Prolog programs. Journal of Logic Programming, 12:147\u2013177, 1992.","journal-title":"Journal of Logic Programming"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/ijhc.1996.0010","volume":"44","author":"F. Harmelen van","year":"1996","unstructured":"F. van Harmelen and M. Aben. Structure-preserving specification languages for knowledge-based systems. International Journal of Human-Computer Studies, 44:187\u2013212, 1996.","journal-title":"International Journal of Human-Computer Studies"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"F. van Harmelen and J.R. Balder. (ML)2: A formal language for kads models of expertise. Knowledge Acquisition, 4(1), 1992.","DOI":"10.1016\/1042-8143(92)90017-U"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","volume":"4","author":"B. J. Wielinga","year":"1992","unstructured":"B. J. Wielinga, A. Th. Schreiber, and J. A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquistion Journal, 4(1):5\u201353, 1992. Special issue \u2018The KADS approach to knowledge engineering\u2019. Reprinted in: Buchanan, B. and Wilkins, D. editors (1992), Readings in Knowledge Acquisition and Learning, San Mateo, California, Morgan Kaufmann, pp. 92-116.","journal-title":"Knowledge Acquistion Journal"},{"key":"3_CR14","volume-title":"Technical Report TR 90-110","author":"L.U. Yalcinalp","year":"1990","unstructured":"L.U. Yalcinalp and L.S. Sterling. Uncertainty reasoning in Prolog with layered meta-interpreters. Technical Report TR 90-110, Center for Automation and Intelligent Systems Research, Case Western Reserve University, Ohio,USA, 1990."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T05:00:04Z","timestamp":1587790804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}