乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:36:23Z","timestamp":1725820583943},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319171296"},{"type":"electronic","value":"9783319171302"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17130-2_3","type":"book-chapter","created":{"date-parts":[[2015,4,15]],"date-time":"2015-04-15T02:20:11Z","timestamp":1429064411000},"page":"35-50","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Kr\u00fcmpelmann","sequence":"first","affiliation":[]},{"given":"Tim","family":"Janus","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,16]]},"reference":[{"key":"3_CR1","volume-title":"Knowledge Representation and Reasoning","author":"RJ Brachman","year":"2004","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier and Morgan Kaufmann Publishers, Amsterdam (2004)"},{"key":"3_CR2","volume-title":"Handbook of Knowledge Representation","author":"F van Harmelen","year":"2007","unstructured":"van Harmelen, F., van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science, San Diego (2007)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10992-011-9171-9","volume":"40","author":"E Ferm\u00e9","year":"2011","unstructured":"Ferm\u00e9, E., Hansson, S.: AGM 25 years. J. Philos. Logic 40, 295\u2013331 (2011). doi:10.1007\/s10992-011-9171-9","journal-title":"J. Philos. Logic"},{"key":"3_CR4","unstructured":"Thimm, M.: Tweety - a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), July 2014"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation: the A-Prolog perspective. Artif. Intell. 138, 3\u201338 (2002)","journal-title":"Artif. Intell."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics","author":"W Spohn","year":"1988","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105\u2013134. Kluwer Academic Publishers, Dordrecht (1988)"},{"issue":"10\u201315","key":"3_CR7","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"TJM Bench-Capon","year":"2007","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell. 171(10\u201315), 619\u2013641 (2007)","journal-title":"Artif. Intell."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Kr\u00fcmpelmann, P., Janus, T., Kern-Isberner, G.: Angerona - a multiagent framework for logic based agents. Technical report, Technische Universit\u00e4t Dortmund, Department of Computer Science (2014)","DOI":"10.1007\/978-3-319-17130-2_3"},{"key":"3_CR9","unstructured":"Biedert, R., Delsaux, N., Lottermann, T.: Java simple plugin framework. http:\/\/code.google.com\/p\/jspf\/. Accessed 10 December 2012"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-72200-7_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"JP Delgrande","year":"2007","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H.: A preference-based framework for updating logic programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 71\u201383. Springer, Heidelberg (2007)"},{"key":"3_CR11","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: A general approach to belief change in answer set programming. Comput. Res. Repository (CoRR). abs\/0912.5511 (2009)"},{"key":"3_CR12","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: Propagating credibility in answer set programs. In: Schwarz, S., (ed.) Proceedings of the 22nd Workshop on (Constraint) Logic Programming WLP 2008). Technische Berichte, Martin-Luther-Universit\u00e4t Halle-Wittenberg, Germany (2008)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-33353-8_23","volume-title":"Logics in Artificial Intelligence","author":"P Kr\u00fcmpelmann","year":"2012","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: Belief base change operations for answer set programming. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 294\u2013306. Springer, Heidelberg (2012)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-642-24603-6_8","volume-title":"Multiagent System Technologies","author":"P Kr\u00fcmpelmann","year":"2011","unstructured":"Kr\u00fcmpelmann, P., Thimm, M., Kern-Isberner, G., Fritsch, R.: Motivating agents in unreliable environments: a computational model. In: Kl\u00fcgl, F., Ossowski, S. (eds.) MATES 2011. LNCS, vol. 6973, pp. 65\u201376. Springer, Heidelberg (2011)"},{"key":"3_CR15","unstructured":"Thimm, M., Kr\u00fcmpelmann, P.: Know-how for motivated BDI agents (extended abstract). In: Decker, S., Sierra, C. (eds.) Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). Accessed 10\u201315 May 2009"},{"key":"3_CR16","unstructured":"Kr\u00fcmpelmann, P., Thimm, M.: A logic programming framework for reasoning about know-how. In: Proceedings of the 13th International Workshop on Non-monotonic Reasoning (NMR 2010) (2010)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1023\/A:1005294718935","volume":"63","author":"EL Ferm\u00e9","year":"1999","unstructured":"Ferm\u00e9, E.L., Hansson, S.O.: Selective revision. Stud. Logica. 63(3), 331\u2013342 (1999)","journal-title":"Stud. Logica."},{"key":"3_CR18","unstructured":"Tamargo, L.H., Thimm, M., Kr\u00fcmpelmann, P., Garcia, A.J., Falappa, M.A., Simari, G.R., Kern-Isberner, G.: Credibility-based selective revision by deductive argumentation in multi-agent systems. In: Ferme, E., Gabbay, D., Simari, G. (eds.) Trends in Belief Revision and Argumentation Dynamics. College Publications, London (2013)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-08909-6_1","volume-title":"Declarative Programming and Knowledge Management","author":"E Albrecht","year":"2014","unstructured":"Albrecht, E., Kr\u00fcmpelmann, P., Kern-Isberner, G.: Construction of explanation graphs from extended dependency graphs for answer set programs. In: Hanus, M., Rocha, R. (eds.) KDPD 2013. LNCS, vol. 8439, pp. 1\u201316. Springer, Heidelberg (2014)"},{"key":"3_CR20","unstructured":"Foundation for Intelligent Physical Agents: Fipa communicative act library specification (12 2002)"},{"issue":"3\u20134","key":"3_CR21","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1018978005636","volume":"25","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz, V., Tang, L.R., Turner, H.: Nested expressions in logic programs. Ann. Math. Artif. Intell. 25(3\u20134), 369\u2013389 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"3_CR22","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: On agent-based epistemic secrecy. In: Rossi, R., Woltran, S. (eds.) Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012) (2012)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-40776-5_13","volume-title":"Multiagent System Technologies","author":"P Kr\u00fcmpelmann","year":"2013","unstructured":"Kr\u00fcmpelmann, P., Kern-Isberner, G.: Secrecy preserving BDI agents based on answerset programming. In: Klusch, M., Thimm, M., Paprzycki, M. (eds.) MATES 2013. LNCS, vol. 8076, pp. 124\u2013137. Springer, Heidelberg (2013)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Biskup, J., Tadros, C.: Preserving confidentiality while reacting on iterated queries and belief revisions. Ann. Math. Artif. Intell., 73(1-2), 75\u2013123 (2015)","DOI":"10.1007\/s10472-013-9374-6"},{"key":"3_CR25","first-page":"33","volume":"30","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multiagent systems. Informatica 30, 33\u201344 (2006)","journal-title":"Informatica"},{"key":"3_CR26","unstructured":"Agentprogramming.com: Agent platforms"},{"key":"3_CR27","first-page":"257","volume-title":"Reasoning Agents in Dynamic Domains","author":"C Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains, pp. 257\u2013279. Kluwer Academic Publishers, Norwell (2000)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1007\/3-540-44957-4_54","volume-title":"Computational Logic - CL 2000","author":"T Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Planning under incomplete knowledge. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 807\u2013821. Springer, Heidelberg (2000)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-45448-9_11","volume-title":"Intelligent Agents VIII","author":"J Leite","year":"2002","unstructured":"Leite, J., Alferes, J., Pereira, L.: $${\\cal MINERVA}$$ - a dynamic logic rogramming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 141\u2013157. Springer, Heidelberg (2002)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"M\u00f3ra, M.d.C., Lopes, J.G.P., Vicari, R.M., Coelho, H.: BDI models and systems: bridging the gap. In: Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages (ATAL 1998), pp. 11\u201327. Springer, London (1999)","DOI":"10.1007\/3-540-49057-4_2"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-03278-3_5","volume-title":"Programming Multi-Agent Systems","author":"P Nov\u00e1k","year":"2009","unstructured":"Nov\u00e1k, P.: Jazzyk: a programming language for hybrid agents with heterogeneous knowledge representations. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) ProMAS 2008. LNCS, vol. 5442, pp. 72\u201387. Springer, Heidelberg (2009)"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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":"KV 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 (LNAI), vol. 1986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"key":"3_CR33","volume-title":"GOAL User Manual","author":"V Koen","year":"2014","unstructured":"Koen, V., Hindriks, W.P.: GOAL User Manual. Delft University of Technology, Delft (2014)"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Ma, J., Russo, A., Broda, K., Lupu, E.: Multi-agent abductive reasoning with confidentiality. In: AAMAS, pp. 1137\u20131138 (2011)","DOI":"10.1007\/978-3-642-20715-0_9"},{"issue":"1\u20132","key":"3_CR35","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.artint.2004.10.006","volume":"161","author":"RJ Wallace","year":"2005","unstructured":"Wallace, R.J., Freuder, E.C.: Constraint-based reasoning and privacy\/efficiency tradeoffs in multi-agent problem solving. Artif. Intell. 161(1\u20132), 209\u2013227 (2005). Distributed Constraint Satisfaction","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17130-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T05:13:51Z","timestamp":1675833231000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17130-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319171296","9783319171302"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17130-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}