On dual programs in co-logic programming

DOI10.1007/978-3-319-27436-2_2MaRDI QIDQ5743583zbMATH OpenOpenAlexFDO

Authors Hirohisa Seki

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27436-2_2

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Extending co-logic programs for branching-time model checking
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive logic programming with negation
• Flexible coinductive logic programming

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)

• Proving properties of co-logic programs with negation by program transformations
• Proof-theoretic foundations of normal logic programs
• Coinductive logic programming with negation
• The dual of a logical linear programme
• Extending co-logic programs for branching-time model checking

Describes a project that uses

Uses Software

• SWI-Prolog
• Smodels

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)