@inproceedings{grivokostopoulou:hal-01521414,
  TITLE = {{Assistant Tools for Teaching FOL to CF Conversion}},
  AUTHOR = {Grivokostopoulou, Foteini and Perikos, Isidoros and Hatzilygeroudis, Ioannis},
  URL = {https://inria.hal.science/hal-01521414},
  NOTE = {Part 8: Multi Attribute DSS},
  BOOKTITLE = {{8th International Conference on Artificial Intelligence Applications and Innovations (AIAI)}},
  ADDRESS = {Halkidiki, Greece},
  EDITOR = {Lazaros Iliadis and Ilias Maglogiannis and Harris Papadopoulos},
  PUBLISHER = {{Springer}},
  SERIES = {Artificial Intelligence Applications and Innovations},
  VOLUME = {AICT-381},
  NUMBER = {Part I},
  PAGES = {306-315},
  YEAR = {2012},
  MONTH = Sep,
  DOI = {10.1007/978-3-642-33409-2\_32},
  KEYWORDS = {Tutor assistant tool ; Student progress statistics ; Difficulty level estimation ; First Order Logic ; Clause Form},
  PDF = {https://inria.hal.science/hal-01521414/file/978-3-642-33409-2_32_Chapter.pdf},
  HAL_ID = {hal-01521414},
  HAL_VERSION = {v1},
}