Parallel instantiation of ASP programs: techniques and experiments
From MaRDI portal
Publication:5299587
DOI10.1017/S1471068411000652zbMath1267.68083arXiv1110.1015MaRDI QIDQ5299587
Francesco Ricca, Simona Perri, Marco Sirianni
Publication date: 26 June 2013
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.1015
68N17: Logic programming
Related Items
Optimizing Answer Set Computation via Heuristic-Based Decomposition, Parallel Logic Programming: A Sequel, The Intelligent Grounder of DLV, Efficient Computation of the Well-Founded Semantics over Big Data
Uses Software
Cites Work
- Unnamed Item
- ASSAT: computing answer sets of a logic program by SAT solvers
- Logic programming and knowledge representation---The A-Prolog perspective
- Extending and implementing the stable model semantics
- Mixed integer programming methods for computing nonmonotonic deductive databases
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Unfolding partiality and disjunctions in stable model semantics
- The DLV system for knowledge representation and reasoning
- Verifying security protocols as planning in logic programming