Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic
Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of <i>rational conclusions</i>, which are characterised by the feature that the inference process may require to retract prior con...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Artigo |
| Language: | Inglês |
| Published: |
MDPI AG
2020-07-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/9/3/84 |
| Tags: |
No Tags, Be the first to tag this record!
|