@inproceedings{HindriksJP08,
  title = {Exploring Heuristic Action Selection in Agent Programming},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Wouter Pasman},
  year = {2008},
  doi = {10.1007/978-3-642-03278-3_2},
  url = {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 = {Koen V. Hindriks and Alexander Pokahr and Sebastian Sardiña},
  volume = {5442},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03277-6},
}

@inproceedings{HindriksBHM00:1,
  title = {A Programming Logic for Part of the Agent Language 3APL},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2000},
  url = {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 = {James L. Rash and Christopher Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey},
  volume = {1871},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42716-3},
}

@inproceedings{HindriksIL00,
  title = {Architecture for Agent Programming Languages},
  author = {Koen V. Hindriks and Mark d Inverno and 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 = {Werner Horn},
  publisher = {IOS Press},
}

@inproceedings{BullingH09,
  title = {Towards a Verification Framework for Communicating Rational Agents},
  author = {Nils Bulling and Koen V. Hindriks},
  year = {2009},
  doi = {10.1007/978-3-642-04143-3_16},
  url = {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 = {Lars Braubach and Wiebe van der Hoek and Paolo Petta and Alexander Pokahr},
  volume = {5774},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04142-6},
}

@inproceedings{Hindriks07,
  title = {Modules as Policy-Based Intentions: Modular Agent Programming in GOAL},
  author = {Koen V. Hindriks},
  year = {2007},
  doi = {10.1007/978-3-540-79043-3_10},
  url = {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 = {Mehdi Dastani and Amal El Fallah-Seghrouchni and Alessandro Ricci and Michael Winikoff},
  volume = {4908},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79042-6},
}

@inproceedings{HindriksJT06,
  title = {Eliminating Interdependencies Between Issues for Multi-issue Negotiation},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2006},
  doi = {10.1007/11839354_22},
  url = {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 = {Matthias Klusch and Michael Rovatsos and Terry R. Payne},
  volume = {4149},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38569-X},
}

@inproceedings{DastaniHNT08,
  title = {Combining Multiple Knowledge Representation Technologies into Agent Programming Languages},
  author = {Mehdi Dastani and Koen V. Hindriks and Peter Novák and Nick A. M. Tinnemeier},
  year = {2008},
  doi = {10.1007/978-3-540-93920-7_5},
  url = {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 = {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},
}

@inproceedings{HindriksHR09,
  title = {Agent programming with temporally extended goals},
  author = {Koen V. Hindriks and Wiebe van der Hoek and M. Birna van Riemsdijk},
  year = {2009},
  doi = {10.1145/1558013.1558031},
  url = {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 = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-6-1},
}

@inproceedings{HindriksHJT07,
  title = {Automatic Issue Extraction from a Focused Dialogue},
  author = {Koen V. Hindriks and Stijn Hoppenbrouwers and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2007},
  doi = {10.1007/978-3-540-73351-5_18},
  url = {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 = {Zoubida Kedad and Nadira Lammari and Elisabeth Métais and Farid Meziane and Yacine Rezgui},
  volume = {4592},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73350-8},
}

@inproceedings{HindriksBHM98:0,
  title = {A Formal Embedding of AgentSpeak(L) in 3APL},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Grigoris Antoniou and John K. Slaney},
  volume = {1502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65138-1},
}

@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},
}

@inproceedings{VriesBHHM01,
  title = {A Programming Language for Coordinating Group Actions},
  author = {Wieke de Vries and Frank S. de Boer and Koen V. Hindriks and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2001},
  url = {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 = {Barbara Dunin-Keplicz and Edward Nawarecki},
  volume = {2296},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43370-8},
}

@inproceedings{RiemsdijkH09,
  title = {An Empirical Study of Agent Programs},
  author = {M. Birna van Riemsdijk and Koen V. Hindriks},
  year = {2009},
  doi = {10.1007/978-3-642-11161-7_14},
  url = {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 = {Jung-Jin Yang and Makoto Yokoo and Takayuki Ito and Zhi Jin and Paul Scerri},
  volume = {5925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11160-0},
}

@inproceedings{JongmansHR10,
  title = {Model Checking Agent Programs by Using the Program Interpreter},
  author = {Sung-Shik T. Q. Jongmans and Koen V. Hindriks and M. Birna van Riemsdijk},
  year = {2010},
  doi = {10.1007/978-3-642-14977-1_17},
  url = {http://dx.doi.org/10.1007/978-3-642-14977-1_17},
  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 = {Jürgen Dix and João Leite and Guido Governatori and Wojtek Jamroga},
  volume = {6245},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14976-4},
}

@inproceedings{HindriksJT09,
  title = {Using opponent models for efficient negotiation},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2009},
  doi = {10.1145/1558109.1558233},
  url = {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 = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-7-8},
}

