STRIPS

999instance
309actions
303planning
294SingleServingVisitor
275axioms
270function
267axiom
266infinite
264finite
263rational
        
previous:stripping
next:strips
random:Hanhardt


More distant neighbors

functor sequence computable satisfiability orthonormal satisfies orthogonal variables conjunctive iterated measurable countable presidiaux topology reals ordinals Boolean recursive constraint inverse initial arcsine arbitrary plan propositional polynomial quantified discrete Consider executing integers expressible theorem assumptions boolean eigenvalues invariant

Back