PLATYPUS

swMATH1343MaRDI QIDQ14083FDOQ14083

Author name not available (Why is that?)

Described by source

• Logic Programming and Nonmonotonic Reasoning

Cited In (6)

• Experimenting with parallelism for the instantiation of ASP programs
• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Significance of Memory Costs in Answer Set Solver Implementation
• Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures

This page was built for software: PLATYPUS