Most Popular Books
- Mathematical Aspects of Logic Programming Semantics
- Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
- Perspectives of Neural-Symbolic Integration
- Foundations of Semantic Web Technologies
- Mathematical Aspects of Logic Programming Semantics