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: "promas"
  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: "faabs"
  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"
  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: "MATES"
  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: "promas"
  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: "cia"
  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: "dalt"
  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: "atal"
  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: "nldb"
  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: "ausai"
  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: "dalt"
  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: "ceemas"
  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: "prima"
  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: "clima"
  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: "atal"
  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: "atal"
  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: "MATES"
  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: "iat"
  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: "esaw"
  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: "atal"
  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: "zum"
  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: "atal"
  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: "agentCL"
  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: "cia"
  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: "cia"
  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: "AAMAS"
  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: "iat"
  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: "atal"
  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: "MATES"
  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"
  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: "atal"
  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: "promas"
  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"
  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: "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: "atal"
  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: "atal"
  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: "japll"
  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: "dalt"
  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: "AAMAS"
  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"