scientific article; zbMATH DE number 591001

zbMath0806.68021MaRDI QIDQ4296303

Carolina Ruiz, Jack Minker

Publication date: 19 June 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmic complexitydisjunctive programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (6)

Quasi-classical reasoning in paraconsistent databases ⋮ Disjunctive logic and semantics of disjunctive logic programs ⋮ Jack Minker --- A profile ⋮ Argumentation in disjunctive logic programming ⋮ Complexity results for answer set programming with bounded predicate arities and implications ⋮ Disjunctive logic programs, answer sets, and the cut rule

This page was built for publication: