Login / Signup
A purely syntactic proof of decidability for BI.
Revantha Ramanayake
Published in:
CoRR (2016)
Keyphrases
</>
decision procedures
business intelligence
description logics
natural language
query answering
semantic representation
theorem proving
linear logic
semantic role labeling
logic programs
theorem prover
syntactic analysis
mathematical proofs
data mining
bayesian networks