Coinductive Logic Programming
From MaRDI portal
Publication:5449611
DOI10.1007/11799573_25zbMath1131.68400MaRDI 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
68N17: Logic programming
Related Items
Productive corecursion in logic programming, Flexible coinductive logic programming, The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them, On Dual Programs in Co-Logic Programming, Coinductive big-step operational semantics, Constraint-based correctness proofs for logic program transformations, On dual programs in co-logic programming and the Horn \({\mu}\)-calculus, Chosen-Ciphertext Security from Subset Sum, Extracting Proofs from Tabled Proof Search, Generalizing Inference Systems by Coaxioms, Idealized coinductive type systems for imperative object-oriented programs, Unnamed Item, Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?, Unnamed Item, Extending Co-logic Programs for Branching-Time Model Checking, A Logical Encoding of Timed $$\pi $$-Calculus, Type Inference by Coinductive Logic Programming