{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:35:14Z","timestamp":1725467714689},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650829"},{"type":"electronic","value":"9783540496557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055988","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:28:08Z","timestamp":1154248088000},"page":"15-28","source":"Crossref","is-referenced-by-count":0,"title":["Query answering by means of diagram transformation"],"prefix":"10.1007","author":[{"given":"Jaume","family":"Agust\u00ed","sequence":"first","affiliation":[]},{"given":"Jordi","family":"Puigsegur","sequence":"additional","affiliation":[]},{"given":"W. Marco","family":"Schorlemmer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,31]]},"reference":[{"key":"2_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 Computation, 1998. To be published.","DOI":"10.1006\/jvlc.1998.0090"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"G. Allwein and J. Barwise, editors. Logical Reasoning with Diagrams. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780195104271.001.0001"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"L. Bachmair and H. Ganzinger. Rewrite techniques for transitive relations. In 9th Annual IEEE Symposium on Logic in Computer Science, pages 384\u2013393, 1994.","DOI":"10.1109\/LICS.1994.316051"},{"key":"2_CR4","unstructured":"J. Barwise and J. Etchemendy. Hyperproof. CSLI Publications, 1993."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"J. Barwise and E. Hammer. Diagrams and the concept of logical system. In Logical Reasoning with Diagrams, chapter III, pages 49\u201378. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780195104271.003.0007"},{"key":"2_CR6","unstructured":"M. Borman, J. A. Bubenko, P. Johannensson, and B. Wangler. Conceptual Modelling. Prentice Hall, 1997."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"W. Citrin, R. Hall, and B. Zorn. Programming with visual expressions. In Proc. of the 11th IEEE Symposium on Visual Languages. IEEE Computer Press, 1995.","DOI":"10.1109\/VL.1995.520822"},{"key":"2_CR8","unstructured":"Y. Deville. Logic Programming. Addison Wesley, 1990."},{"key":"2_CR9","unstructured":"E. M. Hammer. Logic and Visual Information. CSLI Publications & FoLLI, 1995."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"H. J. Klein and D. Kr\u00e4mer. NQS \u2014 a graphical query system for data models with binary relationship types. In S. Spaccapietra and R. Jain, editors, Proc. of the 3rd IFIP 2.6 Working Conference on Visual Database, 1995.","DOI":"10.1007\/978-0-387-34905-3_25"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"J. Levy and J. Agust\u00ed. Bi-rewriting, a term rewriting technique for monotonic order relations. In C. Kirchner, editor, Rewriting Techniques and Applications, LNCS 690, pages 17\u201331. Springer, 1993.","DOI":"10.1007\/3-540-56868-9_3"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jsco.1996.0053","volume":"22","author":"J. Levy","year":"1996","unstructured":"J. Levy and J. Agust\u00ed. Bi-rewrite systems. Journal of Symbolic Computation, 22:1\u201336, 1996.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90063-4","volume":"56","author":"D. A. McAllester","year":"1992","unstructured":"D. A. McAllester and R. Givan. Natural language syntax and first-order inference. Artificial Intelligence, 56:1\u201320, 1992.","journal-title":"Artificial Intelligence"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1006\/jvlc.1996.0012","volume":"7","author":"M. A. Najork","year":"1996","unstructured":"M. A. Najork. Programming in three dimensions. Journal of Visual Languages and Computation, 7:219\u2013242, 1996.","journal-title":"Journal of Visual Languages and Computation"},{"key":"2_CR15","unstructured":"J. Puigsegur and J. Agust\u00ed. Towards visual declarative programming. Research report, Institut d'Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial (CSIC), 1998."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"J. Puigsegur, J. Agust\u00ed, and J. A. Pastor. Towards visual schemas in deductive databases. Research report, Dep. LSI, Universitat Polit\u00e8cnica de Catalunya, 1998.","DOI":"10.1007\/BFb0054543"},{"key":"2_CR17","unstructured":"J. Puigsegur, J. Agust\u00ed, and D. Robertson. A visual logic programming language. In 12th Annual IEEE Symposium on Visual Languages. IEEE Computer Society Press, 1996."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"J. Puigsegur, W. M. Schorlemmer, and J. Agust\u00ed. From queries to answers in visual logic programming. In 13th Annual IEEE Symposium on Visual Languages. IEEE Computer Society Press, 1997.","DOI":"10.1109\/VL.1997.626564"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"D. D. Roberts. The Existential Graphs of Charles S. Peirce. Mouton and Co., 1973.","DOI":"10.1515\/9783110226225"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"A. Shimojima. Operational constraints in diagrammatic reasoning. In Logical Reasoning with Diagrams, chapter II, pages 27\u201348. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780195104271.003.0006"},{"key":"2_CR21","unstructured":"J. F. Sowa. Conceptual graphs. Information Processing in Mind and Machine, 1984."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"J. F. Sowa. Relating diagrams to logic. In G. W. Mineau, B. Moulin, and J. F. Sowa, editors, Conceptual Graphs for Knowledge Representation, Proc. of the First Int. Conf. on Conceptual Structures, ICCS'93, LNAI 699. Springer, 1993.","DOI":"10.1007\/3-540-56979-0_1"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"L. Spratt and A. Ambler. A visual logic programming language based on sets and partitioning constraints. In Proc. of the 9th IEEE Symposium on Visual Languages. IEEE Computer Press, 1993.","DOI":"10.1109\/VL.1993.269597"}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T21:13:07Z","timestamp":1627679587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650829","9783540496557"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0055988","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}