A Modern Interpreter of Predicate Linear Logic Formulas.
Zuzana BilanováJán PerhácMichal HulicPublished in: CSIT (2) (2020)
Keyphrases
- linear logic
- horn clauses
- sequent calculus
- logic programming
- fixed point
- logical framework
- programming language
- cut elimination
- desirable properties
- proof theoretic
- first order logic
- intuitionistic logic
- inference rules
- logic programs
- production system
- machine learning
- predicate calculus
- proof search
- random variables
- query language
- relational databases
- pairwise
- natural language
- bayesian networks
- image segmentation