Proving quantified literals in defeasible logic (Q1818760): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4501807 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Defeasible Logic is Stable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995236 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4851550 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3789064 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4420273 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4325782 / rank | |||
Normal rank |
Latest revision as of 11:55, 29 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving quantified literals in defeasible logic |
scientific article |
Statements
Proving quantified literals in defeasible logic (English)
0 references
25 May 2000
0 references
existentially closed literals
0 references
nonmonotonic reasoning
0 references
defeasible logic
0 references
universally closed literals
0 references