Pages that link to "Item:Q3608645"
From MaRDI portal
The following pages link to Coinductive Logic Programming and Its Applications (Q3608645):
Displaying 17 items.
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- (Q3384904) (← links)
- A Formal Theory of Justifications (Q3449209) (← links)
- Extending Co-logic Programs for Branching-Time Model Checking (Q3453651) (← links)
- A Logical Encoding of Timed $$\pi $$-Calculus (Q3453652) (← links)
- Analysis of Linear Hybrid Systems in CLP (Q3617430) (← links)
- Productive corecursion in logic programming (Q4592714) (← links)
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632) (← links)
- The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- On Dual Programs in Co-Logic Programming (Q5743583) (← links)
- (Q5875350) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
