Machine Learning for the Web: A Unified View
Markov Logic: A Unifying Language for Information and Knowledge Management
Combining Logic and Probability: Languages, Algorithms and Applications
Knowledge-Based Applications Systems
Incorporating Prior Knowledge into NLP with Markov Logic
From Automated Verification to Automated Design
Principles of Computer Systems
Introduction to Design Inquiry
Computational Cognitive Science
Introduction to Modal Logic