Ordering default theories and nonmonotonic logic programs (Q557790): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2004.12.003 / rank
Normal rank
 
Property / cites work
 
Property / cites work: On the correctness of unfold/fold transformation of normal and extended logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic programming and knowledge representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3206928 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4236380 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bilattices and the semantics of logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3983043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity Results for Nonmonotonic Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly equivalent logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Autoepistemic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of inductive logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic for default reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4843187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4800160 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Induction from answer sets in nonmonotonic logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Paraconsistent Stable Semantics for Extended Disjunctive Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4799292 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2004.12.003 / rank
 
Normal rank

Latest revision as of 21:27, 9 December 2024

scientific article
Language Label Description Also known as
English
Ordering default theories and nonmonotonic logic programs
scientific article

    Statements

    Ordering default theories and nonmonotonic logic programs (English)
    0 references
    0 references
    30 June 2005
    0 references
    A default theory contains different portions of information: classical/persistent and default/ten\-ta\-tive. These different portions are used in the paper to order default theories. The default theories are characterised by means of a bilattice-based many-valued interpretation having two orderings: information content ordering and truth ordering. When \(Th_1\leq_{DL} Th_2\), conclusions derived from \(Th_1\) are relatively less certain than those derived from \(Th_2\). Such an order \(\leq_{DL}\) is nonmonotonic w.r.t. the increase of information. This allows the author to study ordering relations in the answer-set semantics for nonmonotonic logic programs having many-valued interpretations (for this topic see also the influential paper by \textit{M. Gelfond} and \textit{V. Lifschitz} [New Gener. Comput. 9, No. 3/4, 365--385 (1991; Zbl 0735.68012)]).
    0 references
    default theories
    0 references
    nonmonotonic logic programs
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references