Pages that link to "Item:Q854963"
From MaRDI portal
The following pages link to A generalization of the Lin-Zhao theorem (Q854963):
Displaying 17 items.
- A generalization of a theorem of Liao (Q2431908) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Syntactic ASP forgetting with forks (Q2694542) (← links)
- Metabolic Pathways as Temporal Logic Programs (Q2835858) (← links)
- (Q3110693) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- Generalizations on the results of Cao and Zhang (Q5084270) (← links)
- Relating Two Dialects of Answer Set Programming (Q5108518) (← links)
- Temporal Logic Modeling of Biological Systems (Q5213786) (← links)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Syntactic ASP forgetting with forks (Q6152659) (← links)
- Past-present temporal programs over finite traces (Q6545583) (← links)
- Computationally hard problems for logic programs under answer set semantics (Q6636616) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)
