Completeness and Decidability in Sequence Logic.

Marc Bezem Tore Langholm Michal Walicki

Published in: LPAR (2007)

Keyphrases

description logics
long sequences
classical logic
computational properties
neural network
knowledge base
multi valued
predicate logic
database
artificial intelligence
bayesian networks
natural language
modal logic
defeasible logic