EVOLP: An Implementation

Authors:
Martin Slota;João Leite
Affiliations:
Katedra aplikovanej informatiky, Univerzita Komenského, Slovakia and CENTRIA, Universidade Nova de Lisboa, Portugal;CENTRIA, Universidade Nova de Lisboa, Portugal
Venue:
Computational Logic in Multi-Agent Systems
Year:
2008

Citing 7
Cited 4

Logic programs with classical negation

Logic programming
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Evolving Logic Programs

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)

Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Practical extensions in agent programming languages

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
EVOLP: Tranformation-Based Semantics

Computational Logic in Multi-Agent Systems
Adding evolving abilities to a multi-agent system

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems

EVOLP: Tranformation-Based Semantics

Computational Logic in Multi-Agent Systems
A Logic Programming System for Evolving Programs with Temporal Operators

EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Evolving logic programs with temporal operators

Logic programming, knowledge representation, and nonmonotonic reasoning
Playing with rules

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

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.