Paraconsistency in hybrid logic
As in standard knowledge bases, hybrid knowledge bases (i.e. sets of information specified by hybrid formulas) may contain inconsistencies arising from different sources, namely from the many mechanisms used to collect relevant information. Being a fact, rather than a queer anomaly, inconsistency al...
Main Author: | |
---|---|
Other Authors: | |
Format: | article |
Language: | eng |
Published: |
2017
|
Subjects: | |
Online Access: | http://hdl.handle.net/10773/21301 |
Country: | Portugal |
Oai: | oai:ria.ua.pt:10773/21301 |