A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks.
Jasine BabuKarunakaran Murali KrishnanVineeth PaleriPublished in: ICLA (2019)
Keyphrases
- data flow
- fixpoint
- logic programs
- datalog programs
- horn clauses
- logic programming
- database machine
- answer sets
- stable models
- control flow
- answer set programming
- object oriented software
- inductive logic programming
- digital signal processing
- data transfer
- deductive databases
- background knowledge
- declarative semantics
- systolic array
- nonmonotonic reasoning
- first order logic
- object oriented
- natural language
- finite state machines
- inference rules
- function symbols
- case study
- databases
- database