GI-log

swMATH28522MaRDI QIDQ40236FDOQ40236

Author name not available (Why is that?)

Official website: https://content.iospress.com/articles/fundamenta-informaticae/fi1400

Described by source

• Logic programming with graded introspection

Cited In (10)

• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• htd
• EHEX
• ELPS
• ESmodels
• ESParser
• GISolver
• selp
• Wviews
• selp: a single-shot epistemic logic program solver

This page was built for software: GI-log