publications:
- title: "Exploring Heuristic Action Selection in Agent Programming"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Wouter Pasman"
    link: "https://researchr.org/alias/wouter-pasman"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-03278-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03278-3_2"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksJP08"
  cites: 0
  citedby: 0
  pages: "24-39"
  booktitle: "Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers"
  editor:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Alexander Pokahr"
    link: "https://researchr.org/alias/alexander-pokahr"
  - name: "Sebastian Sardiña"
    link: "https://researchr.org/alias/sebastian-sardi%C3%A3%C2%B1a"
  volume: "5442"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03277-6"
  kind: "inproceedings"
  key: "HindriksJP08"
- title: "A Programming Logic for Part of the Agent Language 3APL"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Wiebe van der Hoek"
    link: "https://researchr.org/alias/wiebe-van-der-hoek"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1871/18710078.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1871/18710078.htm"
  tags:
  - "programming languages"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/HindriksBHM00%3A1"
  cites: 0
  citedby: 0
  pages: "78-89"
  booktitle: "Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers"
  editor:
  - name: "James L. Rash"
    link: "https://researchr.org/alias/james-l.-rash"
  - name: "Christopher Rouff"
    link: "https://researchr.org/alias/christopher-rouff"
  - name: "Walt Truszkowski"
    link: "https://researchr.org/alias/walt-truszkowski"
  - name: "Diana F. Gordon"
    link: "https://researchr.org/alias/diana-f.-gordon"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1871"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42716-3"
  kind: "inproceedings"
  key: "HindriksBHM00:1"
- title: "Architecture for Agent Programming Languages"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Mark d Inverno"
    link: "https://researchr.org/alias/mark-d-inverno"
  - name: "Michael Luck"
    link: "https://researchr.org/alias/michael-luck"
  year: "2000"
  tags:
  - "programming languages"
  - "architecture"
  - "programming"
  researchr: "https://researchr.org/publication/HindriksIL00"
  cites: 0
  citedby: 0
  pages: "363-367"
  booktitle: "ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000"
  editor:
  - name: "Werner Horn"
    link: "https://researchr.org/alias/werner-horn"
  publisher: "IOS Press"
  kind: "inproceedings"
  key: "HindriksIL00"
- title: "Towards a Verification Framework for Communicating Rational Agents"
  author:
  - name: "Nils Bulling"
    link: "https://researchr.org/alias/nils-bulling"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04143-3_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04143-3_16"
  researchr: "https://researchr.org/publication/BullingH09"
  cites: 0
  citedby: 0
  pages: "177-182"
  booktitle: "Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings"
  editor:
  - name: "Lars Braubach"
    link: "https://researchr.org/alias/lars-braubach"
  - name: "Wiebe van der Hoek"
    link: "https://researchr.org/alias/wiebe-van-der-hoek"
  - name: "Paolo Petta"
    link: "https://researchr.org/alias/paolo-petta"
  - name: "Alexander Pokahr"
    link: "https://researchr.org/alias/alexander-pokahr"
  volume: "5774"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04142-6"
  kind: "inproceedings"
  key: "BullingH09"
- title: "Modules as Policy-Based Intentions: Modular Agent Programming in GOAL"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-79043-3_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79043-3_10"
  tags:
  - "rule-based"
  - "programming"
  researchr: "https://researchr.org/publication/Hindriks07"
  cites: 0
  citedby: 0
  pages: "156-171"
  booktitle: "Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers"
  editor:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Amal El Fallah-Seghrouchni"
    link: "https://researchr.org/alias/amal-el-fallah-seghrouchni"
  - name: "Alessandro Ricci"
    link: "https://researchr.org/alias/alessandro-ricci"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "4908"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79042-6"
  kind: "inproceedings"
  key: "Hindriks07"
- title: "Eliminating Interdependencies Between Issues for Multi-issue Negotiation"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11839354_22"
  links:
    doi: "http://dx.doi.org/10.1007/11839354_22"
  researchr: "https://researchr.org/publication/HindriksJT06"
  cites: 0
  citedby: 0
  pages: "301-316"
  booktitle: "Cooperative Information Agents X, 10th International Workshop, CIA 2006, Edinburgh, UK, September 11-13, 2006, Proceedings"
  editor:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Michael Rovatsos"
    link: "https://researchr.org/alias/michael-rovatsos"
  - name: "Terry R. Payne"
    link: "https://researchr.org/alias/terry-r.-payne"
  volume: "4149"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-38569-X"
  kind: "inproceedings"
  key: "HindriksJT06"
