Coinductive Logic Programming

DOI10.1007/11799573_25MaRDI QIDQ5449611zbMATH OpenOpenAlexFDO

Authors Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_25

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Coinductive constraint logic programming
• Coinductive Logic Programming and Its Applications
• Co-Logic Programming: Extending Logic Programming with Coinduction
• A theoretical perspective of coinductive logic programming
• Flexible coinductive logic programming

Cited in

(35)

• Coinductive big-step operational semantics
• Constraint-based correctness proofs for logic program transformations
• Integrating induction and coinduction via closure operators and proof cycles
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Chosen-ciphertext security from subset sum
• Coinductive constraint logic programming
• Causal Logic Programming
• Tabling, rational terms, and coinduction finally together!
• Extracting proofs from tabled proof search
• Generalizing inference systems by coaxioms
• Idealized coinductive type systems for imperative object-oriented programs
• Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
• Infinite computation, co-induction and computational logic
• scientific article; zbMATH DE number 7037626 (Why is no real title available?)
• A theoretical perspective of coinductive logic programming
• Towards coinductive theory exploration in Horn clause logic: position paper
• Extending co-logic programs for branching-time model checking
• A logical encoding of timed \(\pi\)-calculus
• Coinductive logic programming with negation
• Coinductive Logic Programming and Its Applications
• Type Inference by Coinductive Logic Programming
• scientific article; zbMATH DE number 1942459 (Why is no real title available?)
• Productive corecursion in logic programming
• Foundations of regular coinduction
• Nominal Unification and Matching of Higher Order Expressions with Recursive Let
• Synthesizing Imperative Code from Answer Set Programming Specifications
• Flexible coinductive logic programming
• The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them
• Co-Logic Programming: Extending Logic Programming with Coinduction
• On dual programs in co-logic programming
• Deconfined Global Types for Asynchronous Sessions
• Fifty Years of Prolog and Beyond
• Partially Typed Multiparty Sessions
• Partially typed multiparty sessions with internal delegation
• Open compliance in multiparty sessions with partial typing

This page was built for publication: Coinductive Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449611)