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 10 items.

• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← 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)
• 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)
• 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)