@inproceedings{19ba9aef5f6f4f1aad27418dade31101,
title = "Reconstructing hard problems in a human-readable and machine-processable way",
abstract = "This paper shows how a controlled natural language can help to reconstruct a logic puzzle in a well-defined subset of natural language and discusses how this puzzle can then be processed and solved using a state of the art model generator. Our approach relies on a collaboration between humans and machines and bridges the gap between a (seemingly informal) problem description and an executable formal specification.",
author = "Rolf Schwitter",
year = "2008",
doi = "10.1007/978-3-540-89197-0_105",
language = "English",
isbn = "354089196X",
volume = "5351 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "1046--1052",
editor = "Tu-Bao Ho and Zhi-Hua Zhou",
booktitle = "PRICAI 2008: Trends in Artificial Intelligence - 10th Pacific Rim International Conference on Artificial Intelligence, Proceedings",
address = "United States",
note = "10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008 ; Conference date: 15-12-2008 Through 19-12-2008",
}