Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Defeasible Logic is Stable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dualities between alternative semantics for logic programming and nonmonotonic reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding defeasible logic into logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representation results for defeasible logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defeasible reasoning: A discussion of some intuitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-founded semantics for defeasible logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Negation in logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: A skeptical theory of inheritance in nonmonotonic semantic networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Argumentation Semantics for Defeasible Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional plausible logic: Introduction and implementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional Clausal Defeasible Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The well-founded semantics for general logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Semantics of Predicate Logic as a Programming Language / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logic for default reasoning / rank
 
Normal rank

Revision as of 18:27, 6 July 2024

scientific article
Language Label Description Also known as
English
Interdefinability of defeasible logic and logic programming under the well-founded semantics
scientific article

    Statements

    Interdefinability of defeasible logic and logic programming under the well-founded semantics (English)
    0 references
    0 references
    22 August 2013
    0 references
    defeasible logic
    0 references
    logic programming
    0 references
    well-founded semantics
    0 references
    stable model semantics
    0 references
    ambiguity blocking and propagation
    0 references

    Identifiers