Similar Items: Bialgebraic Semantics for Logic Programming
- Coalgebraic Semantics for Probabilistic Logic Programming
- Extensional Semantics for Higher-Order Logic Programs with Negation
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Game semantics for first-order logic
- Service-Oriented Logic Programming
- Coalgebraic trace semantics via forgetful logics