- title: "Combining Multiple Knowledge Representation Technologies into Agent Programming Languages"
  author:
  - name: "Mehdi Dastani"
    link: "http://people.cs.uu.nl/mehdi/"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Peter Novák"
    link: "https://researchr.org/alias/peter-nov%C3%A1k"
  - name: "Nick A. M. Tinnemeier"
    link: "https://researchr.org/alias/nick-a.-m.-tinnemeier"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-93920-7_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-93920-7_5"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/DastaniHNT08"
  cites: 0
  citedby: 0
  pages: "60-74"
  booktitle: "Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers"
  editor:
  - name: "Matteo Baldoni"
    link: "https://researchr.org/alias/matteo-baldoni"
  - name: "Tran Cao Son"
    link: "https://researchr.org/alias/tran-cao-son"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "5397"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-93919-1"
  kind: "inproceedings"
  key: "DastaniHNT08"
- title: "Agent programming with temporally extended goals"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558013.1558031"
  links:
    doi: "http://doi.acm.org/10.1145/1558013.1558031"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksHR09"
  cites: 0
  citedby: 0
  pages: "137-144"
  booktitle: "8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1"
  editor:
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Keith S. Decker"
    link: "https://researchr.org/alias/keith-s.-decker"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-6-1"
  kind: "inproceedings"
  key: "HindriksHR09"
- title: "Automatic Issue Extraction from a Focused Dialogue"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Stijn Hoppenbrouwers"
    link: "https://researchr.org/alias/stijn-hoppenbrouwers"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73351-5_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73351-5_18"
  researchr: "https://researchr.org/publication/HindriksHJT07"
  cites: 0
  citedby: 0
  pages: "204-216"
  booktitle: "Natural Language Processing and Information Systems, 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings"
  editor:
  - name: "Zoubida Kedad"
    link: "https://researchr.org/alias/zoubida-kedad"
  - name: "Nadira Lammari"
    link: "https://researchr.org/alias/nadira-lammari"
  - name: "Elisabeth Métais"
    link: "https://researchr.org/alias/elisabeth-m%C3%A9tais"
  - name: "Farid Meziane"
    link: "https://researchr.org/alias/farid-meziane"
  - name: "Yacine Rezgui"
    link: "https://researchr.org/alias/yacine-rezgui"
  volume: "4592"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73350-8"
  kind: "inproceedings"
  key: "HindriksHJT07"
- title: "A Formal Embedding of AgentSpeak(L) in 3APL"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1998"
  researchr: "https://researchr.org/publication/HindriksBHM98%3A0"
  cites: 0
  citedby: 0
  pages: "155-166"
  booktitle: "Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI  98, Brisbane, Australia, July 13-17, 1998, Selected Papers"
  editor:
  - name: "Grigoris Antoniou"
    link: "https://researchr.org/alias/grigoris-antoniou"
  - name: "John K. Slaney"
    link: "https://researchr.org/alias/john-k.-slaney"
  volume: "1502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65138-1"
  kind: "inproceedings"
  key: "HindriksBHM98:0"
- title: "Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-93920-7_14"
  links:
    doi: "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:
  - name: "Matteo Baldoni"
    link: "https://researchr.org/alias/matteo-baldoni"
  - name: "Tran Cao Son"
    link: "https://researchr.org/alias/tran-cao-son"
  - name: "M. Birna van Riemsdijk"
    link: "http://mmi.tudelft.nl/~birna/"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "5397"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-93919-1"
  kind: "inproceedings"
  key: "HindriksR08"
