The complexity class θp2: Recent results and applications in AI and modal logic (Q5055917)

From MaRDI portal
Revision as of 03:01, 31 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7631356
Language Label Description Also known as
English
The complexity class θp2: Recent results and applications in AI and modal logic
scientific article; zbMATH DE number 7631356

    Statements

    title
    The complexity class θp2: Recent results and applications in AI and modal logic (English)
    0 references
    DOI
    10.1007/BFb0036168
    0 references
    author
    Thomas Eiter
    0 references
    Georg Gottlob
    0 references
    publication date
    9 December 2022
    0 references
    Mathematics Subject Classification ID
    68Q15
    0 references
    03B45
    0 references
    68N17
    0 references
    68Q19
    0 references
    68T27
    0 references
    zbMATH DE Number
    7631356
    0 references
    zbMATH Keywords
    modal logic
    0 references
    directed acyclic graph
    0 references
    logic programming
    0 references
    Kripke structure
    0 references
    default theory
    0 references
    Wikidata QID
    Q59259757
    0 references
    cites work
    Q5791196
    0 references
    Q4850061
    0 references
    Q4955352
    0 references
    Q4058132
    0 references
    Q3976034
    0 references
    Q3983043
    0 references
    Q5732647
    0 references
    Q4385525
    0 references
    Q4236365
    0 references
    Q4942618
    0 references
    Q4743737
    0 references
    Q4298363
    0 references
    Q5285980
    0 references
    Bounded Query Classes
    0 references
    RelativizedNC
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5055917&oldid=37471048"
    Powered by MediaWiki