Achieving while maintaining: A logic of knowing how with intermediate constraints.

Yanjun Li Yanjing Wang

Published in: CoRR (2016)

Keyphrases

constraint satisfaction
constraint language
modal logic
global constraints
linear constraints
classical logic
search engine
information systems
image sequences
integrity constraints
active rules
computational properties
derivation rules