Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue reading
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Continue reading
PRICAI 2006: Trends in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, ...
Continue reading
PRICAI 2008: Trends in Artificial Intelligence : 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence, ...
Continue reading
Verification of Object-Oriented Software. The KeY Approach
features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Continue reading
