{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:56:22Z","timestamp":1725522982404},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540939191"},{"type":"electronic","value":"9783540939207"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93920-7_14","type":"book-chapter","created":{"date-parts":[[2008,12,24]],"date-time":"2008-12-24T09:33:38Z","timestamp":1230111218000},"page":"215-232","source":"Crossref","is-referenced-by-count":11,"title":["Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming"],"prefix":"10.1007","author":[{"given":"Koen V.","family":"Hindriks","sequence":"first","affiliation":[]},{"given":"M. Birna","family":"van Riemsdijk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence\u00a0166 (2000)","DOI":"10.1016\/S0004-3702(99)00071-5"},{"key":"14_CR2","unstructured":"Baier, J.A., Bacchus, F., McIlraith, S.A.: A heuristic search approach to planning with temporally extended preferences. In: IJCAI, pp. 1808\u20131815 (2007)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11944836_25","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 260\u2013272. Springer, Heidelberg (2006)"},{"key":"14_CR4","unstructured":"Bienvenu, M., Fritz, C., McIlraith, S.A.: Planning with qualitative temporal preferences. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 134\u2013144 (2006)"},{"key":"14_CR5","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)"},{"key":"14_CR6","unstructured":"Brewka, G.: A rank based description language for qualitative preferences. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 303\u2013307 (2004)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"F. Boer de","year":"2007","unstructured":"de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.-J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic\u00a05, 277\u2013302 (2007)","journal-title":"Journal of Applied Logic"},{"key":"14_CR8","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"14_CR10","unstructured":"Fritz, C., McIlraith, S.A.: Decision-theoretic golog with qualitative preferences. In: KR, pp. 153\u2013163 (2006)"},{"key":"14_CR11","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-79043-3_10","volume-title":"Programming Multi-Agent Systems","author":"K. Hindriks","year":"2008","unstructured":"Hindriks, K.: Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS, vol.\u00a04908, pp. 156\u2013171. Springer, Heidelberg (2008)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-77564-5_6","volume-title":"Declarative Agent Languages and Technologies V","author":"K. Hindriks","year":"2008","unstructured":"Hindriks, K., van Riemsdijk, B.: Satisfying Maintenance Goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS, vol.\u00a04897, pp. 86\u2013103. Springer, Heidelberg (2008)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS, vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"issue":"5","key":"14_CR15","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1017\/S1471068406002717","volume":"6","author":"T.C. Son","year":"2006","unstructured":"Son, T.C., Pontelli, E.: Planning with preferences using logic programming. Theory and Practice of Logic Programming\u00a06(5), 559\u2013607 (2006)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93920-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T17:49:47Z","timestamp":1551721787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93920-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540939191","9783540939207"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93920-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}