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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Schwitter, R. (2008). Reconstructing hard problems in a human-readable and machine-processable way. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5351 LNAI, pp. 1046–1052). https://doi.org/10.1007/978-3-540-89197-0_105
Mendeley helps you to discover research relevant for your work.