Coinductive Logic Programming and Its Applications
From MaRDI portal
Publication:3608645
DOI10.1007/978-3-540-74610-2_4zbMATH Open1213.68177OpenAlexW1963107927MaRDI QIDQ3608645FDOQ3608645
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
Recommendations
Cited In (31)
- Title not available (Why is that?)
- Analysis of Linear Hybrid Systems in CLP
- Flexible coinductive logic programming
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
- Verification from Declarative Specifications Using Logic Programming
- Title not available (Why is that?)
- Operational semantics of resolution and productivity in Horn clause logic
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- A logical encoding of timed \(\pi\)-calculus
- Coinductive Logic Programming
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Title not available (Why is that?)
- A theoretical perspective of coinductive logic programming
- The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Productive corecursion in logic programming
- Fifty Years of Prolog and Beyond
- Coinductive logic programming with negation
- Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
- Infinite computation, co-induction and computational logic
- Coalgebraic logic programming: from Semantics to Implementation
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses
- Title not available (Why is that?)
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Modeling and reasoning in event calculus using goal-directed constraint answer set programming
- Extending co-logic programs for branching-time model checking
- Coinductive constraint logic programming
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- A formal theory of justifications
- On dual programs in co-logic programming
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)