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...
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
MDPI AG
2020-07-01
|
| Saila: | Axioms |
| Gaiak: | |
| Sarrera elektronikoa: | https://www.mdpi.com/2075-1680/9/3/84 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|