The External Interface for Extending WASP

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

zbMATH Keywords

knowledge representationpropagatorsanswer set programmingchoice heuristicsapplication programming interface

Mathematics Subject Classification ID

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

• MiniSat
• Chaff
• Potassco
• clasp
• WASP
• Clingcon
• Clingo
• ASPMT2SMT
• ezcsp
• DLV2

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