- title: "A Programming Language for Coordinating Group Actions"
  author:
  - name: "Wieke de Vries"
    link: "https://researchr.org/alias/wieke-de-vries"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2296/22960313.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2296/22960313.htm"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/VriesBHHM01"
  cites: 0
  citedby: 0
  pages: "313-321"
  booktitle: "From Theory to Practice in Multi-Agent Systems, Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers"
  editor:
  - name: "Barbara Dunin-Keplicz"
    link: "https://researchr.org/alias/barbara-dunin-keplicz"
  - name: "Edward Nawarecki"
    link: "https://researchr.org/alias/edward-nawarecki"
  volume: "2296"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43370-8"
  kind: "inproceedings"
  key: "VriesBHHM01"
- title: "An Empirical Study of Agent Programs"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11161-7_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11161-7_14"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/RiemsdijkH09"
  cites: 0
  citedby: 0
  pages: "200-215"
  booktitle: "Principles of Practice in Multi-Agent Systems, 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings"
  editor:
  - name: "Jung-Jin Yang"
    link: "https://researchr.org/alias/jung-jin-yang"
  - name: "Makoto Yokoo"
    link: "https://researchr.org/alias/makoto-yokoo"
  - name: "Takayuki Ito"
    link: "https://researchr.org/alias/takayuki-ito"
  - name: "Zhi Jin"
    link: "https://researchr.org/alias/zhi-jin"
  - name: "Paul Scerri"
    link: "https://researchr.org/alias/paul-scerri"
  volume: "5925"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-11160-0"
  kind: "inproceedings"
  key: "RiemsdijkH09"
- title: "Model Checking Agent Programs by Using the Program Interpreter"
  author:
  - name: "Sung-Shik T. Q. Jongmans"
    link: "https://researchr.org/alias/sung-shik-t.-q.-jongmans"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14977-1_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14977-1_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/clima/JongmansHR10"
  tags:
  - "meta programming"
  - "model checking"
  - "meta-model"
  - "interpreter"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/JongmansHR10"
  cites: 0
  citedby: 0
  pages: "219-237"
  booktitle: "Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMAXI, Lisbon, Portugal, August 16-17, 2010. Proceedings"
  editor:
  - name: "Jürgen Dix"
    link: "https://researchr.org/alias/j%C3%BCrgen-dix"
  - name: "João Leite"
    link: "https://researchr.org/alias/jo%C3%A3o-leite"
  - name: "Guido Governatori"
    link: "https://researchr.org/alias/guido-governatori"
  - name: "Wojtek Jamroga"
    link: "https://researchr.org/alias/wojtek-jamroga"
  volume: "6245"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14976-4"
  kind: "inproceedings"
  key: "JongmansHR10"
- title: "Using opponent models for efficient negotiation"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558109.1558233"
  links:
    doi: "http://doi.acm.org/10.1145/1558109.1558233"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HindriksJT09"
  cites: 0
  citedby: 0
  pages: "1243-1244"
  booktitle: "8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2"
  editor:
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Keith S. Decker"
    link: "https://researchr.org/alias/keith-s.-decker"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-7-8"
  kind: "inproceedings"
  key: "HindriksJT09"
- title: "Control Structures of Rule-Based Agent Languages"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1998"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/HindriksBHM98"
  cites: 0
  citedby: 0
  pages: "381-396"
  booktitle: "Intelligent Agents V, Agent Theories, Architectures, and Languages, 5th International Workshop, ATAL  98, Paris, France, July 4-7, 1998, Proceedings"
  editor:
  - name: "Jörg P. Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-p.-m%C3%BCller"
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Anand S. Rao"
    link: "https://researchr.org/alias/anand-s.-rao"
  volume: "1555"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65713-4"
  kind: "inproceedings"
  key: "HindriksBHM98"
- title: "GOAL as a Planning Formalism"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Tijmen Roberti"
    link: "https://researchr.org/alias/tijmen-roberti"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04143-3_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04143-3_4"
  researchr: "https://researchr.org/publication/HindriksR09"
  cites: 0
  citedby: 0
  pages: "29-40"
  booktitle: "Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings"
  editor:
  - name: "Lars Braubach"
    link: "https://researchr.org/alias/lars-braubach"
  - name: "Wiebe van der Hoek"
    link: "https://researchr.org/alias/wiebe-van-der-hoek"
  - name: "Paolo Petta"
    link: "https://researchr.org/alias/paolo-petta"
  - name: "Alexander Pokahr"
    link: "https://researchr.org/alias/alexander-pokahr"
  volume: "5774"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04142-6"
  kind: "inproceedings"
  key: "HindriksR09"
