DLV

Disjunctive Datalog is an extension of the logic programming language Datalog that allows disjunctions in the heads of rules. This extension enables disjunctive Datalog to express several NP-hard problems that are not known to be expressable in plain Datalog. Disjunctive Datalog has been applied in the context of reasoning about ontologies in the semantic web. DLV is an implementation of disjunctive Datalog.

The First 5 Years: Remixed - 2024-09-27T00:00:00.000000Z

LOST CONTROL incl. Remixes - 2024-09-27T00:00:00.000000Z

Exhale VA004 - 2023-05-05T00:00:00.000000Z

Acceleration Series Vol. I - 2022-10-14T00:00:00.000000Z

Exhale: Together for Ukraine! - 2022-04-04T00:00:00.000000Z

Similar Artists

Chlär

Vizionn