Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars

Z. Ésik, Panos Rondogiannis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

We derive two novel theorems regarding pre-fixed points of non-monotonic functions and demonstrate that they have immediate applications in logic programming and formal grammars. In particular, the results of the paper lead to a natural generalization of the model intersection theorem for definite logic programs, to the more general class of normal logic programs. Moreover, the obtained results also offer the first (to our knowledge) model intersection result for Boolean grammars.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages166-180
Number of pages15
Volume8652 LNCS
ISBN (Print)9783662441442
DOIs
Publication statusPublished - 2014
Event21st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2014 - Valparaiso, Chile
Duration: Sep 1 2014Sep 4 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8652 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other21st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2014
CountryChile
CityValparaiso
Period9/1/149/4/14

Fingerprint

Logic programming
Logic Programming
Grammar
Fixed point
Logic Programs
Theorem
Intersection Theorem
Intersection
Model
Demonstrate

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Ésik, Z., & Rondogiannis, P. (2014). Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8652 LNCS, pp. 166-180). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8652 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-44145-9_12

Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. / Ésik, Z.; Rondogiannis, Panos.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8652 LNCS Springer Verlag, 2014. p. 166-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8652 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ésik, Z & Rondogiannis, P 2014, Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8652 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8652 LNCS, Springer Verlag, pp. 166-180, 21st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2014, Valparaiso, Chile, 9/1/14. https://doi.org/10.1007/978-3-662-44145-9_12
Ésik Z, Rondogiannis P. Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8652 LNCS. Springer Verlag. 2014. p. 166-180. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-662-44145-9_12
Ésik, Z. ; Rondogiannis, Panos. / Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8652 LNCS Springer Verlag, 2014. pp. 166-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{ea74b448279c42189ac9724268d6c656,
title = "Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars",
abstract = "We derive two novel theorems regarding pre-fixed points of non-monotonic functions and demonstrate that they have immediate applications in logic programming and formal grammars. In particular, the results of the paper lead to a natural generalization of the model intersection theorem for definite logic programs, to the more general class of normal logic programs. Moreover, the obtained results also offer the first (to our knowledge) model intersection result for Boolean grammars.",
author = "Z. {\'E}sik and Panos Rondogiannis",
year = "2014",
doi = "10.1007/978-3-662-44145-9_12",
language = "English",
isbn = "9783662441442",
volume = "8652 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "166--180",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars

AU - Ésik, Z.

AU - Rondogiannis, Panos

PY - 2014

Y1 - 2014

N2 - We derive two novel theorems regarding pre-fixed points of non-monotonic functions and demonstrate that they have immediate applications in logic programming and formal grammars. In particular, the results of the paper lead to a natural generalization of the model intersection theorem for definite logic programs, to the more general class of normal logic programs. Moreover, the obtained results also offer the first (to our knowledge) model intersection result for Boolean grammars.

AB - We derive two novel theorems regarding pre-fixed points of non-monotonic functions and demonstrate that they have immediate applications in logic programming and formal grammars. In particular, the results of the paper lead to a natural generalization of the model intersection theorem for definite logic programs, to the more general class of normal logic programs. Moreover, the obtained results also offer the first (to our knowledge) model intersection result for Boolean grammars.

UR - http://www.scopus.com/inward/record.url?scp=84906861452&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84906861452&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-44145-9_12

DO - 10.1007/978-3-662-44145-9_12

M3 - Conference contribution

AN - SCOPUS:84906861452

SN - 9783662441442

VL - 8652 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 166

EP - 180

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -