Pages that link to "Item:Q2900518"
From MaRDI portal
The following pages link to Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518):
Displayed 8 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Fixpoint semantics for active integrity constraints (Q1693567) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs (Q4559803) (← links)
- The intricacies of three-valued extensional semantics for higher-order logic programs (Q4592720) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)