Mitra, A., and Baral, C. 2015. Learning to Automatically
Solve Logic Grid Puzzles. In Proceedings of the 2015 Conference
on Empirical Methods in Natural Language Processing, EMNLP
2015, 1023–1033. Stroudsburg, PA: The Association for
Computational Linguistics. doi.org/10.18653/v1/D15-1118
Morton, K., and Qu, Y. 2013. A Novel Framework for Math
Word Problem Solving. International Journal of Information
and Education Technology 3( 1) (February). doi.org/10.7763/
Mukherjee, A., and Garain, U. 2008. A Review of Methods
for Automatic Understanding of Natural Language Mathematical Problems. Artificial Intelligence Review 29( 2): 93–122.
Nilsson, N. J. 2005. Human-Level Artificial Intelligence? Be
Serious! AI Magazine 26( 4): 68–75. doi.org/10.1609/aimag.
Pastra, K., and Wilks, Y. 2004. Vision-Language Integration
in AI: A Reality Check. In Proceedings of the 16th European
Conference on Artificial Intelligence, ECAI’2004. Frontiers of
Artificial Intelligence and Applications 285, 937–944.
Amsterdam, The Netherlands: IOS Press.
Robinson, J. A. 1965. A Machine-Oriented Logic Based on
the Resolution Principle. Journal of the ACM 12( 1): 23–41.
Roy, S.; Vieira, T.; and Roth, D. 2015. Reasoning About
Quantities in Natural Language. Transactions of the Association for Computational Linguistics 3: 1–13.
Seo, M. J.; Hajishirzi, H.; Farhadi, A.; and Etzioni, O. 2014.
Diagram Understanding in Geometry Questions. In
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2831–2838. Palo Alto, CA: AAAI Press. doi.org/
Seo, M. J.; Hajishirzi, H.; Farhadi, A.; Etzioni, O.; and Malcolm, C. 2015. Solving Geometry Problems: Combining Text
and Diagram Interpretation. In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing,
EMNLP 2015, 1466–1476. Stroudsburg, PA: The Association
for Computational Linguistics.
Shi, S.; Wang, Y.; Lin, C.; Liu, X.; and Rui, Y. 2015. Automatically Solving Number Word Problems by Semantic Parsing and Reasoning. In Proceedings of the 2015 Conference on
Empirical Methods in Natural Language Processing, EMNLP
2015, 1132–1142. Stroudsburg, PA: The Association for
Computational Linguistics. doi.org/10.18653/v1/D15-1135
Silver, D.; Huang, A.; Maddison, C. J.; Guez, A.; Sifre, L.; van
den Driessche, G.; Schrittwieser, J.; Antonoglou, I.; Panneer-shelvam, V.; Lanctot, M.; Dieleman, S.; Grewe, D.; Nham, J.;
Kalchbrenner, N.; Sutskever, I.; Lillicrap, T.; Leach, M.;
Kavukcuoglu, K.; Graepel, T.; and Hassabis, D. 2016. Mastering the Game of Go with Deep Neural Networks and Tree
Search. Nature 529: 484–503. doi.org/10.1038/nature16961
Smullyan, R. 1978. What Is the Name of This Book? — The
Riddle of Dracula and Other Logical Puzzles. Engelwood
Cliffs, NJ: Prentice-Hall.
Strickland, E. 2013. Can an AI Get into the University Of
Tokyo? IEEE Spectrum News, 21 August. ( spectrum.ieee.org/
Togelius, J.; Shaker, N.; Karakovskiy, S.; and Yannakakis, G.
N. 2013. The Mario AI Championship 2009–2012. AI Magazine 34( 3): 89–92. doi.org/10.1609/aimag.v34i3.2492
Wing, J. M. 2006. Computational Thinking. Communications
of the ACM 49( 3): 33–35. doi.org/10.1145/1118178.1118215
Wozniak, S., and Moon, P. 2007. Three Minutes with Steve
Wozniak. ABC News, July 20. ( abcnews.go.com/Technolo-
Xu, L.; Hoos, H.; and Leyton-Brown, K. 2010. Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. In Proceedings of the Twenty-Fourth AAAI Conference on
Artificial Intelligence (AAAI 2010). Palo Alto: AAAI Press.
Yannakakis, G., and Togelius, J. 2014. A Panorama of Artificial and Computational Intelligence in Games. IEEE Transactions on Computational Intelligence and AI in Games 7( 4):
Zeng, D. 2013. From Computational Thinking to AI Thinking. IEEE Intelligent Systems 28( 6): 2–4. doi.org/10.1109/
Zhou, L.; Dai, S.; and Chen, L. 2015. Learn to Solve Algebra
Word Problems Using Quadratic Programming, 817–822. In
Proceedings of the 2015 Conference on Empirical Methods in
Natural Language Processing, EMNLP 2015. Stroudsburg, PA:
The Association for Computational Linguistics.
Zitnick, C. L.; Agrawal, A.; Antol, S.; Mitchell, M.; Batra, D.;
and Parikh, D. 2016. Measuring Machine Intelligence
Through Visual Question Answering. AI Magazine 37( 1): 63–
Federico Chesani, PhD, is a research assistant at the Department of Computer Science and Engineering at the University of Bologna. His research interests cover rule-based systems, complex event processing, business process
management, and theoretical and practical aspects of logic
programing with a focus on abductive reasoning. He is
author of more than 70 papers in international conferences
and journals and has been involved in several national and
Paola Mello, PhD, is a full professor at the Department of
Computer Science and Engineering of the University of
Bologna. Her research activity focuses on artificial intelligence, knowledge representation and reasoning, logic programming, multiagent systems, applications of expert systems with particular emphasis on medical domain. Moreover,
she is currently active on formal specification and on the
automatic verification of (interaction) protocols, workflow
patterns, medical guidelines, and web services compositions
through the use of declarative languages. Mello is author of
more than 200 scientific papers, and she has been involved in
a number of projects, mainly in the context of computational logic. From 2010 to 2014 she was the president of the Italian Association for Artificial Intelligence. From 2012 to 2015
she was the head of the Department of Computer Science and
Engineering at the University of Bologna.
Michela Milano, PhD, is an associate professor at the
Department of Computer Science and Engineering at the
University of Bologna. Her research interests cover theoretical and practical aspects of constraint reasoning and optimization. Application areas include planning and scheduling, computational sustainability, embedded system design,
energy systems, and smart cities. Milano is author of more
than 130 papers and is editor in chief of the Constraints Journal and area editor for INFORMS Journal on Computing and
Constraint Programming Letters. She was program chair of
CPAIOR 2005, CPAIOR 2010, and CP2012. Milano is the
coordinator of the EU-funded ePolicy project and is participating to two other EU project on smart cities.