@inproceedings{dalt08,
    title = {Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming},
    author = {Koen Hindriks and M. Birna van Riemsdijk},
    booktitle = "Declarative Agent Languages and Technologies VI (DALT'08)",
    year = 2009,
    series = "LNAI",
    volume = "5397",
    pages = "215--232",
    publisher = "Springer"
}