{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:45:44Z","timestamp":1725468344259},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649502"},{"type":"electronic","value":"9783540680604"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054543","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T12:14:28Z","timestamp":1154434468000},"page":"881-891","source":"Crossref","is-referenced-by-count":2,"title":["Towards visual schemas in deductive databases"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Puigsegur","sequence":"first","affiliation":[]},{"given":"Jaume","family":"Agust\u00ed","sequence":"additional","affiliation":[]},{"given":"Joan A.","family":"Pastor","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"81_CR1","doi-asserted-by":"crossref","unstructured":"J. Agust\u00ed, J. Puigsegur, and D. Robertson. A Visual Syntax for Logic and Logic Programming. Journal of Visual Languages and Computing, 1998. To appear.","DOI":"10.1006\/jvlc.1998.0090"},{"volume-title":"Logical Reasoning with Diagrams","year":"1996","key":"81_CR2","unstructured":"G. Alwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, New York, 1996."},{"key":"81_CR3","unstructured":"M. Borman, J. A. Bubenko, P. Johannensson, and B. Wangler. Conceptual Modelling. Prentice Hall, 1997."},{"key":"81_CR4","unstructured":"J. A. Bubenko. Extending the scope of information modelling. In Proc. Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases, pages 73\u201398, Lloret, Catalonia, 1993."},{"key":"81_CR5","doi-asserted-by":"crossref","unstructured":"T. Catarci and G. Santucci. Diagrammatic vs Textual Query Languages: A Comparative Experiment. In Stefano Spaccapietra and Ramesh Jain, editors, Proc. of the 3rd IFIP 2.6 Working Conference on Visual Database Systems, 1995.","DOI":"10.1007\/978-0-387-34905-3_5"},{"issue":"2","key":"81_CR6","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, and J.M. Nicolas. Logic and databases: A deductive approach. ACM Computing Surveys, 16(2):153\u2013185, 1984.","journal-title":"ACM Computing Surveys"},{"key":"81_CR7","unstructured":"IBM Business Systems Development Method Technical Description. Technical Report Tech. Reps. GE19-5387, SC19-53(09,10,12,13), International Business Machines Corporation, 1992."},{"key":"81_CR8","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations on Logic Programming, 2nd. ed. Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"81_CR9","unstructured":"J. Puigsegur and J. Agusti. Visual Logic Programming by means of Diagram Transformations. In Proc. of APPIA-GULP-PRODE Joint Conference in Declarative Programming, La Coruna, Spain, July 1998."},{"key":"81_CR10","doi-asserted-by":"crossref","unstructured":"J. Puigsegur, J. Agusti, and D. Robertson. A Visual Logic Programming Language. In Proc. of the 12th IEEE Symposium on Visual Languages, Boulder, Colorado, September 1996.","DOI":"10.1109\/VL.1996.545290"},{"key":"81_CR11","doi-asserted-by":"crossref","unstructured":"J. Puigsegur, J. A. Pastor, and J. Agusti. Defining and Translating Visual Schemas for Deductive Databases. Research Report LSI-98-31-R, Department of LSI, Technical University of Catalonia, 1998.","DOI":"10.1007\/BFb0054543"},{"key":"81_CR12","doi-asserted-by":"crossref","unstructured":"J. Puigsegur, W. M. Schorlemmer, and J. Agust\u00ed. From Queries to Answers in Visual Logic Programming. In Proc. of the 13th IEEE Symposium on Visual Languages, Capri, Italy, September 1997.","DOI":"10.1109\/VL.1997.626564"},{"key":"81_CR13","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of Charles S. Peirce","author":"D. D. Roberts","year":"1973","unstructured":"D. D. Roberts. The Existential Graphs of Charles S. Peirce. Mouton and co., The Hague, 1973."},{"key":"81_CR14","unstructured":"J. F. Sowa. Conceptual Structures. Information Processing in Mind and Machine.Addison Wesley, 1984."},{"key":"81_CR15","unstructured":"R.J. Wieringa. Requirements Engineering: Frameworks for Understanding. Willey Publ., 1995."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T22:42:49Z","timestamp":1627684969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649502","9783540680604"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0054543","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}