Abstract
The paper presents the use of Evolving Logic Programming to model adaptive controllers. The advantage of using well-defined, self-evolving logic-based controllers is that it is possible to model dynamic environments, and to formally prove systems' requirements.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-094

BibTeX:

@inproceedings{REWERSE-RP-2006-094,
	author = {Pierangelo Dell’Acqua and Anna Lombardi and Luís Moniz Pereira},
	title = {Modelling adaptive controllers with evolving logic programs},
	booktitle = {Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics, Setúbal, Portugal (1st--5th August 2006)},
	year = {2006},
	organization = {INSTICC},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-094}
}