PLATYPUS

MaRDI QIDQ14083swMATHFDO

Official website http://www.cs.uni-potsdam.de/platypus/

Described by source

• Logic Programming and Nonmonotonic Reasoning

Cited in

(9)

• Experimenting with parallelism for the instantiation of ASP programs
• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• GNT
• Cmodels
• NoMoRe
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• The Significance of Memory Costs in Answer Set Solver Implementation
• Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
• Efficient parallel ASP instantiation via dynamic rewriting

This page was built for software: PLATYPUS