This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bacchus, F. (1990) Lp, a Logic for Representing and Reasoning wih Statistical Knowledge. Computational Intelligence. v. 6, p. 209-301, 1990. Available at: <http://citeseer.nj.nec.com/>. Accessed on: Nov. 2003.
Baker, M.J. (1994). A model for negotiation in teaching-learning dialogues Journal of Artificial Intelligence in Education,5(2),199-254.
Cohen, P.; Levesque, H. (1990) Intention Is Choice with Commitment. Artificial Intelligence, n. 42, p. 213-261, 1990.
Dillenbourg, P., Self, J.A. (1992) A framework for learner modelling, Interactive Learning Environments 2, 1992, p.111-137.
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.
FIPA. (2002) FIPA Communicative Act Library Specification. Standard SC00037J, FIPA, Dec. 2002. Available at: <http://www.fipa.org/>. Accessed on: Feb. 2004.
Fischer, M., Ghidini, C. (2002). The ABC of Rational Agent Modelling. In: Proceedings of AAMAS 2002, Bologna, Italy, 849-856, 2002.
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ã. 12th Encontro Português de Inteligência Artificial (EPIA 2005, LNAI 3808). Berlin:Springer Verlag, v. 1, p. 488-499.
Flores, C.D., Seixas, L., Gluz, J.C., Patrício, D., Giacomel, F., Gonçalves, 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.
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.
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ática, UFRGS, Porto Alegre, 2005
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.
Halpern, J. Y. (1990) An Analysis of First-Order Logics of Probability. Artificial Intelligence, 46: 311-350, 1990.
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.
Hugin. (2005) Available at: <http://www.hugin.com> Accessed on: Aug. 2005.
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.
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.
Russel, S., Norvig, P. (1995) Artificial Intelligence: a modern approach. New Jersey: Prentice Hall, 1995.
Sadek, M. D. (1992) A Study in the Logic of Intention. In: Procs. of KR92, p. 462-473, Cambridge, USA, 1992.
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.
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.
Self, J.A. (1990) Theoretical Foundations for Intelligent Tutoring Systems. In: Journal of Artificial Intelligence in Education, 1(4), p.3-14.
Self, J.A. (1992) Computational Viewpoints. In Moyse & Elsom-Cook, pp. 21-40
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.
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.
Varian, H. R. (2003) Intermediate Microeconomics: a Modern Approach. W.W. Norton & Company, 2003.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gluz, J.C., Flores, C.D., Vicari, R.M. (2007). Formal Aspects of Pedagogical Negotiation in AMPLIA System. In: Nedjah, N., Mourelle, L.d.M., Borges, M.N., Almeida, N.N.d. (eds) Intelligent Educational Machines. Studies in Computational Intelligence, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44921-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-44921-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44920-1
Online ISBN: 978-3-540-44921-8
eBook Packages: EngineeringEngineering (R0)