乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:57:32Z","timestamp":1743087452984,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_15","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"211-228","source":"Crossref","is-referenced-by-count":2,"title":["Simulating Production Rules Using ACTHEX"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Feier","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-23580-1_26","volume-title":"Web Reasoning and Rule Systems","author":"M. Rezk","year":"2011","unstructured":"Rezk, M., Nutt, W.: Combining Production Systems and Ontologies. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 287\u2013293. Springer, Heidelberg (2011)"},{"key":"15_CR2","unstructured":"Baral, C., Lobo, J.: Characterizing production systems using logic programming and situation calculus, http:\/\/www.cs.utep.edu\/baral\/papers\/char-prod-systems.ps"},{"key":"15_CR3","unstructured":"Basol, S., Erdem, O., Fink, M., Ianni, G.: HEX programs with action atoms. In: Tech. Comm. of ICLP 2010. Leibniz International Proc. in Informatics. LIPIcs, vol.\u00a07, pp. 24\u201333 (2010)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-540-72982-2_5","volume-title":"Web Reasoning and Rule Systems","author":"J. Bruijn de","year":"2007","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: Quantified Equilibrium Logic and Hybrid Rules. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 58\u201372. Springer, Heidelberg (2007)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"de Bruijn, J., Rezk, M.: A logic based approach to the static analysis of production systems. In: Polleres and Swift [23], pp. 254\u2013268","DOI":"10.1007\/978-3-642-05082-4_18"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-20895-9_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Aguado","year":"2011","unstructured":"Aguado, F., Cabalar, P., P\u00e9rez, G., Vidal, C.: Loop Formulas for Splitable Temporal Logic Programs. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 80\u201392. Springer, Heidelberg (2011)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-20895-9_43","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"P. Cabalar","year":"2011","unstructured":"Cabalar, P., Di\u00e9guez, M.: STeLP \u2013 A Tool for Temporal Answer Set Programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 370\u2013375. Springer, Heidelberg (2011)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1007\/978-3-642-17746-0_50","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"C.V. Dam\u00e1sio","year":"2010","unstructured":"Dam\u00e1sio, C.V., Alferes, J.J., Leite, J.: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B., et al. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 798\u2013813. Springer, Heidelberg (2010)"},{"key":"15_CR9","unstructured":"de Bruijn, J., Bonnard, P., Citeau, H., Dehors, S., Heymans, S., P\u00fchrer, J., Eiter, T.: Combinations of rules and ontologies: State-of-the-art survey of issues. Tech. Rep. Ontorule D3.1, Ontorule Project Consortium (2009), http:\/\/ontorule-project.eu\/"},{"issue":"12\/13","key":"15_CR10","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell.\u00a0172(12\/13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"15_CR11","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. IJCAI 2005, pp. 90\u201396. Professional Book Center (2005)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Eiter, T., \u0160imkus, M.: $\\mathbb{FDNC}$ : Decidable non-monotonic disjunctive logic programs with function symbols. ACM Trans. Computational Logic (TOCL) 11(2), article 14","DOI":"10.1145\/1656242.1656249"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1016\/j.artint.2010.04.002","volume":"175","author":"W. Faber","year":"2011","unstructured":"Faber, W., Pfeifer, G., Leone, N.: Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell.\u00a0175(1), 278\u2013298 (2011)","journal-title":"Artif. Intell."},{"key":"15_CR14","unstructured":"Feier, C., A\u00eft-Kaci, H., Angele, J., de\u00a0Bruijn, J., Citeau, H., Eiter, T., Ghali, A.E., Kerhet, V., Kiss, E., Korf, R., Krekeler, T., Krennwallner, T., Heymans, S., (FUB), A.M., Rezk, M., Xiao, G.: Complexity and optimization of combinations of rules and ontologies. Tech. Rep. Ontorule D3.3, Ontorule Project Consortium (2010), http:\/\/ontorule-project.eu\/"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artif. Intell.\u00a019(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"15_CR16","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, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"3-4","key":"15_CR17","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. AI\u00a02(3-4), 193\u2013210 (1998)","journal-title":"Electron. Trans. AI"},{"issue":"1-2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic Causal Theories. Artif. Intell.\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sadri, F.: Integrating logic programming and production systems in abductive logic programming agents. In: Polleres and Swift [23], pp. 1\u201323","DOI":"10.1007\/978-3-642-05082-4_1"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-15918-3_24","volume-title":"Web Reasoning and Rule Systems","author":"M. Marano","year":"2010","unstructured":"Marano, M., Obermeier, P., Polleres, A.: Processing RIF and OWL2RL within DLVHEX. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 244\u2013250. Springer, Heidelberg (2010)"},{"issue":"5","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling Description Logics and Rules. JACM\u00a057(5), 1\u201362 (2010)","journal-title":"JACM"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Peppas, P.: Belief revision. In: van Harmelen, F., Lifschitz, V., Porter, B., et al. (eds.) Handbook of Logic in AI and Logic Programming,\u00a0ch.8, pp. 317\u2013360. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03008-8"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Web Reasoning and Rule Systems","year":"2009","unstructured":"Polleres, A., Swift, T. (eds.): RR 2009. LNCS, vol.\u00a05837. Springer, Heidelberg (2009)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-28472-4_19","volume-title":"Foundations of Information and Knowledge Systems","author":"M. Rezk","year":"2012","unstructured":"Rezk, M., Kifer, M.: Formalizing Production Systems with Rule-Based Ontologies. In: Lukasiewicz, T., Sali, A. (eds.) FoIKS 2012. LNCS, vol.\u00a07153, pp. 332\u2013351. Springer, Heidelberg (2012)"},{"key":"15_CR25","unstructured":"de Sainte Marie, C., Hallmark, G., Paschke, A. (eds): RIF Production Rule Dialect. Recommendation, W3C, June 22 (2010), http:\/\/www.w3.org\/TR\/rif-prd\/"},{"key":"15_CR26","unstructured":"Rosati, R.: $\\mathcal{DL}$ +log: Tight integration of description logics and disjunctive Datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. KR 2006, pp. 68\u201378. AAAI Press (2006)"},{"key":"15_CR27","unstructured":"Rosati, R., Franconi, E.: Generalized ontology-based production systems. In: Proc. KR 2012. AAAI Press (to appear, 2012)"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Waterman, D., Hayes-Roth, F.: Pattern-directed inference systems. Academic Press (1978)","DOI":"10.1016\/B978-0-12-737550-2.50006-3"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T16:09:24Z","timestamp":1642349364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}