Pages that link to "Item:Q1389684"

The following pages link to Abduction from logic programs: Semantics and complexity (Q1389684):

Displaying 23 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)
• Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
• Default reasoning from conditional knowledge bases: Complexity and tractable cases (Q1589638) (← 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)
• 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)
• 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)
• 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)
• Brave Induction (Q3543278) (← links)
• The power of non-ground rules in Answer Set Programming (Q4593042) (← links)
• The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917) (← links)
• Indefinite abductive explanations (Q5231278) (← links)
• A general framework for preferences in answer set programming (Q6067052) (← links)