{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:03:43Z","timestamp":1743037423008,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205880"},{"type":"electronic","value":"9783642205897"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20589-7_1","type":"book-chapter","created":{"date-parts":[[2011,4,19]],"date-time":"2011-04-19T05:11:00Z","timestamp":1303189860000},"page":"1-19","source":"Crossref","is-referenced-by-count":1,"title":["Design Patterns for Tabled Logic Programming"],"prefix":"10.1007","author":[{"given":"Terrance","family":"Swift","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Diagnostic and Statistical Manual of Mental Disorders. American Psychiatric Association, Washington, DC, 4th edition, Prepared by the Task Force on DSM-IV and Other Committees and Work Groups of the American Psychiatric Association (1994)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Codognet, P., Fil\u00e9, G.: Computations, abstractions and constraints in logic programs. In: ICCL, pp. 155\u2013164 (1992)","DOI":"10.1109\/ICCL.1992.185478"},{"key":"1_CR3","volume-title":"Pattern Languages of Program Design","author":"J. Coplien","year":"1995","unstructured":"Coplien, J., Schmidt, D.: Pattern Languages of Program Design. Addison-Wesley, Reading (1995)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-540-74610-2_27","volume-title":"Logic Programming","author":"V. Santos Costa","year":"2007","unstructured":"Santos Costa, V., Sagonas, K., Lopes, R.: Demand-driven indexing of prolog clauses. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 395\u2013409. Springer, Heidelberg (2007)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0004-3702(02)00185-6","volume":"138","author":"B. Cui","year":"2002","unstructured":"Cui, B., Swift, T.: Preference logic grammars: Fixed-point semantics and application to data standardization. Artificial Intelligence\u00a0138, 117\u2013147 (2002)","journal-title":"Artificial Intelligence"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 122\u2013174. Springer, Heidelberg (1998)"},{"issue":"2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/362007.362035","volume":"13","author":"J. Earley","year":"1970","unstructured":"Earley, J.: An efficient context-free parsing algorithm. CACM\u00a013(2), 94\u2013102 (1970)","journal-title":"CACM"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0096-0551(98)00008-3","volume":"24","author":"B. Jayaraman","year":"1998","unstructured":"Jayaraman, B., Govindarajan, K., Mantha, S.: Preference logic grammars. Computer Languages\u00a024, 179\u2013196 (1998)","journal-title":"Computer Languages"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: An analysis of the performance of rule engines. In: WWW: Semantic Data Track, pp. 601\u2013608 (2009)","DOI":"10.1145\/1526709.1526790"},{"key":"1_CR10","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis (2006)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Han, A.: Elder care via intention recognition and evolution prospection. In: INAP (2010)","DOI":"10.1007\/978-94-007-0093-2_1"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-11503-5_24","volume-title":"Practical Aspects of Declarative Languages","author":"L.M. Pereira","year":"2010","unstructured":"Pereira, L.M., Lopes, G.: Prospective storytelling agents. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 294\u2013296. Springer, Heidelberg (2010)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-92995-6_18","volume-title":"Practical Aspects of Declarative Languages","author":"L.M. Pereira","year":"2008","unstructured":"Pereira, L.M., Pinto, A.M.: Layered models top-down querying of normal logic programs. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol.\u00a05418, pp. 254\u2013268. Springer, Heidelberg (2008)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Ramli, C.: Modelling probabilistic causation in decision making. In: KES-IDT (2009)","DOI":"10.1007\/978-3-642-00909-9_9"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-63166-6_16","volume-title":"Computer Aided Verification","author":"Y.S. Ramakrishna","year":"1997","unstructured":"Ramakrishna, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S., Swift, T., Warren, D.S.: Efficient model checking using tabled resolution. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 143\u2013154. Springer, Heidelberg (1997)"},{"issue":"3","key":"1_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1017\/S026988890700118X","volume":"22","author":"C.R. Ramakrishnan","year":"2007","unstructured":"Ramakrishnan, C.R., Ramakrishnan, I.V., Warren, D.S.: XcelLog: A deductive spreadsheet system. Knowledge Engineering Review\u00a022(3), 269\u2013279 (2007)","journal-title":"Knowledge Engineering Review"},{"key":"1_CR17","unstructured":"Riguzzi, F., Swift, T.: Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions (2010), www.cs.sunysb.edu\/~tswift\/papers"},{"key":"1_CR18","unstructured":"Russell, N., ter Hofstede1, A., van der Aalst1, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical report, BPM Center Report BPM-06-22, BPMcenter.org (2006)"},{"key":"1_CR19","unstructured":"Sarna-Starosta, B.: Constraint-based Analysis of Security Protocols. PhD thesis, SUNY Stony Brook (2005)"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0743-1066(94)90027-2","volume":"19","author":"D. Schreye De","year":"1994","unstructured":"De Schreye, D., Decorte, S.: Termination of logic programs: The never-ending story. JLP\u00a019, 199\u2013260 (1994)","journal-title":"JLP"},{"key":"1_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2123.001.0001","volume-title":"Constraint-based Grammar Formailsms","author":"S. Shieber","year":"1992","unstructured":"Shieber, S.: Constraint-based Grammar Formailsms. MIT Press, Cambridge (1992)"},{"key":"1_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K. Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)"},{"issue":"3-4","key":"1_CR23","first-page":"201","volume":"25","author":"T. Swift","year":"1999","unstructured":"Swift, T.: Tabling for non-monotonic programming. AMAI\u00a025(3-4), 201\u2013240 (1999)","journal-title":"AMAI"},{"key":"1_CR24","unstructured":"Swift, T., Warren, D.S.: XSB: Extending the power of Prolog using tabling (2010), www.cs.sunysb.edu\/~tswift"},{"volume-title":"Formal Philosophy. Selected Papers by Richard Montague","year":"1974","key":"1_CR25","unstructured":"Thomason, R. (ed.): Formal Philosophy. Selected Papers by Richard Montague. Yale, New Haven (1974)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-02846-5_35","volume-title":"Logic Programming","author":"H. Wan","year":"2009","unstructured":"Wan, H., Grosof, B., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 432\u2013448. Springer, Heidelberg (2009)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Warren, D.S.: Programming the PTQ grammar in XSB. In: Ramakrishnan, R. (ed.) Applications of Logic Databases, pp. 217\u2013234 (1995)","DOI":"10.1007\/978-1-4615-2207-2_10"},{"key":"1_CR28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815478","volume-title":"Social Network Analysis","author":"S. Wasserman","year":"1994","unstructured":"Wasserman, S., Faust, K.: Social Network Analysis. Cambridge University Press, Cambridge (1994)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20589-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T04:17:31Z","timestamp":1741148251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20589-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205880","9783642205897"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20589-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}