{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:38:26Z","timestamp":1725543506901},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540366355"},{"type":"electronic","value":"9783540366362"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_28","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T08:25:42Z","timestamp":1154939142000},"page":"376-390","source":"Crossref","is-referenced-by-count":19,"title":["Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juraj","family":"Dzifcak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiro","family":"Takahashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"28_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11562931_7","volume-title":"Logic Programming","author":"S. Baselice","year":"2005","unstructured":"Baselice, S., Bonatti, P., Gelfond, M.: Towards an Integration of Answer Set and Constraint Solving. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 52\u201366. Springer, Heidelberg (2005)"},{"key":"28_CR3","unstructured":"Boley, H., Grosof, B., Kifer, M., Sintek, M., Tabet, S., Wagner, G.: Object-Oriented RuleML (2004), \n                    \n                      http:\/\/www.ruleml.org\/indoo\/indoo.html"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19-20","author":"M. Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. Journal of logic programming\u00a019-20, 443\u2013502 (1994)","journal-title":"Journal of logic programming"},{"key":"28_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/978-3-540-30227-8_59","volume-title":"Logics in Artificial Intelligence","author":"F. Calimeri","year":"2004","unstructured":"Calimeri, F., Ianni, G., Ielpa, G., Pietramala, A., Santoro, M.C.: A System with Template Answer Set Programs. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 693\u2013697. Springer, Heidelberg (2004)"},{"issue":"3","key":"28_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015(3), 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"key":"28_CR7","unstructured":"Common Logic Standard, \n                    \n                      http:\/\/philebus.tamu.edu\/cl\/"},{"key":"28_CR8","unstructured":"Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.: OWL web ontology language 1.0 reference (2002), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"28_CR9","first-page":"290","volume-title":"Proc. 4th international conference on Logic programming and non-monotonic reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Modular logic programming and generalized quantifiers. In: Proc. 4th international conference on Logic programming and non-monotonic reasoning, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(95)00148-4","volume":"166","author":"S. Etalle","year":"1996","unstructured":"Etalle, S., Gabbrielli, M.: Transformations of CLP modules. Theoretical computer science\u00a0166, 101\u2013146 (1996)","journal-title":"Theoretical computer science"},{"key":"28_CR11","unstructured":"Gelfond, M., Gabaldon, A.: From functional specifications to logic programs. In: Maluszynski, J. (ed.) Proc. of International Symposium on Logic Programming, pp. 355\u2013370 (1997)"},{"key":"28_CR12","first-page":"1070","volume-title":"Logic Programming: Proc.\u00a0of the Fifth Int\u2019l. Conf.\u00a0and Symp.","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc.\u00a0of the Fifth Int\u2019l. Conf.\u00a0and Symp., pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"28_CR13","unstructured":"Gelfond, M.: Going places - notes on a modular development of knowledge about travel. In: Proceedings of AAAI 2006 Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)"},{"key":"28_CR14","unstructured":"Genesereth, M., Fikes, R.: Knowledge interchange format. Technical Report Technical Report Logic-92-1, Stanford University (1992)"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of 12th International Conference on the World Wide Web (WWW 2003) (2003)","DOI":"10.1145\/775152.775160"},{"key":"28_CR16","unstructured":"Guha, R.: Micro-theories and Contexts in Cyc Part I: Basic Issues. Technical Report MCC Technical Report Number ACT-CYC-129-90 (1990)"},{"key":"28_CR17","unstructured":"Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (2003), \n                    \n                      http:\/\/www.daml.org\/2003\/11\/swrl\/"},{"key":"28_CR18","volume-title":"Big java","author":"C. Horstman","year":"2005","unstructured":"Horstman, C.: Big java. John Wiley, Chichester (2005)"},{"key":"28_CR19","unstructured":"Lifschitz, V., Ren, W.: Towards a Modular action description language. In: Proceedings of AAAI 2006 Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering (2006)"},{"key":"28_CR20","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0304-3975(93)90013-J","volume":"110","author":"M. Maher","year":"1993","unstructured":"Maher, M.: A transformation system for deductive databases modules with perfect model semantics. Theoretical computer science\u00a0110, 377\u2013403 (1993)","journal-title":"Theoretical computer science"},{"key":"28_CR21","first-page":"555","volume-title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","author":"J. McCarthy","year":"1993","unstructured":"McCarthy, J.: Notes on formalizing contexts. In: Bajcsy, R. (ed.) Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pp. 555\u2013560. Morgan Kaufmann, San Mateo (1993)"},{"issue":"4","key":"28_CR22","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/ijl\/3.4.235","volume":"3","author":"G. Miller","year":"1990","unstructured":"Miller, G., Beckwith, R., Fellbaum, C., Gross, D., Miller, K.: Introduction to wordnet: An on-line lexical database. International Journal of Lexicography (special issue)\u00a03(4), 235\u2013312 (1990)","journal-title":"International Journal of Lexicography (special issue)"},{"key":"28_CR23","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Proc. 4th international conference on Logic programming and non-monotonic reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2013 an implementation of the stable model and well-founded semantics for normal logic programs. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proc. 4th international conference on Logic programming and non-monotonic reasoning, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Niles, I., Pease, A.: Towards a standard upper ontology. In: Proceedings of the international conference on Formal Ontology in Information Systems, pp. 2\u20139 (2001)","DOI":"10.1145\/505168.505170"},{"key":"28_CR25","unstructured":"RuleML: The Rule Markup Initiative (2005), \n                    \n                      http:\/\/www.ruleml.org\/"},{"key":"28_CR26","unstructured":"Tari, L., Baral, C., Anwar, S.: A Language for Modular ASP: Application to ACC Tournament Scheduling. In: Proc. of ASP 2005 (2005)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:24:47Z","timestamp":1619493887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11799573_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}