scientific article
From MaRDI portal
Publication:2715521
zbMath0982.03016MaRDI QIDQ2715521
Jan O. M. Jaspars, H.Herre, Gerd Wagner
Publication date: 19 March 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonmonotonic reasoningpartial logicstable modelstrong negationminimal modelweak negationinexact predicateknowledge-based reasoningminimally inconsistent four-valued modelminimally inconsistent paraminimally stable modelparaminimality
Database theory (68P15) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Paraconsistent logics (03B53)
Related Items (4)
A framework for modular ERDF ontologies ⋮ Extended RDF: computability and complexity issues ⋮ Why-provenance information for RDF, rules, and negation ⋮ Description logics with contraries, contradictories, and subcontraries
This page was built for publication: