Modeling Knowledge in Alloy CS195Y Capstone Abstract Caleb Stanford 1. Introduction and topic There exists a large class of logic puzzles which make use of the idea of knowledge. Understanding these

First Page		Document Content
Date: 2018-07-19 15:45:03		Modeling Knowledge in Alloy CS195Y Capstone Abstract Caleb Stanford 1. Introduction and topic There exists a large class of logic puzzles which make use of the idea of knowledge. Understanding these Add to Reading List Source URL: cis.upenn.edu Download Document from Source Website File Size: 118,34 KB Share Document on Facebook