A logical framework for default reasoning (Q1104777): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: A first-order conditional logic for prototypical properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4052071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formalizing nonmonotonic reasoning systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3789107 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-monotonic logic. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantical considerations on nonmonotonic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3256189 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for default reasoning / rank | |||
Normal rank |
Revision as of 16:50, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A logical framework for default reasoning |
scientific article |
Statements
A logical framework for default reasoning (English)
0 references
1988
0 references
nonmonotonic reasoning
0 references
default reasoning
0 references
semantics
0 references
first-order model theory
0 references
multiple extension problems
0 references