Pages that link to "Item:Q4819009"

The following pages link to Abduction in well-founded semantics and generalized stable models via tabled dual programs (Q4819009):

Displaying 14 items.

• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
• On the duality of abduction and model generation in a framework for model generation with equality (Q1314425) (← links)
• Common-sense reasoning as proto-scientific agent activity (Q2565606) (← links)
• Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
• Model-Baded Abduction via Dual Resolution (Q3411856) (← links)
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
• SLDNFA: An abductive procedure for abductive logic programs (Q3841101) (← links)
• Computing abduction by using TMS with top-down expectation (Q4484728) (← links)
• Constraint Answer Set Programming without Grounding (Q4559798) (← links)
• (Q5020972) (← links)
• Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
• On Dual Programs in Co-Logic Programming (Q5743583) (← links)