Pages that link to "Item:Q1389684"
From MaRDI portal
The following pages link to Abduction from logic programs: Semantics and complexity (Q1389684):
Displaying 49 items.
- Complexity results for explanations in the structural-model approach (Q814579) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- On the complexity of second-best abductive explanations (Q899129) (← links)
- Succinctness as a source of complexity in logical formalisms (Q1302307) (← links)
- On the duality of abduction and model generation in a framework for model generation with equality (Q1314425) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints (Q1678427) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Scalable algorithms for abduction via enumerative syntax-guided synthesis (Q2096443) (← links)
- The hardness of resilience for nested aggregation query (Q2283020) (← links)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (Q2353982) (← links)
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- What makes propositional abduction tractable (Q2389658) (← links)
- Outlier detection using default reasoning (Q2389688) (← links)
- From causes for database queries to repairs and model-based diagnosis and back (Q2402617) (← links)
- Inference to the stable explanations (Q2694572) (← links)
- Teleo-Reactive Abductive Logic Programs (Q2900468) (← links)
- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties (Q2900469) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- The View-Update Problem for Indefinite Databases (Q2915065) (← links)
- A Measure of Arbitrariness in Abductive Explanations (Q2931272) (← links)
- Bi-Abduction with Pure Properties for Specification Inference (Q2937788) (← links)
- The Complexity of Abduction for Equality Constraint Languages (Q2958548) (← links)
- On the Relationship Between Abduction and Deduction (Q3361915) (← links)
- Brave Induction (Q3543278) (← links)
- On computing all abductive explanations from a propositional Horn theory (Q3546348) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- Abductive analysis of modular logic programs (Q4209293) (← links)
- Logical form generation as abduction: Part II. A dual-route parsimonious covering approach (Q4301777) (← links)
- The complexity of logic-based abduction (Q4369855) (← links)
- Abductive logic programming and disjunctive logic programming: their relationship and transferability (Q4484724) (← links)
- Computing abduction by using TMS with top-down expectation (Q4484728) (← links)
- The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
- (Q4799253) (← links)
- Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009) (← links)
- (Q4955335) (← links)
- The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917) (← links)
- Indefinite abductive explanations (Q5231278) (← links)
- The complexity of handling minimal solutions in logic-based abduction (Q5262485) (← links)
- Compilability of propositional abduction (Q5277767) (← links)
- Abductive Logic Programming (Q5286914) (← links)
- (Q5688896) (← links)
- Foundations of Information and Knowledge Systems (Q5898541) (← links)
- A general framework for preferences in answer set programming (Q6067052) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)