scholarly journals Preference Logic Grammars: Fixed point semantics and application to data standardization

2002 ◽  
Vol 138 (1-2) ◽  
pp. 117-147 ◽  
Author(s):  
Baoqiu Cui ◽  
Terrance Swift
Keyword(s):  
Fixed Point ◽  
Preference Logic ◽  
Data Standardization ◽  
Fixed Point Semantics ◽  
Logic Grammars

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.

Preference logic grammars

1998 ◽  
Vol 24 (3) ◽  
pp. 179-196 ◽  
Author(s):  
Bharat Jayaraman ◽  
Kannan Govindarajan ◽  
Surya Mantha
Keyword(s):  
Preference Logic ◽  
Logic Grammars
Sign in / Sign up

Export Citation Format

Share Document