@inproceedings{ALPFROCOS09, title = "A Declarative Agent Programming Language Based On Action Theories", author = "Conrad Drescher and Stephan Schiffel and Michael Thielscher", year = "2009", address = "Trento, Italy", booktitle = "Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009)", }