scientific article; zbMATH DE number 2080023

MaRDI QIDQ4472210zbMATH OpenFDO

Authors João Marcos, Sandra de Amo, Walter Carnielli

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2284/22840067.htm

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• A paraconsistent logic programming approach for querying inconsistent databases
• scientific article; zbMATH DE number 2085288
• Formal inconsistency and evolutionary databases
• scientific article; zbMATH DE number 2089452
• scientific article; zbMATH DE number 1890616

Cited in

(17)

• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Distance-based paraconsistent logics
• Analysing inconsistent first-order knowledgebases
• Distance semantics for database repair
• A paraconsistent logic programming approach for querying inconsistent databases
• Computational methods for database repair by signed formulae
• A preferential framework for trivialization-resistant reasoning with inconsistent information
• scientific article; zbMATH DE number 2089452 (Why is no real title available?)
• Formal inconsistency and evolutionary databases
• A framework for handling logical inconsistencies in the fusion of Boolean knowledge bases
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• scientific article; zbMATH DE number 2085288 (Why is no real title available?)
• Database Programming Languages
• scientific article; zbMATH DE number 2209349 (Why is no real title available?)
• Inconsistency conflict resolution
• Many-valued modalities and paraconsistency
• Variable domain first-order first-degree entailment and some of its children

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472210)