Coinductive Logic Programming and Its Applications
From MaRDI portal
Publication:3608645
DOI10.1007/978-3-540-74610-2_4zbMath1213.68177OpenAlexW1963107927MaRDI QIDQ3608645
Richard Min, Ajay Bansal, Ajay Mallya, Luke Simon, 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
Related Items (17)
A Formal Theory of Justifications ⋮ On dual programs in co-logic programming and the Horn \({\mu}\)-calculus ⋮ Operational semantics of resolution and productivity in Horn clause logic ⋮ Extending Co-logic Programs for Branching-Time Model Checking ⋮ A Logical Encoding of Timed $$\pi $$-Calculus ⋮ Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming ⋮ 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 ⋮ Productive corecursion in logic programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them ⋮ On Dual Programs in Co-Logic Programming ⋮ Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming ⋮ Analysis of Linear Hybrid Systems in CLP ⋮ Verification from Declarative Specifications Using Logic Programming
This page was built for publication: Coinductive Logic Programming and Its Applications