GI-log

MaRDI QIDQ40236swMATHFDO

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