Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Superintelligence: Paths, Dangers, Strategies

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Ghost in the Wires: My Adventures as the World's Most Wanted Hacker

Reasoning Web - Semantic Technologies for Advanced Query Answering: 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings

The Book of Why: The New Science of Cause and Effect

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings

🔒Hacking: The Core of Hacking: An Easy Guide to Open Secret Knowledge of Hacker🔓

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Sea of Rust: The post-apocalyptic science fiction epic about AI and what makes us human

Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings

Excelling in Digital Transformation: Or Exit as an Old Gramophone Record

Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

Our Final Invention: Artificial Intelligence and the End of the Human Era

The Singularity Is Near: When Humans Transcend Biology

Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

The Art of Hacking

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

PC Hardware Engineering on My Pocket

Prolog: The Next 50 Years