Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016. The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization and evolutionary algorithms; classification, pattern recognition, and computer vision; multi-agent systems; machine learning; semantic web and description logics; natural language processing; planning and scheduling; and formal verification.

Computer science. --- Computers. --- Mathematical logic. --- Data mining. --- User interfaces (Computer systems). --- Artificial intelligence. --- Pattern recognition. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- User Interfaces and Human Computer Interaction. --- Pattern Recognition. --- Design perception --- Pattern recognition --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Interfaces, User (Computer systems) --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Informatics --- Form perception --- Perception --- Figure-ground perception --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Human-machine systems --- Human-computer interaction --- Database searching --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Science --- Optical pattern recognition. --- Artificial Intelligence. --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Artificial intelligence