Baral, C. and Dzifcak, J.
2012. Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, Rome, Italy.
Belnap, N. D. Jr
1977. A useful four-valued logic. In Modern uses of multiple-valued logic. Springer, Volume 2, 5–37.
Blair, H. and Subrahmanian, V.
1989. Paraconsistent logic programming. Theoretical Computer Science
Brewka, G., Delgrande, J. P., Romero, J. and Schaub, T.
2015. asprin: Customizing answer set preferences without a headache. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.
AAAI Press, Austin, Texas, 1467–1474.
C. Guéret, C. P. and Sevaux, M.
2000. Programmation linéaire - 65 problèmes d'optimisation modélisés et résolus avec Visual Xpress. Eyrolles, France. ISBN: 2-212-09202-4.
da Costa, N.
1974. On the theory of inconsistent formal systems.
Notre Dame J. of Formal Logic
15, 4 (October), 497–510.
Finkel, R. A., Marek, V. W. and Truszczynski, M.
2004. Constraint lingo: towards high-level constraint programming.
Softw., Pract. Exper.
34, 15, 1481–1504.
Fuchs, N. E., Kaljurand, K. and Kuhn, T.
2008. Attempto controlled English for knowledge representation. In Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures, Lecture Notes in Computer Science, vol. 5224. Springer, Venice, Italy, 104–124.
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Schneider, M.
2011. Potassco: The Potsdam answer set solving collection.
24, 2, 107–124.
Beziau, J. Y., Carnielli, W., D. M. G. 2007. Handbook of Paraconsistency (Studies in Logic). College Publications, United States.
Kifer, M. and Lozinskii, E. L.
1992. A logic for reasoning with inconsistency.
J. Autom. Reasoning
9, 2, 179–215.
Kifer, M. and Subrahmanian, V. S.
1992. Theory of generalized annotated logic programming and its applications.
J. Log. Program.
12, 3&4, 335–367.
Ponnuru, H., Finkel, R. A., Marek, V. W. and Truszczynski, M.
2004. Automatic generation of English-language steps in puzzle solving. In Proceedings of the International Conference on Artificial Intelligence, IC-AI '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1. CSREA Press, Las Vegas, Nevada, USA, 437–442.
Priest, G., Tanaka, K. and Weber, Z.
2015. Paraconsistent logic. In The Stanford Encyclopedia of Philosophy, Spring 2015 ed., Zalta, E. N., Ed. Stanford, USA.
2013. The Jobs Puzzle: Taking on the challenge via controlled natural language processing.
Theory and Practice of Logic Programming
13, 4–5, 487–501.
Shapiro, S. C.
2000. An introduction to sneps 3. In Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings. Springer, Darmstadt, Germany, 510–524.
Shapiro, S. C.
2011. The jobs puzzle: A challenge for logical expressibility and automated reasoning. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, California, USA, March 21-23, 2011. AAAI, Stanford, California, USA.
Soininen, T., Niemelä, I., Tiihonen, J. and Sulonen, R.
2001. Representing configuration knowledge with weight constraint rules. In Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001. Springer, Stanford, California, USA.
Syrjänen, T. and Niemelä, I.
2001. The Smodels system. In Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Springer, Vienna, Austria, 434–438.
White, C. and Schwitter, R.
2009. An update on PENG Light. In Proceedings of ALTA. Vol. 7. Springer, Sydney, Australia, 80–88.
Wos, L., Overbeck, R., Lusk, E. and Boyle, J.
1984. Automated reasoning: Introduction and applications. Prentice Hall Inc., Old Tappan, NJ, United States.