Pages that link to "Item:Q1614866"

The following pages link to Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866):

Displaying 9 items.

• Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
• Hypothesizing about signaling networks (Q833723) (← links)
• Optimizing group learning: an evolutionary computing approach (Q2321327) (← links)
• What makes propositional abduction tractable (Q2389658) (← links)
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
• Fuzzy answer set computation via satisfiability modulo theories (Q4592999) (← links)
• Query answering in resource-based answer set semantics (Q4593046) (← links)
• Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799) (← links)
• Fuzzy answer sets approximations (Q5398309) (← links)