This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A...

This book constitutes the refereed proceedings of the 14th International Conference of the Italian Association for Artificial Intelligence, A*IA 2015, held in Ferrara, Italy, in September 2015.

The 35 full papers presented were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on swarm intelligence and genetic algorithms; computer vision; multi-agents systems; knowledge representation and reasoning; machine learning; semantic Web; natural language; and scheduling, planning and robotics.