![](https://www.pdfsearch.io/img/40f620d2ecbee77d6e4af1e5a1071e54.jpg) Date: 2017-03-18 22:05:41
| | PLA axioms PLA001-0.ax Blocks world axioms (holds(x, state) and holds(y, state)) ⇒ holds(and(x, y), state) cnf(and definition, axiom) (holds(empty, state) and holds(clear(x), state) and differ(x, table)) ⇒ holds(holAdd to Reading ListSource URL: math.chapman.eduDownload Document from Source Website File Size: 59,58 KBShare Document on Facebook
|