A program-level approach to revising logic programs under the answer set semantics (Q3585168): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On properties of update sequences based on causal rejection / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A consistency-based approach for belief change / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extending and implementing the stable model semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly equivalent logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of theory change: Partial meet contraction and revision functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The DLV system for knowledge representation and reasoning / rank | |||
Normal rank |
Revision as of 03:14, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A program-level approach to revising logic programs under the answer set semantics |
scientific article |
Statements
A program-level approach to revising logic programs under the answer set semantics (English)
0 references
19 August 2010
0 references
answer set programming
0 references
belief change
0 references
belief revision
0 references