Three-valued completion for abductive logic programs (Q671511)

From MaRDI portal





scientific article; zbMATH DE number 983344
Language Label Description Also known as
default for all languages
No label defined
    English
    Three-valued completion for abductive logic programs
    scientific article; zbMATH DE number 983344

      Statements

      Identifiers