@inproceedings{conf/ictai/KallesN02,
  added-at = {2023-03-24T00:00:00.000+0100},
  author = {Kalles, Dimitrios and Ntoutsi, Eirini},
  biburl = {https://www.bibsonomy.org/bibtex/260fd5460aec5d1f599f6f28032ca4c92/dblp},
  booktitle = {ICTAI},
  crossref = {conf/ictai/2002},
  ee = {https://doi.ieeecomputersociety.org/10.1109/TAI.2002.1180834},
  interhash = {547afb3076f36ec1747a69558254b950},
  intrahash = {60fd5460aec5d1f599f6f28032ca4c92},
  isbn = {0-7695-1849-4},
  keywords = {dblp},
  pages = {425-430},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T16:20:36.000+0200},
  title = {Interactive Verification of Game Design and Playing Strategies.},
  url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2002.html#KallesN02},
  year = 2002
}

@inproceedings{Kalles,
  added-at = {2016-11-05T15:53:08.000+0100},
  author = {Kalles, D. and Ntoutsi, E.},
  biburl = {https://www.bibsonomy.org/bibtex/2f4b1163c831109fcb02f0a37b77a0bba/entoutsi},
  booktitle = {14th {IEEE} International Conference on Tools with Artificial Intelligence, 2002. ({ICTAI} 2002). Proceedings.},
  doi = {10.1109/tai.2002.1180834},
  interhash = {547afb3076f36ec1747a69558254b950},
  intrahash = {f4b1163c831109fcb02f0a37b77a0bba},
  keywords = {classification decisiontreelearning myown},
  publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
  timestamp = {2016-11-05T15:53:08.000+0100},
  title = {Interactive verification of game design and playing strategies},
  url = {http://dx.doi.org/10.1109/TAI.2002.1180834},
  year = 2002
}