Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:idus.us.es:11441/86606

A logic-algebraic tool for reasoning with Knowledge-Based Systems

Authors
Publication date
1 December 2020
Publisher
'Elsevier BV'

Abstract

A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown.Ministerio de Economía y Competitividad TIN2013-41086-

Similar works

Full text

thumbnail-image

idUS. Depósito de Investigación Universidad de Sevilla

redirect
oaioai:idus.us.es:11441/86606
Last time updated on 03/06/2019

This paper was published in idUS. Depósito de Investigación Universidad de Sevilla.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.