{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:26:19Z","timestamp":1725891979246},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357213"},{"type":"electronic","value":"9783642357220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35722-0_6","type":"book-chapter","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T06:16:29Z","timestamp":1357280189000},"page":"74-88","source":"Crossref","is-referenced-by-count":0,"title":["Forward Chaining for Hybrid ASP"],"prefix":"10.1007","author":[{"given":"Alex","family":"Brik","sequence":"first","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Brik, A., Remmel, J.B.: Computing stable models of logic programs using metropolis type algorithms. In: Workshop Proceedings. ICLP 2011 Workshop on Answer Set Programming and Other Computing Paradigms (2011)"},{"key":"6_CR2","unstructured":"Brik, A., Remmel, J.B.: Hybrid ASP. In: Gallagher, J.P., Gelfond, M. (eds.) ICLP (Technical Communications). LIPIcs, vol.\u00a011, pp. 40\u201350. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2011)"},{"key":"6_CR3","unstructured":"Brik, A., Remmel, J.B.: Computing a Finite Horizon Optimal Strategy Using Hybrid ASP. In: Workshop Proceedings. NMR (2012)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1006\/jcss.1998.1576","volume":"57","author":"P. Diaconis","year":"1998","unstructured":"Diaconis, P., Saloff-Coste, L.: What Do We Know About the Metropolis Algorithm? Journal of Computer and System Sciences\u00a057(1), 20\u201336 (1998)","journal-title":"Journal of Computer and System Sciences"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1090\/S0273-0979-08-01238-X","volume":"46","author":"P. Diaconis","year":"2009","unstructured":"Diaconis, P.: The Markov chain Monte Carlo revolution. Bull. Amer. Math. Soc.\u00a046, 179\u2013205 (2009)","journal-title":"Bull. Amer. Math. Soc."},{"key":"6_CR6","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI, pp. 386\u2013373 (2007)"},{"key":"6_CR7","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/biomet\/57.1.97","volume":"57","author":"W.K. Hastings","year":"1970","unstructured":"Hastings, W.K.: Monte Carlo sampling methods using Markov chains and their applications. Biometrika\u00a057(1), 97\u2013109 (1970)","journal-title":"Biometrika"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Karlin, S., Taylor, H.M.: A First Course in Stochastic Processes, 2nd edn. Academic Press (April 1975)","DOI":"10.1016\/B978-0-08-057041-9.50005-2"},{"key":"6_CR10","unstructured":"Liu, J.S.: Monte Carlo Strategies in Scientific Computing, corrected edn. Springer (January 2008)"},{"issue":"1-3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0168-0072(94)90013-2","volume":"67","author":"V.W. Marek","year":"1994","unstructured":"Marek, V.W., Nerode, A., Remmel, J.B.: Context for belief revision: Fc-normal nomonotonic rule systems. Ann. Pure Appl. Logic\u00a067(1-3), 269\u2013324 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1-3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0168-0072(98)00041-4","volume":"96","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Nerode, A., Remmel, J.B.: Logic programs, well-orderings, and forward chaining. Ann. Pure Appl. Logic\u00a096(1-3), 231\u2013276 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"6","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N. Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E.: Equation of State Calculations by Fast Computing Machines. The Journal of Chemical Physics\u00a021(6), 1087\u20131092 (1953)","journal-title":"The Journal of Chemical Physics"},{"issue":"1-2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell.\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"issue":"4","key":"6_CR15","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35722-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:24:31Z","timestamp":1620120271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35722-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357213","9783642357220"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35722-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}