The Lin-Bose Problem.

Jinwang Liu Dongmei Li Licui Zheng

Published in: IEEE Trans. Circuits Syst. II Express Briefs (2014)

Keyphrases

special case
situation calculus
general purpose
artificial intelligence
database systems
knowledge base
data management
orders of magnitude
query optimization
programming language
knowledge management
pattern matching
model checking
constraint programming