{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:08Z","timestamp":1747548608505,"version":"3.40.5"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1023\/a:1018943319381","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"3-25","source":"Crossref","is-referenced-by-count":4,"title":["Applying restriction constraints to deductive databases"],"prefix":"10.1007","volume":"19","author":[{"given":"D.","family":"Aquilino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Asirelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Renso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Turini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325410_CR1","unstructured":"S. Adali and V.S. Subrahmanian, Intelligent caching in hybrid knowledge bases, in: Proc. of the Second International Conference on Building and Sharing of Very Large-Scale Knowledge Bases, ed. N. Mars (IOS Press, May 1995) pp. 247\u2013256."},{"key":"325410_CR2","unstructured":"V. Ambriola and C. Montangero, Oikos: Constructing process-centered SDEs, Software Process Modelling and Technology, in: Research Study Press, eds. A. Finkelstein, J. Kramer and B. Nuseibeh (J. Wiley and Sons, 1994)."},{"key":"325410_CR3","doi-asserted-by":"crossref","unstructured":"K. Apt and Bol, Logic programming and negation: A survey, Journal of Logic Programming (1994).","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"325410_CR4","unstructured":"D. Apuzzo, D. Aquilino and P. Asirelli, A declarative approach to the design and realization of graphic interfaces, Technical Report B4-39, October 1994, IEI-CNR Internal Report (1994) (submitted for publication)."},{"key":"325410_CR5","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1006\/jvlc.1994.1021","volume":"5","author":"P. Asirelli","year":"1994","unstructured":"P. Asirelli, D. Di Grande, P. Inverardi and F. Nicodemi, Graphics by a logic database management system, Journal of the Visual Languages and Computing 5 (1994) 365\u2013388.","journal-title":"Journal of the Visual Languages and Computing"},{"key":"325410_CR6","unstructured":"P. Asirelli, C. Renso and F. Turini, Language extensions for semantic integration of deductive databases, in: International Workshop on Logic in Databases, LNCS (Springer-Verlag, to appear)."},{"key":"325410_CR7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0743-1066(85)90020-2","volume":"3","author":"P. Asirelli","year":"1985","unstructured":"P. Asirelli, M. De Santis and M. Martelli, Integrity constraints in logic databases, Journal of Logic Programming 3 (1985) 221, 232.","journal-title":"Journal of Logic Programming"},{"key":"325410_CR8","unstructured":"A. Brogi, Program construction in computational logic, Ph.D. Thesis, University of Pisa (March 1993)."},{"key":"325410_CR9","series-title":"LNCS","volume-title":"Proceeding of the Sixth Int'l Symp. on Programming Language Implementation and Logic Programming","author":"A. Brogi","year":"1994","unstructured":"A. Brogi, A. Chiarelli, V. Mazzotta, P. Mancarella, D. Pedreschi, C. Renso and F. Turini, Implementations of program composition operations, in: Proceeding of the Sixth Int'l Symp. on Programming Language Implementation and Logic Programming, eds. M. Hermenegildo and J. Penjam, LNCS 844 (Springer-Verlag, Berlin, 1994)."},{"key":"325410_CR10","unstructured":"A. Brogi, S. Contiero and F. Turini, Metalogical operators on normal logic programs (in preparation)."},{"issue":"4","key":"325410_CR11","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1145\/183432.183528","volume":"16","author":"A. Brogi","year":"1994","unstructured":"A. Brogi, P. Mancarella, D. Pedreschi and F. Turini, Modular logic programming, ACM Transactions on Programming Languages and Systems 16(4) (1994) 1361\u20131398.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"325410_CR12","first-page":"598","volume-title":"7th International Conference on Logic Programming, Proceedings","author":"R.A. Kowalski","year":"1990","unstructured":"R.A. Kowalski and F. Sadri, Logic programs with exceptions, in: 7th International Conference on Logic Programming, Proceedings, eds. D.H.D. Warren and P. Szeredi (MIT Press, Cambridge, Mass., 1990) pp. 598\u2013613."},{"key":"325410_CR13","doi-asserted-by":"crossref","unstructured":"J. Lloyd and Topor, Making Prolog more expressive, Journal of Logic Programming 1(3) (1984).","DOI":"10.1016\/0743-1066(84)90011-6"},{"issue":"4","key":"325410_CR14","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. van Emden","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM 23(4) (1976) 733\u2013742.","journal-title":"Journal of the ACM"},{"key":"325410_CR15","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.121508","volume":"25","author":"G. Wiederhold","year":"1992","unstructured":"G. Wiederhold, Mediators in the architecture of future information systems, IEEE Computer 25 (March 1992) 38\u201349.","journal-title":"IEEE Computer"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018943319381.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018943319381\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018943319381.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:39:57Z","timestamp":1747546797000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018943319381"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":15,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["325410"],"URL":"https:\/\/doi.org\/10.1023\/a:1018943319381","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}