Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

EVOLP: An Implementation

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5056))

Included in the following conference series:

  • 341 Accesses

Abstract

In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations used in the implementation.

This research has been funded by the European Commission within the 6th Framework Programme project REWERSE number 506779 (cf. http://rewerse.net ). It was also supported by the Slovak Agency for Promotion Research and Development under the contract No. APVV-20-P04805.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Slota, M., Leite, J.A.: EVOLP: Transformation-based semantics. In: Sadri, F., Satoh, K. (eds.) Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII) (2008) (in this volume)

    Google Scholar 

  2. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th international conference on logic programming, pp. 579–597. MIT Press, Cambridge (1990)

    Google Scholar 

  4. Leite, J.A., Soares, L.: Adding evolving abilities to a multi-agent system. In: Satoh, K., Inoue, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 246–265. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Klusch, M., Ossowski, S., Omicini, A., Laamanen, H. (eds.) CIA 2003. LNCS (LNAI), vol. 2782, pp. 281–297. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons, Chichester (2007)

    Book  MATH  Google Scholar 

  7. Dastani, M., Hobo, D., Meyer, J.-J.C.: Practical extensions in agent programming languages. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), ACM Press, New York (2007)

    Google Scholar 

  8. Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  9. Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1), 7–32 (2005)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Katedra aplikovanej informatiky, Univerzita Komenského, Slovakia

    Martin Slota

  2. CENTRIA, Universidade Nova de Lisboa, Portugal

    Martin Slota & João Leite

Authors
  1. Martin Slota
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College London, London, UK

    Fariba Sadri

  2. National Institute of Informatics, Sokendai, Japan

    Ken Satoh

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Slota, M., Leite, J. (2008). EVOLP: An Implementation. In: Sadri, F., Satoh, K. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2007. Lecture Notes in Computer Science(), vol 5056. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88833-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88833-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88832-1

  • Online ISBN: 978-3-540-88833-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics