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.
Overcoming EP
- 2025-08-01T00:00:00.000000Z
SRVA02
- 2025-07-18T00:00:00.000000Z
Exhale VA004
- 2023-05-05T00:00:00.000000Z
Kreatur
- 2021-07-09T00:00:00.000000Z
Phalanx Pt.4
- 2020-12-29T00:00:00.000000Z
Roleplay
- 2024-07-31T00:00:00.000000Z
Sinnerman
- 2023-11-24T00:00:00.000000Z
Der Pakt
- 2023-04-28T00:00:00.000000Z
Rufmord
- 2022-04-22T00:00:00.000000Z
Verlangen EP
- 2021-03-10T00:00:00.000000Z
Similar Artists