Back to Results
First PageMeta Content



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(hol
Add to Reading List

Document Date: 2017-03-18 22:05:41


Open Document

File Size: 59,58 KB

Share Result on Facebook
UPDATE