Pages that link to "Item:Q1605173"
From MaRDI portal
The following pages link to Fixpoint semantics for logic programming a survey (Q1605173):
Displaying 10 items.
- Properties of General Semantic Operators Determined by Logic-Based Systems (Q4982061) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Partially ordered objects in a topos (Q5023614) (← links)
- (Q5240214) (← links)
- Logic and Complexity in Cognitive Science (Q5249690) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)
- An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions (Q6063870) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
