The following pages link to Logic Programming (Q5475769):
Displayed 16 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)
- A Semantic Account for Modularity in Multi-language Modelling of Search Problems (Q3172899) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← 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)
- 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)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)