Coinductive Logic Programming and Its Applications

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

Mathematics Subject Classification ID

Logic programming (68N17)

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