{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:29:15Z","timestamp":1725506955949},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789680"},{"type":"electronic","value":"9783540789697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78969-7_4","type":"book-chapter","created":{"date-parts":[[2008,4,4]],"date-time":"2008-04-04T07:39:50Z","timestamp":1207294790000},"page":"15-31","source":"Crossref","is-referenced-by-count":8,"title":["Integrating Answer Set Reasoning with Constraint Solving Techniques"],"prefix":"10.1007","author":[{"given":"Veena S.","family":"Mellarkod","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Adsolver, http:\/\/www.cs.ttu.edu\/~mellarko\/adsolver.html"},{"key":"4_CR2","unstructured":"GNU Prolog, http:\/\/www.gprolog.org"},{"key":"4_CR3","unstructured":"Rcs, http:\/\/www.krlab.cs.ttu.edu\/Software\/Download\/rcs\/"},{"key":"4_CR4","unstructured":"Balduccini, M.: Answer Set Based Design of Highly Autonomous, Rational Agents. PhD thesis, Texas Tech University (December, 2005)"},{"key":"4_CR5","unstructured":"Balduccini, M.: CR-models: An inference engine for CR-prolog. In: Logic Programming and Nonmonotonic Reasoning (May, 2007)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Gelfond, M., Nogueira, M.: Answer set based design of knowledge systems. Annals of Mathematics and Artificial Intelligence (2006)","DOI":"10.1007\/s10472-006-9026-1"},{"key":"4_CR7","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.A., 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":"4_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artificial Intelligence\u00a049, 61\u201395 (1991)","journal-title":"Artificial Intelligence"},{"key":"4_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP-1988, pp. 1070\u20131080 (1988)"},{"key":"4_CR10","unstructured":"Veena, S.: Mellarkod. Optimizing the computation of stable models using merged rules. Master\u2019s thesis, Texas Tech University (May, 2002)"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/978-1-4615-1567-8_21","volume-title":"Logic-Based Artificial Intelligence","author":"I. Niemela","year":"2000","unstructured":"Niemela, I., Simons, P.: Extending the Smodels System with Cardinality and Weight Constraints. In: Logic-Based Artificial Intelligence, pp. 491\u2013521. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"4_CR12","unstructured":"Pollack, M.E., et al.: Pearl: A mobile robotic assistant for the elderly. In: AAAI Workshop on Automation as Eldercare (August, 2002)"},{"issue":"3-4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0921-8890(03)00077-0","volume":"44","author":"M.E. Pollack","year":"2003","unstructured":"Pollack, M.E., et al.: Autominder: An intelligent cognitive orthotic system for people with memory impairment. Robotics and Autonomous Systems\u00a044(3-4), 273\u2013282 (2003)","journal-title":"Robotics and Autonomous Systems"},{"key":"4_CR14","unstructured":"Pollack, M.E., Muscettola, N.: Temporal and resource reasoning for planning, scheduling and execution. In: Tutorial Forum Notes, AAAI 2006 (July, 2006)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Rossi, F., Sperduti, A., Venable, K., Khatib, L., Morris, P., Morris, R.: Learning and solving soft temporal constraints: An experimental study (2002)","DOI":"10.1007\/3-540-46135-3_17"},{"key":"4_CR16","unstructured":"Syrjanen, T.: Implementation of logical grounding for logic programs with stable model semantics. Technical Report\u00a018, Digital Systems Laboratory, Helsinki University of Technology (1998)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78969-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:06:01Z","timestamp":1619507161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78969-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789680","9783540789697"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78969-7_4","relation":{},"subject":[]}}