{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:24:16Z","timestamp":1757543056763},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319135595"},{"type":"electronic","value":"9783319135601"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13560-1_82","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T05:24:07Z","timestamp":1415942647000},"page":"945-957","source":"Crossref","is-referenced-by-count":3,"title":["Online Agent Logic Programming with oClingo"],"prefix":"10.1007","author":[{"given":"Timothy","family":"Cerexhe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Gebser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"82_CR1","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"82_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"82_CR3","unstructured":"Brewka, G., Strass, H., Thielscher, M.: Declarative strategies for agents with incomplete knowledge. In: Rosati, R., Woltran, S. (eds.) NMR (2012)"},{"key":"82_CR4","doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F.S., Dignum, F., Meyer, J.J.C.: Programming agent deliberation: An approach illustrated using the 3APL language. In: AAMAS, pp. 97\u2013104. ACM (2003)","DOI":"10.1145\/860575.860592"},{"key":"82_CR5","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-04222-5_14","volume-title":"Frontiers of Combining Systems","author":"C. Drescher","year":"2009","unstructured":"Drescher, C., Schiffel, S., Thielscher, M.: A declarative agent programming language based on action theories. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol.\u00a05749, pp. 230\u2013245. Springer, Heidelberg (2009)"},{"issue":"4-5","key":"82_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1017\/S1471068411000111","volume":"11","author":"C. Drescher","year":"2011","unstructured":"Drescher, C., Thielscher, M.: ALPprolog\u2014A new logic programming method for dynamic domains. Theory and Practice of Logic Programming\u00a011(4-5), 451\u2013468 (2011)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3-4","key":"82_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"82_CR8","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. In: Leuschel, M., Schrijvers, T. (eds.) ICLP Technical Communications. Theory and Practice of Logic Programming, Online Supplement (2014)"},{"key":"82_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-20895-9_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"82_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"issue":"1-3","key":"82_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031(1-3), 59\u201383 (1997)","journal-title":"Journal of Logic Programming"},{"key":"82_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"18","key":"82_CR13","doi-asserted-by":"publisher","first-page":"1174","DOI":"10.1016\/j.artint.2007.10.009","volume":"171","author":"J. McCarthy","year":"2007","unstructured":"McCarthy, J.: From here to human-level AI. Artificial Intelligence\u00a0171(18), 1174\u20131182 (2007)","journal-title":"Artificial Intelligence"},{"key":"82_CR14","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press (1969)"},{"key":"82_CR15","unstructured":"Morley, D., Myers, K.: The SPARK agent framework. In: AAMAS, vol.\u00a02, pp. 714\u2013721. IEEE Computer Society (2004)"},{"key":"82_CR16","doi-asserted-by":"crossref","unstructured":"Mueller, E.T.: Commonsense Reasoning. Morgan Kaufmann (2006)","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"82_CR17","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"82_CR18","unstructured":"Shapiro, S., Pagnucco, M.: Iterated belief change and exogeneous actions in the situation calculus. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) ECAI, pp. 878\u2013882. IOS Press (2004)"},{"issue":"1-2","key":"82_CR19","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. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"issue":"4-5","key":"82_CR20","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S1471068405002358","volume":"5","author":"M. Thielscher","year":"2005","unstructured":"Thielscher, M.: FLUX: A logic programming method for reasoning about agents. Theory and Practice of Logic Programming\u00a05(4-5), 533\u2013565 (2005)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2014: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13560-1_82","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T14:23:47Z","timestamp":1559053427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13560-1_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319135595","9783319135601"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13560-1_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}