Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

Koen V. Hindriks, M. Birna van Riemsdijk. Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. In Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff, editors, Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Volume 5397 of Lecture Notes in Computer Science, pages 215-232, Springer, 2008. [doi]

@inproceedings{HindriksR08,
  title = {Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming},
  author = {Koen V. Hindriks and M. Birna van Riemsdijk},
  year = {2008},
  doi = {10.1007/978-3-540-93920-7_14},
  url = {http://dx.doi.org/10.1007/978-3-540-93920-7_14},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/HindriksR08},
  cites = {0},
  citedby = {0},
  pages = {215-232},
  booktitle = {Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers},
  editor = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff},
  volume = {5397},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-93919-1},
}