Logic for Programming, Artificial Intelligence, an...

Logic for Programming, Artificial Intelligence, an…

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic […]

Kali Linux – Assuring Security by Penetration Test...

Kali Linux – Assuring Security by Penetration Test…

Written as an interactive tutorial, this book covers the core of Kali Linux with real-world examples and step-by-step instructions to provide professional guidelines and recommendations for you. The book is designed in a simple and intuitive manner that allows you to explore the whole Kali Linux testing process or study parts of it individually. If […]

Advances in Artificial Intelligence -- SBIA 2010

Advances in Artificial Intelligence — SBIA 2010

This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in São Bernardo do Campo, Brazil, in October 2010.The 31 papers presented were carefully reviewed and selected from 91 submissions. The topics covered are: ontologies, knowledge representation and reasoning; machine learning; autonomous agents and multiagent systems; natural language processing; planning and scheduling; constraints and search; […]

Artificial Intelligence Techniques for Computer Gr...

Artificial Intelligence Techniques for Computer Gr…

Evolvable Hardware (EHW) has emerged as a novel and highly diversified bio- inspired technology and paradigm supporting the design, analysis and deployment of the high performance intelligent systems. EHW is a special case of the adaptive hardware, namely being strongly related to the Adaptive Systems (AS) and the Adaptive Hardware (AH). The discipline of EHW […]