Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes

@inproceedings{Bonatti2003DefeasibleII,
  title={Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes},
  author={Piero A. Bonatti and Marco Faella and Luigi Sauro},
  booktitle={IJCAI},
  year={2003}
}

• Piero A. Bonatti, Marco Faella, Luigi Sauro
• Published 2003 in IJCAI

In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula derived from T2 is also derived from T1. Such an order relation is useful to know relative value between different theories. In the context of default logic, a theory contains default information as well as definite information. To order default theories, it is necessary to assess the information content of a default theory. To this end, we introduce a multi-valued interpretation of default theories… CONTINUE READING

Save to Library

Create Alert

Cite

View Paper