On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
DOI10.1007/S00165-016-0404-0zbMATH Open1362.68058OpenAlexW2560482109WikidataQ130860101 ScholiaQ130860101MaRDI QIDQ2628297
Publication date: 1 June 2017
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-016-0404-0
dual programsanswer set programming (ASP)co-logic programmingthe Horn \({\mu}\)-calculusthe well-founded semantics
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- SWI-Prolog
- Partial evaluation in logic programming
- Infinite Computation, Co-induction and Computational Logic
- Fixpoint semantics for logic programming a survey
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Abduction in well-founded semantics and generalized stable models via tabled dual programs
- Dynamic Consistency Checking in Goal-Directed Answer Set Programming
- A procedural semantics for well-founded negation in logic programs
- Ο-Automata
- Semantics of infinite tree logic programming
- Coinductive Logic Programming
- Extending Co-logic Programs for Branching-Time Model Checking
- Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
- Proving Properties of Co-logic Programs with Negation by Program Transformations
- Coinductive Logic Programming and Its Applications
Uses Software
Recommendations
- Coalgebraic logic programming: from Semantics to Implementation π π
- Coalgebraic derivations in logic programming π π
- Co-Logic Programming: Extending Logic Programming with Coinduction π π
- Coalgebraic logics \& duality π π
- A Theoretical Perspective of Coinductive Logic Programming π π
- Coinductive Logic Programming and Its Applications π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
This page was built for publication: On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2628297)
