Coinductive Logic Programming

DOI10.1007/11799573_25zbMath1131.68400OpenAlexW1506396519MaRDI QIDQ5449611

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)

Related Items (24)

Deconfined Global Types for Asynchronous Sessions ⋮ On dual programs in co-logic programming and the Horn \({\mu}\)-calculus ⋮ Extending Co-logic Programs for Branching-Time Model Checking ⋮ A Logical Encoding of Timed $$\pi $$-Calculus ⋮ Nominal Unification and Matching of Higher Order Expressions with Recursive Let ⋮ Extracting Proofs from Tabled Proof Search ⋮ Synthesizing Imperative Code from Answer Set Programming Specifications ⋮ Fifty Years of Prolog and Beyond ⋮ Productive corecursion in logic programming ⋮ Constraint-based correctness proofs for logic program transformations ⋮ Partially Typed Multiparty Sessions ⋮ Unnamed Item ⋮ Generalizing Inference Systems by Coaxioms ⋮ Unnamed Item ⋮ Flexible coinductive logic programming ⋮ The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them ⋮ Idealized coinductive type systems for imperative object-oriented programs ⋮ Unnamed Item ⋮ On Dual Programs in Co-Logic Programming ⋮ Chosen-Ciphertext Security from Subset Sum ⋮ Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? ⋮ Coinductive big-step operational semantics ⋮ Type Inference by Coinductive Logic Programming ⋮ Integrating induction and coinduction via closure operators and proof cycles

This page was built for publication: Coinductive Logic Programming