{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:22:42Z","timestamp":1725470562435},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378716"},{"type":"electronic","value":"9783540378723"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11827405_61","type":"book-chapter","created":{"date-parts":[[2006,9,18]],"date-time":"2006-09-18T11:44:55Z","timestamp":1158579895000},"page":"622-633","source":"Crossref","is-referenced-by-count":1,"title":["Implementation and Experimentation of the Logic Language ${\\cal N\\!P\\, D}atalog$"],"prefix":"10.1007","author":[{"given":"S.","family":"Greco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Molinaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Trubitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"61_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1994","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1994)"},{"key":"61_CR2","unstructured":"ASSAT, http:\/\/assat.cs.ust.hk\/"},{"key":"61_CR3","unstructured":"ASSAT experimental data on the Graph Coloring Domain, http:\/\/assat.cs.ust.hk\/Assat-2.0\/coloring-2.0.html"},{"key":"61_CR4","unstructured":"Culberson\u2019s graph generator, http:\/\/web.cs.ualberta.ca\/~joe\/Coloring\/Generators\/generate.html"},{"key":"61_CR5","unstructured":"DLV, http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"61_CR6","unstructured":"East, D., Truszczynski, M.: DATALOG with Constraints - An Answer-Set Programming System. In: AAAI\/IAAI, pp. 163\u2013168 (2000)"},{"key":"61_CR7","doi-asserted-by":"crossref","unstructured":"East, D., Truszczynski, M.: Predicate-calculus based logics for modeling and solving search problems. ACM Transaction on Computational Logic (to appear, 2005)","DOI":"10.1145\/1119439.1119441"},{"key":"61_CR8","unstructured":"ECLiPSe, http:\/\/www.clps.de\/eclipse.html"},{"key":"61_CR9","doi-asserted-by":"crossref","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Non-monotonic Reasoning. In: LPNMR, pp. 363\u2013374 (1997)","DOI":"10.1007\/3-540-63255-7_27"},{"issue":"15","key":"61_CR10","doi-asserted-by":"publisher","first-page":"1481","DOI":"10.1002\/spe.623","volume":"34","author":"R.A. Finkel","year":"2004","unstructured":"Finkel, R.A., Marek, V.W., Truszczynski, M.: Constraint Lingo: towards high-level constraint programming. Software Practice and Experience\u00a034(15), 1481\u20131504 (2004)","journal-title":"Software Practice and Experience"},{"key":"61_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. 5th Int. Conf. on Logic Programming, pp. 1070\u20131080 (1988)"},{"issue":"3\/4","key":"61_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New generation Computing\u00a09(3\/4), 365\u2013385 (1991)","journal-title":"New generation Computing"},{"key":"61_CR13","doi-asserted-by":"crossref","unstructured":"Greco, S., Sacc\u00e0, D., Zaniolo, C.: Datalog with Stratified Negation and Choice: from P to D P . In: Proc. Int. Conf. on Database Theory, pp. 574\u2013589 (1995)","DOI":"10.1007\/3-540-58907-4_8"},{"key":"61_CR14","unstructured":"Greco, S., Sacc\u00e0, D.: NP-Optimization Problems in Datalog. In: ILPS, pp. 181\u2013195 (1997)"},{"key":"61_CR15","unstructured":"Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: Implementing NP Datalog. Technical report \u2013 University of Calabria, submitted to an International Journal"},{"key":"61_CR16","unstructured":"ILOG OPL Development Studio, http:\/\/www.ilog.com\/products\/oplstudio\/"},{"issue":"3","key":"61_CR17","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.: The CLP(R) Language and System. ACM Transaction on Programming Languages and Systems\u00a014(3), 339\u2013395 (1992)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"61_CR18","first-page":"67","volume-title":"Handbook of Theoretical Computer Science","author":"D.S. Johnson","year":"1990","unstructured":"Johnson, D.S.: A Catalog of Complexity Classes. In: van Leewen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a01, pp. 67\u2013161. North-Holland, Amsterdam (1990)"},{"key":"61_CR19","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1006\/inco.1994.1100","volume":"115","author":"P.G. Kolaitis","year":"1994","unstructured":"Kolaitis, P.G., Thakur, M.N.: Logical Definability of NP Optimization Problems. Information and Computation\u00a0115, 321\u2013353 (1994)","journal-title":"Information and Computation"},{"issue":"1-2","key":"61_CR20","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F. Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artificial Intelligene\u00a0157(1-2), 115\u2013137 (2004)","journal-title":"Artificial Intelligene"},{"key":"61_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: an Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.J.: Programming with Constraints: an Introduction. MIT Press, Cambridge (1998)"},{"key":"61_CR22","doi-asserted-by":"crossref","unstructured":"Niemela, I., Simons, P., Soininen, T.: Stable Model Semantics of Weight Constraint Rules. In: Proc. Int. Conf. on Logic Progr. and Nonmon. Reas., pp. 317\u2013331 (1999)","DOI":"10.1007\/3-540-46767-X_23"},{"key":"61_CR23","unstructured":"SICStus Prolog, http:\/\/www.sics.se\/isl\/sicstuswww\/site\/index.html"},{"key":"61_CR24","unstructured":"Smodels, http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"61_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-45402-0_38","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The smodels system. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS, vol.\u00a02173, pp. 434\u2013438. Springer, Heidelberg (2001)"},{"key":"61_CR26","volume-title":"The OPL Optimization Programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)"},{"key":"61_CR27","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Michel, L., Perron, L., Regin, J.C.: Constraint Programming in OPL. In: Proc. Int. Conf. on Principles and Practice of Decl. Progr., pp. 98\u2013116 (1999)","DOI":"10.1007\/10704567_6"},{"key":"61_CR28","unstructured":"Var Roy, P.: Logic Programming in Oz with Mozart. In: ICLP, pp. 38\u201351 (1999)"},{"key":"61_CR29","doi-asserted-by":"crossref","unstructured":"Wallace, M., Schimpf, J.: ECLiPSe: Declarative Specification and Scaleable Implementation. In: Proc. Int. Work. on Practical Aspects of Decl. Langu., pp. 365\u2013366 (1999)","DOI":"10.1007\/3-540-49201-1_26"},{"key":"61_CR30","doi-asserted-by":"crossref","unstructured":"Zumpano, E., Greco, S., Trubitsyna, I., Veltri, P.: On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. In: Proc. ACM Symp. on Applied Computing, pp. 692\u2013697 (2004)","DOI":"10.1145\/967900.968045"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11827405_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:18:04Z","timestamp":1605626284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11827405_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378716","9783540378723"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11827405_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}