The following pages link to Logic Programming (Q5475769):
Displaying 25 items.
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Stable models and difference logic (Q1028651) (← links)
- Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case (Q1290508) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Constraint answer set programming systems (Q2883103) (← links)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
- The Significance of Memory Costs in Answer Set Solver Implementation (Q3395262) (← links)
- Combining Heuristics for Configuration Problems Using Answer Set Programming (Q3449221) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- Preface (Q4593090) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- (Q5020962) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
- Metric temporal equilibrium logic over timed traces (Q6656458) (← links)