@inproceedings{HindriksBHM98,
  title = {Control Structures of Rule-Based Agent Languages},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Jörg P. Müller and Munindar P. Singh and Anand S. Rao},
  volume = {1555},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65713-4},
}

@inproceedings{HindriksR09,
  title = {GOAL as a Planning Formalism},
  author = {Koen V. Hindriks and Tijmen Roberti},
  year = {2009},
  doi = {10.1007/978-3-642-04143-3_4},
  url = {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 = {Lars Braubach and Wiebe van der Hoek and Paolo Petta and Alexander Pokahr},
  volume = {5774},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04142-6},
}

@inproceedings{HindriksJT07:0,
  title = {Negotiation Dynamics: Analysis, Concession Tactics, and Outcomes},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2007},
  doi = {10.1109/IAT.2007.73},
  url = {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},
}

@inproceedings{RiemsdijkHJ09,
  title = {Programming Organization-Aware Agents},
  author = {M. Birna van Riemsdijk and Koen V. Hindriks and Catholijn M. Jonker},
  year = {2009},
  doi = {10.1007/978-3-642-10203-5_9},
  url = {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 = {Huib Aldewereld and Virginia Dignum and Gauthier Picard},
  volume = {5881},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-10202-8},
}

@inproceedings{HindriksBHM97,
  title = {Formal Semantics for an Abstract Agent Programming Language},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Munindar P. Singh and Anand S. Rao and Michael Wooldridge},
  volume = {1365},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64162-9},
}

@inproceedings{dInvernoHL00,
  title = {A Formal Architecture for the 3APL Agent Programming Language},
  author = {Mark d Inverno and Koen V. Hindriks and Michael Luck},
  year = {2000},
  url = {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 = {Jonathan P. Bowen and Steve Dunne and Andy Galloway and Steve King},
  volume = {1878},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67944-8},
}

@inproceedings{HindriksJV09,
  title = {Reasoning about multi-attribute preferences},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Wietske Visser},
  year = {2009},
  doi = {10.1145/1558109.1558183},
  url = {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 = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-7-8},
}

@inproceedings{HindriksBHM00,
  title = {Semantics of Communicating Agents Based on Deduction and Abduction},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  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 = {Frank Dignum and Mark Greaves},
  volume = {1916},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41144-5},
}

@inproceedings{HindriksJT08,
  title = {Towards an Open Negotiation Architecture for Heterogeneous Agents},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2008},
  doi = {10.1007/978-3-540-85834-8_21},
  url = {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 = {Matthias Klusch and Michal Pechoucek and Axel Polleres},
  volume = {5180},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85833-1},
}

@inproceedings{HindriksJT07,
  title = {Analysis of Negotiation Dynamics},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2007},
  doi = {10.1007/978-3-540-75119-9_3},
  url = {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 = {Matthias Klusch and Koen V. Hindriks and Mike P. Papazoglou and Leon Sterling},
  volume = {4676},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75118-2},
}

@article{HindriksBHM99,
  title = {Agent Programming in 3APL},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and 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},
}

@inproceedings{HindriksJT09-0,
  title = {The Benefits of Opponent Models in Negotiation},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Dmytro Tykhonov},
  year = {2009},
  doi = {10.1109/WI-IAT.2009.192},
  url = {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},
}

@inproceedings{HindriksJKLT09,
  title = {Genius: negotiation environment for heterogeneous agents},
  author = {Koen V. Hindriks and Catholijn M. Jonker and Sarit Kraus and Raz Lin and Dmytro Tykhonov},
  year = {2009},
  doi = {10.1145/1558109.1558313},
  url = {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 = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-7-8},
}

@inproceedings{HindriksN08,
  title = {Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines},
  author = {Koen V. Hindriks and Peter Novák},
  year = {2008},
  doi = {10.1007/978-3-540-87805-6_9},
  url = {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 = {Ralph Bergmann and Gabriela Lindemann and Stefan Kirn and Michal Pechoucek},
  volume = {5244},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87804-9},
}

