scientific article; zbMATH DE number 6028124
From MaRDI portal
Publication:5389346
zbMath1236.68233MaRDI QIDQ5389346
Publication date: 26 April 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
description logicontologyparaconsistent logicmultiple-valued logictableau algorithminconsistency-tolerant reasoningquasi-classical logic
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items (1)
This page was built for publication:
