On abstract modular inference systems and solvers (Q286083): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Smodels / rank
 
Normal rank

Revision as of 20:29, 29 February 2024

scientific article
Language Label Description Also known as
English
On abstract modular inference systems and solvers
scientific article

    Statements

    On abstract modular inference systems and solvers (English)
    0 references
    0 references
    0 references
    19 May 2016
    0 references
    knowledge representation
    0 references
    model-generation
    0 references
    automated reasoning and inference
    0 references
    SAT solving
    0 references
    answer set programming
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references