@inproceedings{HindriksLL00,
  title = {An Embedding of ConGolog in 3APL},
  author = {Koen V. Hindriks and Yves Lespérance and 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 = {Werner Horn},
  publisher = {IOS Press},
}

@inproceedings{RiemsdijkHJS10,
  title = {Formalizing organizational constraints: a semantic approach},
  author = {M. Birna van Riemsdijk and Koen V. Hindriks and Catholijn M. Jonker and Maarten Sierhuis},
  year = {2010},
  doi = {10.1145/1838206.1838316},
  url = {http://doi.acm.org/10.1145/1838206.1838316},
  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 = {Wiebe van der Hoek and Gal A. Kaminka and Yves Lespérance and Michael Luck and Sandip Sen},
  publisher = {IFAAMAS},
  isbn = {978-0-9826571-1-9},
}

@inproceedings{DekkerHHLOSH11,
  title = {HactarV2: An Agent Team Strategy Based on Implicit Coordination},
  author = {Marc Dekker and Pieter Hameete and Michiel Hegemans and Sebastiaan Leysen and Joris van den Oever and Jeff Smits and Koen V. Hindriks},
  year = {2011},
  doi = {10.1007/978-3-642-31915-0_10},
  url = {http://dx.doi.org/10.1007/978-3-642-31915-0_10},
  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 = {Louise A. Dennis and Olivier Boissier and Rafael H. Bordini},
  volume = {7217},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31914-3},
}

@inproceedings{HindriksM06,
  title = {Agent Logics as Program Logics: Grounding KARO},
  author = {Koen V. Hindriks and John-Jules Ch. Meyer},
  year = {2006},
  doi = {10.1007/978-3-540-69912-5_30},
  url = {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 = {Christian Freksa and Michael Kohlhase and Kerstin Schill},
  volume = {4314},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69911-8},
}

@article{MeyerBEHH01,
  title = {On Programming KARO Agents},
  author = {John-Jules Ch. Meyer and Frank S. de Boer and Rogier M. van Eijk and Koen V. Hindriks and Wiebe van der Hoek},
  year = {2001},
  url = {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},
}

@inproceedings{HindriksBHM00:0,
  title = {Agent Programming with Declarative Goals},
  author = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2000},
  url = {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 = {Cristiano Castelfranchi and Yves Lespérance},
  volume = {1986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42422-9},
}

@inproceedings{HindriksT08,
  title = {Opponent modelling in automated multi-issue negotiation using Bayesian learning},
  author = {Koen V. Hindriks and Dmytro Tykhonov},
  year = {2008},
  doi = {10.1145/1402383.1402433},
  url = {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 = {Lin Padgham and David C. Parkes and Jörg Müller and Simon Parsons},
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-0-9},
}

@article{BoerHHM07,
  title = {A verification framework for agent programming with declarative goals},
  author = {Frank S. de Boer and Koen V. Hindriks and Wiebe van der Hoek and John-Jules Ch. Meyer},
  year = {2007},
  doi = {10.1016/j.jal.2005.12.014},
  url = {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},
}

@inproceedings{HindriksR07,
  title = {Satisfying Maintenance Goals},
  author = {Koen V. Hindriks and M. Birna van Riemsdijk},
  year = {2007},
  doi = {10.1007/978-3-540-77564-5_6},
  url = {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 = {Matteo Baldoni and Tran Cao Son and M. Birna van Riemsdijk and Michael Winikoff},
  volume = {4897},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77563-8},
}

@article{HindriksM09,
  title = {Toward a programming theory for rational agents},
  author = {Koen V. Hindriks and John-Jules Ch. Meyer},
  year = {2009},
  doi = {10.1007/s10458-008-9065-6},
  url = {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},
}
@proceedings{cia:2007,
  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 = {Matthias Klusch and Koen V. Hindriks and Mike P. Papazoglou and Leon Sterling},
  volume = {4676},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75118-2},
}

@proceedings{promas-2008,
  title = {Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers},
  year = {2009},
  doi = {10.1007/978-3-642-03278-3},
  url = {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 = {Koen V. Hindriks and Alexander Pokahr and Sebastian Sardiña},
  volume = {5442},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03277-6},
}