The External Interface for Extending WASP
From MaRDI portal
Publication:4957194
DOI10.1017/S1471068418000558zbMath1472.68183arXiv1811.01692WikidataQ111096842 ScholiaQ111096842MaRDI QIDQ4957194
Francesco Ricca, Carmine Dodaro
Publication date: 3 September 2021
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.01692
knowledge representationpropagatorsanswer set programmingchoice heuristicsapplication programming interface
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (3)
Witnesses for Answer Sets of Logic Programs ⋮ Partial Compilation of ASP Programs ⋮ Paracoherent answer set computation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conflict-driven answer set solving: from theory to practice
- The ASP system DLV2
- Nurse scheduling via answer set programming
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers
- Advances in WASP
- Answer Set Programming Modulo Acyclicity
- Progress in clasp Series 3
- Combining Heuristics for Configuration Problems Using Answer Set Programming
- The Design of the Sixth Answer Set Programming Competition
- Evaluating CDCL Variable Scoring Schemes
- Solving SAT and SAT Modulo Theories
- An ASP approach for the valves positioning optimization in a water distribution system
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Shared aggregate sets in answer set programming
- GRASP: a search algorithm for propositional satisfiability
- Shift Design with Answer Set Programming*
- Answer Set Programming Modulo Acyclicity*
- Modeling Variations of First-Order Horn Abduction in Answer Set Programming
- Generating explanations for biomedical queries
- Optimizing phylogenetic supertrees using answer set programming
- Taming primary key violations to query large inconsistent data via ASP
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
- Constraint answer set solver EZCSP and why integration schemas matter
- ASP modulo CSP: The clingcon system
- Multi-shot ASP solving with clingo
- Consistent query answering via ASP from different perspectives: Theory and practice
- Theory and Applications of Satisfiability Testing
- The Sixth Answer Set Programming Competition
- Logic Programming
This page was built for publication: The External Interface for Extending WASP