Login / Signup

A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties.

Stefan MiliusDirk PattinsonThorsten Wißmann
Published in: FoSSaCS (2016)
Keyphrases
  • fixpoint
  • logic programs
  • deductive databases
  • finite state machines
  • stable models
  • answer sets
  • finite state
  • horn clauses
  • general purpose
  • answer set programming
  • datalog programs
  • anti monotone
  • data mining