On dual programs in co-logic programming
From MaRDI portal
Publication:5743583
Recommendations
Cites work
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 1142320 (Why is no real title available?)
- scientific article; zbMATH DE number 1392287 (Why is no real title available?)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Coinductive Logic Programming
- Coinductive Logic Programming and Its Applications
- Dynamic consistency checking in goal-directed answer set programming
- Extending co-logic programs for branching-time model checking
- Fixpoint semantics for logic programming a survey
- Infinite computation, co-induction and computational logic
- Proving properties of co-logic programs by unfold/fold transformations
- Proving properties of co-logic programs with negation by program transformations
- SWI-Prolog
- Semantics of infinite tree logic programming
- ω-Automata
Cited in
(5)
This page was built for publication: On dual programs in co-logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5743583)