scholarly journals Fixed point semantics for stream reasoning

2020 ◽  
Vol 288 ◽  
pp. 103370
Author(s):  
Christian Antić
Keyword(s):  
Fixed Point ◽  
Stream Reasoning ◽  
Fixed Point Semantics

scholarly journals Equivalence of two fixed-point semantics for definitional higher-order logic programs

2017 ◽  
Vol 668 ◽  
pp. 27-42 ◽  
Author(s):  
Angelos Charalambidis ◽  
Panos Rondogiannis ◽  
Ioanna Symeonidou
Keyword(s):  
Fixed Point ◽  
Higher Order ◽  
Order Logic ◽  
Logic Programs ◽  
Higher Order Logic ◽  
Fixed Point Semantics

scholarly journals Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

2015 ◽  
Vol 52 (4-5) ◽  
pp. 393-442 ◽  
Author(s):  
Joaquín Aguado ◽  
Michael Mendler ◽  
Reinhard von Hanxleden ◽  
Insa Fuhrmann
Keyword(s):  
Fixed Point ◽  
Fixed Point Semantics

scholarly journals Stratified, Weak Stratified, and Three-Valued Semantics1

1990 ◽  
Vol 13 (1) ◽  
pp. 19-33
Author(s):  
Melvin Fitting ◽  
Marion Ben-Jacob
Keyword(s):  
Fixed Point ◽  
Fixed Points ◽  
Horn Clause ◽  
Logic Programs ◽  
The Family ◽  
Fixed Point Semantics ◽  
Truth Value ◽  
The Relationship ◽  
Classical Truth

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics we call weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions.

Sign in / Sign up

Export Citation Format

Share Document