- title: "Negotiation Dynamics: Analysis, Concession Tactics, and Outcomes"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2007.73"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/IAT.2007.73"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HindriksJT07%3A0"
  cites: 0
  citedby: 0
  pages: "427-433"
  booktitle: "Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5, 2007"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "HindriksJT07:0"
- title: "Programming Organization-Aware Agents"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-10203-5_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-10203-5_9"
  tags:
  - "programming"
  - "context-aware"
  researchr: "https://researchr.org/publication/RiemsdijkHJ09"
  cites: 0
  citedby: 0
  pages: "98-112"
  booktitle: "Engineering Societies in the Agents World X, 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings"
  editor:
  - name: "Huib Aldewereld"
    link: "https://researchr.org/alias/huib-aldewereld"
  - name: "Virginia Dignum"
    link: "https://researchr.org/alias/virginia-dignum"
  - name: "Gauthier Picard"
    link: "https://researchr.org/alias/gauthier-picard"
  volume: "5881"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-10202-8"
  kind: "inproceedings"
  key: "RiemsdijkHJ09"
- title: "Formal Semantics for an Abstract Agent Programming Language"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "1997"
  tags:
  - "programming languages"
  - "semantics"
  - "formal semantics"
  - "programming"
  researchr: "https://researchr.org/publication/HindriksBHM97"
  cites: 0
  citedby: 0
  pages: "215-229"
  booktitle: "Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL  97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings"
  editor:
  - name: "Munindar P. Singh"
    link: "https://researchr.org/alias/munindar-p.-singh"
  - name: "Anand S. Rao"
    link: "https://researchr.org/alias/anand-s.-rao"
  - name: "Michael Wooldridge"
    link: "https://researchr.org/alias/michael-wooldridge"
  volume: "1365"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64162-9"
  kind: "inproceedings"
  key: "HindriksBHM97"
- title: "A Formal Architecture for the 3APL Agent Programming Language"
  author:
  - name: "Mark d Inverno"
    link: "https://researchr.org/alias/mark-d-inverno"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Michael Luck"
    link: "https://researchr.org/alias/michael-luck"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780168.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1878/18780168.htm"
  tags:
  - "programming languages"
  - "architecture"
  - "programming"
  researchr: "https://researchr.org/publication/dInvernoHL00"
  cites: 0
  citedby: 0
  pages: "168-187"
  booktitle: "ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Steve Dunne"
    link: "https://researchr.org/alias/steve-dunne"
  - name: "Andy Galloway"
    link: "https://researchr.org/alias/andy-galloway"
  - name: "Steve King"
    link: "https://researchr.org/alias/steve-king"
  volume: "1878"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67944-8"
  kind: "inproceedings"
  key: "dInvernoHL00"
- title: "Reasoning about multi-attribute preferences"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Wietske Visser"
    link: "https://researchr.org/alias/wietske-visser"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558109.1558183"
  links:
    doi: "http://doi.acm.org/10.1145/1558109.1558183"
  researchr: "https://researchr.org/publication/HindriksJV09"
  cites: 0
  citedby: 0
  pages: "1147-1148"
  booktitle: "8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2"
  editor:
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Keith S. Decker"
    link: "https://researchr.org/alias/keith-s.-decker"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-7-8"
  kind: "inproceedings"
  key: "HindriksJV09"
- title: "Semantics of Communicating Agents Based on Deduction and Abduction"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2000"
  tags:
  - "semantics"
  - "rule-based"
  researchr: "https://researchr.org/publication/HindriksBHM00"
  cites: 0
  citedby: 0
  pages: "63-79"
  booktitle: "Issues in Agent Communication"
  editor:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "Mark Greaves"
    link: "https://researchr.org/alias/mark-greaves"
  volume: "1916"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41144-5"
  kind: "inproceedings"
  key: "HindriksBHM00"
