Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming

  • Angelos Charalambidis
  • Panos Rondogiannis

Abstract

The purpose of the present paper is to give an overview of our joint work with Zoltán Ésik, namely the development of an abstract fixed point theory for a class of non-monotonic functions [4] and its use in providing a novel denotational semantics for a very broad extension of classical logic programming [1]. Our purpose is to give a high-level presentation of the main developments of these two works, that avoids as much as possible the underlying technical details, and which can be used as a mild introduction to the area.
Published
2017-01-01
How to Cite
Charalambidis, A., & Rondogiannis, P. (2017). Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming. Acta Cybernetica, 23(1), 319-326. https://doi.org/10.14232/actacyb.23.1.2017.17
Section
Regular articles