Modal logic for default reasoning (Q1356222): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3867808 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formalizing nonmonotonic reasoning systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the relation between default and autoepistemic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3826524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3486549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Circumscription - a form of non-monotonic reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-monotonic logic. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonmonotonic Logic II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantical considerations on nonmonotonic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for default reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3203233 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992826 / rank | |||
Normal rank |
Revision as of 13:05, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal logic for default reasoning |
scientific article |
Statements
Modal logic for default reasoning (English)
0 references
4 June 1997
0 references
default logic
0 references
logic of necessitation
0 references
nonmonotonic reasoning
0 references
autoepistemic logic
0 references
iterative expansion
0 references
modal logic
0 references
semantics
0 references