- title: "Towards an Open Negotiation Architecture for Heterogeneous Agents"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85834-8_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85834-8_21"
  tags:
  - "architecture"
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/HindriksJT08"
  cites: 0
  citedby: 0
  pages: "264-279"
  booktitle: "Cooperative Information Agents XII, 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings"
  editor:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Michal Pechoucek"
    link: "https://researchr.org/alias/michal-pechoucek"
  - name: "Axel Polleres"
    link: "https://researchr.org/alias/axel-polleres"
  volume: "5180"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85833-1"
  kind: "inproceedings"
  key: "HindriksJT08"
- title: "Analysis of Negotiation Dynamics"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75119-9_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75119-9_3"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HindriksJT07"
  cites: 0
  citedby: 0
  pages: "27-35"
  booktitle: "Cooperative Information Agents XI, 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings"
  editor:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Mike P. Papazoglou"
    link: "https://researchr.org/alias/mike-p.-papazoglou"
  - name: "Leon Sterling"
    link: "https://researchr.org/alias/leon-sterling"
  volume: "4676"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75118-2"
  kind: "inproceedings"
  key: "HindriksJT07"
- title: "Agent Programming in 3APL"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Wiebe van der Hoek"
    link: "https://researchr.org/alias/wiebe-van-der-hoek"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1999"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksBHM99"
  cites: 0
  citedby: 0
  journal: "Autonomous Agents and Multi-Agent Systems"
  volume: "2"
  number: "4"
  pages: "357-401"
  kind: "article"
  key: "HindriksBHM99"
- title: "The Benefits of Opponent Models in Negotiation"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/WI-IAT.2009.192"
  links:
    doi: "http://dx.doi.org/10.1109/WI-IAT.2009.192"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HindriksJT09-0"
  cites: 0
  citedby: 0
  pages: "439-444"
  booktitle: "Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, Milan, Italy, 15-18 September 2009"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "HindriksJT09-0"
- title: "Genius: negotiation environment for heterogeneous agents"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Sarit Kraus"
    link: "https://researchr.org/alias/sarit-kraus"
  - name: "Raz Lin"
    link: "https://researchr.org/alias/raz-lin"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1558109.1558313"
  links:
    doi: "http://doi.acm.org/10.1145/1558109.1558313"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HindriksJKLT09"
  cites: 0
  citedby: 0
  pages: "1397-1398"
  booktitle: "8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2"
  editor:
  - name: "Carles Sierra"
    link: "https://researchr.org/alias/carles-sierra"
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Keith S. Decker"
    link: "https://researchr.org/alias/keith-s.-decker"
  - name: "Jaime Simão Sichman"
    link: "https://researchr.org/alias/jaime-sim%C3%A3o-sichman"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-7-8"
  kind: "inproceedings"
  key: "HindriksJKLT09"
- title: "Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Peter Novák"
    link: "https://researchr.org/alias/peter-nov%C3%A1k"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87805-6_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87805-6_9"
  tags:
  - "compiler"
  - "state machines"
  researchr: "https://researchr.org/publication/HindriksN08"
  cites: 0
  citedby: 0
  pages: "86-98"
  booktitle: "Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings"
  editor:
  - name: "Ralph Bergmann"
    link: "https://researchr.org/alias/ralph-bergmann"
  - name: "Gabriela Lindemann"
    link: "https://researchr.org/alias/gabriela-lindemann"
  - name: "Stefan Kirn"
    link: "https://researchr.org/alias/stefan-kirn"
  - name: "Michal Pechoucek"
    link: "https://researchr.org/alias/michal-pechoucek"
  volume: "5244"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87804-9"
  kind: "inproceedings"
  key: "HindriksN08"
- title: "An Embedding of ConGolog in 3APL"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Yves Lespérance"
    link: "https://researchr.org/alias/yves-lesp%C3%A9rance"
  - name: "Hector J. Levesque"
    link: "https://researchr.org/alias/hector-j.-levesque"
  year: "2000"
  researchr: "https://researchr.org/publication/HindriksLL00"
  cites: 0
  citedby: 0
  pages: "558-562"
  booktitle: "ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000"
  editor:
  - name: "Werner Horn"
    link: "https://researchr.org/alias/werner-horn"
  publisher: "IOS Press"
  kind: "inproceedings"
  key: "HindriksLL00"
