Relating minimal models and pre-requisite-free normal defaults (Q1205716): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q109585673, #quickstatements; #temporary_batch_1706294994303 |
||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q109585673 / rank | |||
Normal rank | |||
Revision as of 19:56, 26 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relating minimal models and pre-requisite-free normal defaults |
scientific article |
Statements
Relating minimal models and pre-requisite-free normal defaults (English)
0 references
1 April 1993
0 references
non-Horn logic programs
0 references
negation
0 references
non-monotonic reasoning
0 references
default logic
0 references
