{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:24:45Z","timestamp":1725477885703},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540449201"},{"type":"electronic","value":"9783540449218"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-44921-8_6","type":"book-chapter","created":{"date-parts":[[2007,1,20]],"date-time":"2007-01-20T10:44:36Z","timestamp":1169289876000},"page":"117-146","source":"Crossref","is-referenced-by-count":1,"title":["Formal Aspects of Pedagogical Negotiation in AMPLIA System"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Carlos","family":"Gluz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cecilia Dias","family":"Flores","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosa Maria","family":"Vicari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR69_6","unstructured":"Bacchus, F. (1990) Lp, a Logic for Representing and Reasoning wih Statistical Knowledge. Computational Intelligence. v. 6, p. 209-301, 1990. Available at: <\n                  http:\/\/citeseer.nj.nec.com\/\n                  \n                >. Accessed on: Nov. 2003."},{"issue":"2","key":"6_CR70_6","first-page":"199","volume":"5","author":"MJ Baker","year":"1994","unstructured":"Baker, M.J. (1994). A model for negotiation in teaching-learning dialogues Journal of Artificial Intelligence in Education,5(2),199-254.","journal-title":"A model for negotiation in teaching-learning dialogues Journal of Artificial Intelligence in Education"},{"key":"6_CR71_6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P Cohen","year":"1990","unstructured":"Cohen, P.; Levesque, H. (1990) Intention Is Choice with Commitment. Artificial Intelligence, n. 42, p. 213-261, 1990.","journal-title":"Artificial Intelligence"},{"key":"6_CR72_6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1080\/1049482920020202","volume":"2","author":"P Dillenbourg","year":"1992","unstructured":"Dillenbourg, P., Self, J.A. (1992) A framework for learner modelling, Interactive Learning Environments 2, 1992, p.111-137.","journal-title":"Interactive Learning Environments"},{"key":"6_CR73_6","first-page":"189","volume-title":"Learning in Humans and Machine: Towards an interdisciplinary learning science","author":"P Dillenbourg","year":"1995","unstructured":"Dillenbourg, P. et al. (1995) The evolution of research on collaborative learning. In: Spada, E.; Reitman, P. (Ed.). Learning in Humans and Machine: Towards an interdisciplinary learning science. Oxford: Elsevier. 1995. p. 189-211."},{"key":"6_CR74_6","unstructured":"FIPA. (2002) FIPA Communicative Act Library Specification. Standard SC00037J, FIPA, Dec. 2002. Available at: <\n                  http:\/\/www.fipa.org\/\n                  \n                >. Accessed on: Feb. 2004."},{"key":"6_CR75_6","doi-asserted-by":"crossref","unstructured":"Fischer, M., Ghidini, C. (2002). The ABC of Rational Agent Modelling. In: Proceedings of AAMAS 2002, Bologna, Italy, 849-856, 2002.","DOI":"10.1145\/544862.544943"},{"key":"6_CR76_6","unstructured":"Flores, C.D.; Seixas, L.; Gluz, J.C.; Vicari, R.M. A Model of Pedagogical Ne-gotiation. (2005) In: Multi-Agent Systems: Theory and Applications Workshop - MASTA, Covilh\u00e3. 12th Encontro Portugu\u00eas de Intelig\u00eancia Artificial (EPIA 2005, LNAI 3808). Berlin:Springer Verlag, v. 1, p. 488-499."},{"key":"6_CR77_6","unstructured":"Flores, C.D., Seixas, L., Gluz, J.C., Patr\u00edcio, D., Giacomel, F., Gon\u00e7alves, L., Vicari, R.M. (2005) AMPLIA Learning Environment Architecture. In: 13th International Conference on Computers in Education (ICCE2005), Cingapura. Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences. Tokyo:IOS Press, p. 662-665."},{"key":"6_CR78_6","unstructured":"Flores, C.D., Gluz, J.C., Seixas, L., Viccari, R.M. (2004) Amplia Learning En-vironment: A Proposal for Pedagogical Negotiation. In: Proceedings of 6th In-ternational Conference on Enterprise Information Systems. Porto, Portugal, INSTICC, Vol. IV, p:279-286."},{"key":"6_CR79_6","first-page":"2005","volume-title":"Formalization of the Communication of Probabilistic Knowl-edge in Multiagent Systems: an approach based on Probabilistic Logic","author":"JC Gluz","year":"2005","unstructured":"Gluz, J. C. (2005) Formalization of the Communication of Probabilistic Knowl-edge in Multiagent Systems: an approach based on Probabilistic Logic (In Portuguese). PhD Thesis. Instituto de Inform\u00e1tica, UFRGS, Porto Alegre, 2005"},{"key":"6_CR80_6","first-page":"2006","volume-title":"Formal Analysis of the Communication of Probabilistic Knowledge. Proceedings of IFIP - WCC - AI 2006","author":"JC Gluz","year":"2006","unstructured":"Gluz, J. C., Vicari, R. M., Flores, C. D. and Seixas, L. (2006) Formal Analysis of the Communication of Probabilistic Knowledge. Proceedings of IFIP - WCC - AI 2006. Santiago, Chile, 2006."},{"key":"6_CR81_6","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J. Y. (1990) An Analysis of First-Order Logics of Probability. Artificial Intelligence, 46: 311-350, 1990.","journal-title":"Artificial Intelligence"},{"key":"6_CR82_6","first-page":"3","volume-title":"Communications of the ACM","author":"D Heckerman","year":"1995","unstructured":"Heckerman, D.; Mamdani, A.; Wellman, M. (1995) Real-world Applications of Bayesian Networks: Introduction. Communications of the ACM, Vol. 38, n. 3. ACM, New York."},{"key":"6_CR83_6","unstructured":"Hugin. (2005) Available at: <\n                  http:\/\/www.hugin.com\n                  \n                > Accessed on: Aug. 2005."},{"key":"6_CR84_6","first-page":"2000","volume-title":"Automated Negotiation","author":"NR Jennings","year":"2000","unstructured":"Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Sierra, C., Wooldridge, M. (2000) Automated Negotiation: Prospects, Methods and Challenges. In: Int Journal of Group Decision and Negotiation, 2000."},{"key":"6_CR85_6","first-page":"473","volume-title":"Proceedings of Knowledge Rep-resentation and Reasoning (KR&R-91)","author":"AS Rao","year":"1991","unstructured":"Rao, A.S.; Georgeff, M.P. (1991). Modeling rational agents within a BDI-architecture. In: Fikes, R.; Sandewall, E. (eds.) Proceedings of Knowledge Rep-resentation and Reasoning (KR&R-91), p. 473-484. San Mateo, CA: Morgan Kaufmann Publishers, 1991."},{"key":"6_CR86_6","volume-title":"Artificial Intelligence: a modern approach","author":"S Russel","year":"1995","unstructured":"Russel, S., Norvig, P. (1995) Artificial Intelligence: a modern approach. New Jersey: Prentice Hall, 1995."},{"key":"6_CR87_6","first-page":"462","volume-title":"A Study in the Logic of Intention. In: Procs. of KR92","author":"MD Sadek","year":"1992","unstructured":"Sadek, M. D. (1992) A Study in the Logic of Intention. In: Procs. of KR92, p. 462-473, Cambridge, USA, 1992."},{"key":"6_CR88_6","first-page":"79","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"TW Sandholm","year":"1999","unstructured":"Sandholm, T. W. (1999) Distributed Rational Decision Making. In: Weiss, G. (ed.) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. Cambridge: The MIT Press, p.79-120, 1999."},{"key":"6_CR89_6","unstructured":"Schwarz, B.B.; Neuman, Y.; Gil, J.; Ilya, M. (2001). Effects of argumenta-tive activities on collective and individual arguments. European Conference on Computer-Supported Collaborative Learning - Euro-CSCL 2001, Maastricht, 22- 24 March 2001."},{"issue":"4","key":"6_CR90_6","first-page":"3","volume":"1","author":"JA Self","year":"1990","unstructured":"Self, J.A. (1990) Theoretical Foundations for Intelligent Tutoring Systems. In: Journal of Artificial Intelligence in Education, 1(4), p.3-14.","journal-title":"Journal of Artificial Intelligence in Education"},{"key":"6_CR91_6","unstructured":"Self, J.A. (1992) Computational Viewpoints. In Moyse &#x0026; Elsom-Cook, pp. 21-40"},{"key":"6_CR92_6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/978-3-662-03037-0_12","volume-title":"Student Modelling: The Key to Individualized Knowledge-Based Instruction","author":"JA Self","year":"1994","unstructured":"Self, J.A. (1994) Formal approaches to student modelling, in: G.I. McCalla, J. Greer (Eds.), Student Modelling: The Key to Individualized Knowledge-Based Instruction, Springer, Berlin, 1994, p. 295-352."},{"key":"6_CR93_6","doi-asserted-by":"crossref","unstructured":"Vicari, R.M., Flores, C.D., Seixas, L., Silvestre, A., Ladeira, M., Coelho, H. (2003) A Multi-Agent Intelligent Environment for Medical Knowledge. In: Journal of Artificial Intelligence in Medicine, Vol.27. Elsevier Science, Amsterdam, p. 335-366.","DOI":"10.1016\/S0933-3657(03)00009-5"},{"key":"6_CR94_6","unstructured":"Varian, H. R. (2003) Intermediate Microeconomics: a Modern Approach. W.W. Norton &#x0026; Company, 2003."},{"key":"6_CR95_6","first-page":"165","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"M Yokoo","year":"1999","unstructured":"Yokoo, M., Ishida, T. (1999) Search Algorithms for Agents. In: Weiss, G. (ed.) Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. Cambridge: The MIT Press, p.165-200, 1999."}],"container-title":["Studies in Computational Intelligence","Intelligent Educational Machines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44921-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:37:43Z","timestamp":1620013063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44921-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540449201","9783540449218"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44921-8_6","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2007]]}}}