Loading...
Please wait, while we are loading the content...
An analysis of the equational properties of the well-founded fixed point
| Content Provider | arXiv |
|---|---|
| Author | Carayol, Arnaud Esik, Zoltan |
| Date of Submission | 2015-12-01 |
| Abstract | Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational properties of fixed point operations described by the axioms of iteration theories. |
| Related Links | https://arxiv.org/pdf/1511.09423.pdf |
| arXiv | 1511.09423 |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Computer Science - Discrete Mathematics Computer Science - Logic in Computer Science Logic Programming Semantics of Programming Languages Knowledge Representation Formalisms and Methods Computer Science Complete lattices, completions Knowledge representation |
| Content Type | Text |
| Resource Type | Article |
| Subject | Computer Science |
