On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.
Armando Martin HaebererGabriel BaumGunther SchmidtPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- first order logic
- relational learning
- natural language
- recursive programs
- higher order
- relational data
- inductive logic programming
- expressive power
- function free horn
- facial expressions
- program synthesis
- recursive algorithm
- decision diagrams
- data model
- multi relational
- relational structures
- mathematical expressions
- relational databases
- calculation method
- logic programs
- statistical relational learning
- entity relationship
- linear temporal logic
- formal specification
- relational model
- bounded model checking
- stochastic dominance
- model checking
- databases
- specification language
- conceptual models
- horn clauses
- multi valued
- finite state machines
- inference rules