Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints.

Yanjun Li Yanjing Wang

Published in: ICLA (2017)

Keyphrases

logic programming
linear constraints
constraint language
database
neural network
information retrieval
information systems
database systems
multi agent
search algorithm
co occurrence
integrity constraints
automated reasoning
logical framework
classical logic
computational properties