G'3-Stable Semantics and Inconsistency
We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G'3 which is called G'3-stable semantics. This semantics defines a frame for performing non-mono...
保存先:
| 出版年: | Computación y Sistemas |
|---|---|
| 主要な著者: | , , , |
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Instituto Politécnico Nacional
2009
|
| 主題: | |
| オンライン･アクセス: | https://www.redalyc.org/articulo.oa?id=61513250007 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|