DLP System Description

13 years 8 months ago
DLP System Description
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as K(m) and KT(m). Although DLP is an experimental system, it nonetheless provides a fast satis ability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.
Peter F. Patel-Schneider
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where DLOG
Authors Peter F. Patel-Schneider
Comments (0)