- title: "Formalizing organizational constraints: a semantic approach"
  author:
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Catholijn M. Jonker"
    link: "https://researchr.org/alias/catholijn-m.-jonker"
  - name: "Maarten Sierhuis"
    link: "https://researchr.org/alias/maarten-sierhuis"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1838206.1838316"
  links:
    doi: "http://doi.acm.org/10.1145/1838206.1838316"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/atal/RiemsdijkHJS10"
  tags:
  - "constraints"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/RiemsdijkHJS10"
  cites: 0
  citedby: 0
  pages: "823-830"
  booktitle: "9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3"
  editor:
  - name: "Wiebe van der Hoek"
    link: "https://researchr.org/alias/wiebe-van-der-hoek"
  - name: "Gal A. Kaminka"
    link: "https://researchr.org/alias/gal-a.-kaminka"
  - name: "Yves Lespérance"
    link: "https://researchr.org/alias/yves-lesp%C3%A9rance"
  - name: "Michael Luck"
    link: "https://researchr.org/alias/michael-luck"
  - name: "Sandip Sen"
    link: "https://researchr.org/alias/sandip-sen"
  publisher: "IFAAMAS"
  isbn: "978-0-9826571-1-9"
  kind: "inproceedings"
  key: "RiemsdijkHJS10"
- title: "HactarV2: An Agent Team Strategy Based on Implicit Coordination"
  author:
  - name: "Marc Dekker"
    link: "https://researchr.org/alias/marc-dekker"
  - name: "Pieter Hameete"
    link: "https://researchr.org/alias/pieter-hameete"
  - name: "Michiel Hegemans"
    link: "https://researchr.org/alias/michiel-hegemans"
  - name: "Sebastiaan Leysen"
    link: "https://researchr.org/alias/sebastiaan-leysen"
  - name: "Joris van den Oever"
    link: "https://researchr.org/alias/joris-van-den-oever"
  - name: "Jeff Smits"
    link: "https://www.jeffsmits.net/"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-31915-0_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31915-0_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/promas/DekkerHHLOSH11"
  researchr: "https://researchr.org/publication/DekkerHHLOSH11"
  cites: 0
  citedby: 0
  pages: "173-184"
  booktitle: "Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers"
  editor:
  - name: "Louise A. Dennis"
    link: "https://researchr.org/alias/louise-a.-dennis"
  - name: "Olivier Boissier"
    link: "https://researchr.org/alias/olivier-boissier"
  - name: "Rafael H. Bordini"
    link: "https://researchr.org/alias/rafael-h.-bordini"
  volume: "7217"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-31914-3"
  kind: "inproceedings"
  key: "DekkerHHLOSH11"
- title: "Agent Logics as Program Logics: Grounding KARO"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-69912-5_30"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69912-5_30"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HindriksM06"
  cites: 0
  citedby: 0
  pages: "404-418"
  booktitle: "KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings"
  editor:
  - name: "Christian Freksa"
    link: "https://researchr.org/alias/christian-freksa"
  - name: "Michael Kohlhase"
    link: "https://researchr.org/alias/michael-kohlhase"
  - name: "Kerstin Schill"
    link: "https://researchr.org/alias/kerstin-schill"
  volume: "4314"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69911-8"
  kind: "inproceedings"
  key: "HindriksM06"
- title: "On Programming KARO Agents"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Rogier M. van Eijk"
    link: "https://researchr.org/alias/rogier-m.-van-eijk"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  year: "2001"
  doi: "http://www3.oup.co.uk/igpl/Volume_09/Issue_02/#Meyer"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_09/Issue_02/#Meyer"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/MeyerBEHH01"
  cites: 0
  citedby: 0
  journal: "Logic Journal of the IGPL"
  volume: "9"
  number: "2"
  pages: "245-256"
  kind: "article"
  key: "MeyerBEHH01"
- title: "Agent Programming with Declarative Goals"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Frank S. de Boer"
    link: "http://homepages.cwi.nl/~frb/"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1986/19860228.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1986/19860228.htm"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksBHM00%3A0"
  cites: 0
  citedby: 0
  pages: "228-243"
  booktitle: "Intelligent Agents VII. Agent Theories Architectures and Languages, 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000, Proceedings"
  editor:
  - name: "Cristiano Castelfranchi"
    link: "https://researchr.org/alias/cristiano-castelfranchi"
  - name: "Yves Lespérance"
    link: "https://researchr.org/alias/yves-lesp%C3%A9rance"
  volume: "1986"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42422-9"
  kind: "inproceedings"
  key: "HindriksBHM00:0"
