A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks.
Jasine BabuK. Murali KrishnanVineeth PaleriPublished in: CoRR (2017)
Keyphrases
- data flow
- fixpoint
- logic programs
- datalog programs
- horn clauses
- logic programming
- database machine
- stable models
- control flow
- answer set programming
- digital signal processing
- answer sets
- deductive databases
- declarative semantics
- object oriented software
- background knowledge
- inductive logic programming
- data transfer
- first order logic
- function symbols
- inference rules
- object oriented
- systolic array
- nonmonotonic reasoning
- natural language
- hidden markov models