Pages that link to "Item:Q5504656"

The following pages link to Engineering an Incremental ASP Solver (Q5504656):

Displaying 22 items.

• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
• Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
• A weighted causal theory for acquiring and utilizing open knowledge (Q465606) (← links)
• LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
• A computational framework for conceptual blending (Q1748468) (← links)
• Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
• Graph-based construction of minimal models (Q2093381) (← links)
• Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks (Q2835897) (← links)
• Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
• Gearing Up for Effective ASP Planning (Q2900527) (← links)
• Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
• LoCo—A Logic for Configuration Problems (Q2946729) (← links)
• Answer Set Programming: A Primer (Q3638997) (← links)
• <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
• The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
• Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
• An ASP-based solver for parametrized-difference revision (Q5103715) (← links)
• Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving (Q5172605) (← links)
• Multi-shot ASP solving with clingo (Q5197744) (← links)
• Abstraction for non-ground answer set programs (Q5919127) (← links)
• Past-present temporal programs over finite traces (Q6545583) (← links)
• How to split a logic program (Q6647305) (← links)