No label defined (Q4698061)

From MaRDI portal
scientific article; zbMATH DE number 754675
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 754675

    Statements

    14 May 1995
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Handbook
    0 references
    Logic
    0 references
    Artificial intelligence
    0 references
    Logic programming
    0 references
    logic in artificial intelligence
    0 references
    epistemic logic
    0 references
    reasoning about knowledge and time
    0 references
    theory change
    0 references
    belief revision
    0 references
    relational databases
    0 references
    knowledge bases
    0 references
    reasoning about time and change
    0 references
    temporal logic
    0 references
    algorithmic handling of time
    0 references
    logic of time
    0 references
    reasoning about actions and change
    0 references
    nonmonotonic reasoning
    0 references
    multimodal logics
    0 references
    automated deduction
    0 references