Pages that link to "Item:Q254002"

The following pages link to Domain expansion for ASP-programs with external sources (Q254002):

Displaying 8 items.

• LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
• Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
• Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks (Q2835897) (← links)
• Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning (Q4559814) (← links)
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description) (Q4593064) (← links)
• Inlining External Sources in Answer Set Programs (Q4957183) (← links)
• (Q5020959) (← links)