Computing Authoring Tests from Competency Questions: Experimental Validation
Composition and Literature: A Handbook and Anthology
English Literature: Victorians and Moderns
A Translation from Logic to English with Dynamic Semantics
British Literature II: Romantic Era to the Twentieth Century and Beyond
Analyzing Meaning: An Introduction to Semantics and Pragmatics
Mathematics for Computer Science
Mathematics for Computer Science
Markov Logic: A Unifying Language for Information and Knowledge Management
Free Semantic Content: Using OpenCyc in Semantic Web Applications