Coinductive Logic Programming and Its Applications

DOI10.1007/978-3-540-74610-2_4MaRDI QIDQ3608645zbMATH OpenOpenAlexFDO

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

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74610-2_4

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming
• Infinite computation, co-induction and computational logic
• Coinductive constraint logic programming
• Coinductive logic programming with negation

Cited in

(32)

• Co-induction in relational semantics
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Operational semantics of resolution and productivity in Horn clause logic
• Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
• Coinductive constraint logic programming
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Infinite computation, co-induction and computational logic
• A theoretical perspective of coinductive logic programming
• scientific article; zbMATH DE number 4181320 (Why is no real title available?)
• Towards coinductive theory exploration in Horn clause logic: position paper
• A formal theory of justifications
• Extending co-logic programs for branching-time model checking
• A logical encoding of timed \(\pi\)-calculus
• Coinductive logic programming with negation
• Analysis of Linear Hybrid Systems in CLP
• Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
• Productive corecursion in logic programming
• scientific article; zbMATH DE number 2101985 (Why is no real title available?)
• Modeling and reasoning in event calculus using goal-directed constraint answer set programming
• 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
• Coinductive Logic Programming
• Verification from Declarative Specifications Using Logic Programming
• Coalgebraic logic programming: from Semantics to Implementation
• On dual programs in co-logic programming
• scientific article; zbMATH DE number 7649893 (Why is no real title available?)
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• Fifty Years of Prolog and Beyond
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses

This page was built for publication: Coinductive Logic Programming and Its Applications

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