How to Clear a Block: Plan Formation in Situational Logic.

Zohar Manna Richard J. Waldinger

Published in: CADE (1986)

Keyphrases

classical logic
logic programming
modal logic
automated reasoning
plan generation
block wise
block size
deontic logic
predicate logic
database systems
linear logic
digital circuits
multi valued
genetic algorithm
asynchronous circuits
motion estimation
case based planning
proof theory
delay insensitive