Pages that link to "Item:Q2474440"
From MaRDI portal
The following pages link to An infinite-game semantics for well-founded negation in logic programming (Q2474440):
Displaying 9 items.
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- A game-theoretic characterization of Boolean grammars (Q631778) (← links)
- Proof and refutation in MALL as a game (Q636305) (← links)
- Strong equivalence of logic programs under the infinite-valued semantics (Q987828) (← links)
- A Game-Theoretic Characterization of Boolean Grammars (Q3637237) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- Exploiting Game Theory for Analysing Justifications (Q5140022) (← links)
- Towards Ludics Programming: Interactive Proof Search (Q5504660) (← links)