Reasoning under minimal upper bounds in propositional logic
Reasoning from the minimal models of a theory, as fostered by circumscription, is in the area of Artificial Intelligence an important method to formalize common sense reasoning. However, as it appears, minimal models may not always be suitable to capture the intuitive semantics of a knowledge base,...
| Main Authors: | , |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
Elsevier
2006
|
| 主题: |