Pages that link to "Item:Q1028649"

The following pages link to Integrating answer set programming and constraint logic programming (Q1028649):

Displaying 25 items.

• On abstract modular inference systems and solvers (Q286083) (← links)
• Querying incomplete information in RDF with SPARQL (Q286403) (← links)
• Hybrid answer set programming (Q392277) (← links)
• Relating constraint answer set programming languages and algorithms (Q490456) (← links)
• Weight constraint programs with evaluable functions (Q645084) (← links)
• Testing in ASP: revisited language and programming environment (Q2055810) (← links)
• First-order stable model semantics with intensional functions (Q2321299) (← links)
• A New Incarnation of Action Language H (Q2900548) (← links)
• A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
• A translational approach to constraint answer set solving (Q3585161) (← links)
• Representing hybrid automata by action language modulo theories (Q4592716) (← links)
• A model building framework for answer set programming with external computations (Q4593036) (← links)
• Preface (Q4593090) (← links)
• <i>Clingcon</i>: The next generation (Q4593092) (← links)
• Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
• On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
• CASP solutions for planning in hybrid domains (Q4593097) (← links)
• Constraint Answer Set Solving (Q4649733) (← links)
• ASP modulo CSP: The clingcon system (Q4911129) (← links)
• The Seventh Answer Set Programming Competition: Design and Results (Q4957192) (← links)
• A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
• Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632) (← links)
• MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
• Stable model semantics for founded bounds (Q5398292) (← links)
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)