GI-log

swMATH28522MaRDI QIDQ40236FDOQ40236

Author name not available (Why is that?)

Described by source

• Logic Programming with Graded Introspection

Cited In (2)

• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• selp: A Single-Shot Epistemic Logic Program Solver

This page was built for software: GI-log