- title: "Opponent modelling in automated multi-issue negotiation using Bayesian learning"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Dmytro Tykhonov"
    link: "https://researchr.org/alias/dmytro-tykhonov"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1402383.1402433"
  links:
    doi: "http://doi.acm.org/10.1145/1402383.1402433"
  researchr: "https://researchr.org/publication/HindriksT08"
  cites: 0
  citedby: 0
  pages: "331-338"
  booktitle: "7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1"
  editor:
  - name: "Lin Padgham"
    link: "https://researchr.org/alias/lin-padgham"
  - name: "David C. Parkes"
    link: "https://researchr.org/alias/david-c.-parkes"
  - name: "Jörg Müller"
    link: "https://researchr.org/alias/j%C3%B6rg-m%C3%BCller"
  - name: "Simon Parsons"
    link: "https://researchr.org/alias/simon-parsons"
  publisher: "IFAAMAS"
  isbn: "978-0-9817381-0-9"
  kind: "inproceedings"
  key: "HindriksT08"
- title: "A verification framework for agent programming with declarative goals"
  author:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Wiebe van der Hoek"
    link: "https://researchr.org/alias/wiebe-van-der-hoek"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jal.2005.12.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2005.12.014"
  tags:
  - "program verification"
  - "programming"
  researchr: "https://researchr.org/publication/BoerHHM07"
  cites: 0
  citedby: 0
  journal: "J. Applied Logic"
  volume: "5"
  number: "2"
  pages: "277-302"
  kind: "article"
  key: "BoerHHM07"
- title: "Satisfying Maintenance Goals"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-77564-5_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77564-5_6"
  tags:
  - "maintenance"
  researchr: "https://researchr.org/publication/HindriksR07"
  cites: 0
  citedby: 0
  pages: "86-103"
  booktitle: "Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers"
  editor:
  - name: "Matteo Baldoni"
    link: "https://researchr.org/alias/matteo-baldoni"
  - name: "Tran Cao Son"
    link: "https://researchr.org/alias/tran-cao-son"
  - name: "M. Birna van Riemsdijk"
    link: "https://researchr.org/alias/m.-birna-van-riemsdijk"
  - name: "Michael Winikoff"
    link: "https://researchr.org/alias/michael-winikoff"
  volume: "4897"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-77563-8"
  kind: "inproceedings"
  key: "HindriksR07"
- title: "Toward a programming theory for rational agents"
  author:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10458-008-9065-6"
  links:
    doi: "http://dx.doi.org/10.1007/s10458-008-9065-6"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/HindriksM09"
  cites: 0
  citedby: 0
  journal: "Autonomous Agents and Multi-Agent Systems"
  volume: "19"
  number: "1"
  pages: "4-29"
  kind: "article"
  key: "HindriksM09"
- title: "Cooperative Information Agents XI, 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings"
  year: "2007"
  researchr: "https://researchr.org/publication/cia%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Cooperative Information Agents XI, 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings"
  editor:
  - name: "Matthias Klusch"
    link: "https://researchr.org/alias/matthias-klusch"
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Mike P. Papazoglou"
    link: "https://researchr.org/alias/mike-p.-papazoglou"
  - name: "Leon Sterling"
    link: "https://researchr.org/alias/leon-sterling"
  volume: "4676"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75118-2"
  kind: "proceedings"
  key: "cia:2007"
- title: "Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03278-3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03278-3"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/promas-2008"
  cites: 0
  citedby: 0
  booktitle: "Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers"
  conference: "promas"
  editor:
  - name: "Koen V. Hindriks"
    link: "http://mmi.tudelft.nl/~koen/"
  - name: "Alexander Pokahr"
    link: "https://researchr.org/alias/alexander-pokahr"
  - name: "Sebastian Sardiña"
    link: "https://researchr.org/alias/sebastian-sardi%C3%A3%C2%B1a"
  volume: "5442"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03277-6"
  kind: "proceedings"
  key: "promas-2008"