The jobs puzzle: Taking on the challenge via controlled natural language processing

[1]  Colin White,et al.  An Update on PENG Light , 2009, ALTA.

[2]  Ilkka Niemelä,et al.  Smodels: A System for Answer Set Programming , 2000, ArXiv.

[3]  Stefan Woltran,et al.  Special issue on answer set programming , 2011, AI Commun..

[4]  Geoff Sutcliffe.  The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.

[5]  Chitta Baral,et al.  Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How To Do That Translation , 2011, AAAI Fall Symposium: Advances in Cognitive Systems.

[6]  Jan van Eijck,et al.  Discourse Representation in Context , 2011 .

[7]  Yuliya Lierler,et al.  Knowledge Representation and Question Answering , 2008, Handbook of Knowledge Representation.

[8]  Günther Görz,et al.  Model Generation for Generalized Quantifiers via Answer Set Programming , 2006 .

[9]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[10]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[11]  Victor W. Marek,et al.  Constraint Lingo: towards high-level constraint programming , 2004 .

[12]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[13]  David Roman.  End of days for Communications in print? , 2011, CACM.

[14]  Vladimir Lifschitz,et al.  Answer Set Programming , 2019 .

[15]  Frank van Harmelen,et al.  Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[16]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[17]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[18]  Rolf Schwitter,et al.  Controlled Natural Languages for Knowledge Representation , 2010, COLING.