Pages that link to "Item:Q3129498"
From MaRDI portal
The following pages link to A fixpoint characterization of abductive logic programs (Q3129498):
Displaying 9 items.
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties (Q2900469) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← links)
- Brave Induction (Q3543278) (← links)
- The IFF proof procedure for abductive logic programming (Q4371992) (← links)
- The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases (Q5445305) (← links)