Preferential logics are X-logics

Journal of Logic and Computation

Volumn 11, Issue 1, 2001, Pages 71-83

  Forget, Lionel ^a   Risch, Vincent ^b   Siegel, Pierre ^a  

^a UNIVERSITÉ DE PROVENCE   (France)

^b CNRS   (France)

Author keywords

Circumscription; Nonmonotonic logic; Preferential model approach; Representation theorem

Indexed keywords

FORMAL LOGIC; INFERENCE ENGINES; SET THEORY;

INFERENCE RELATIONS; NONMONOTONIC LOGIC; X-LOGICS;

LOGIC PROGRAMMING;

EID: 0035247124     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/11.1.71     Document Type: Article

References (19)

1. Supposition-based logic for automates reasonning
2. Production fields: A new approach to deduction problems and two algorithms for propositionnal calculus
3. Nonmonotonic reasoning and databases
4. Nonmonotonic reasoning and databases
5. Saturation, nonmonotonic reasoning and the close word assuption
6. A proof procedure for circumscription
7. Preferential reasoning in the perspective of Poole default logic
8. Linear resolution for consequence finding
9. An unified view of propositionnal knowledge base updates
10. Propositionnal knowledge base revision and minimal change
11. Nonmonotonic reasonning, preferential models and cumulative logics
12. Computing circumscrption
13. General theory of cumulative inference
14. Circumscription-a form of non-monotonic reasoning
15. A logic for default reasoning
16. A modal logic for hypothesis theory
17. A representation theorem for preferential logics