First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 59,58 KBShare Document on Facebook |