PLATYPUS

swMATH1343MaRDI QIDQ14083FDOQ14083

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Cmodels
• NoMoRe
• 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