scientific article; zbMATH DE number 1931672

MaRDI QIDQ4708930zbMATH OpenFDO

Authors João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira

Publication date 20 June 2003

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

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic programming (68N17) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• An encompassing framework for paraconsistent logic programs
• Paraconsistent declarative semantics for extended logic programs
• scientific article; zbMATH DE number 4128792
• Combining explicit negation and negation by failure via Belnap's logic
• Logic Programming

Cited in

(15)

• Paraconsistent declarative semantics for extended logic programs
• Quasi-classical reasoning in paraconsistent databases
• An encompassing framework for paraconsistent logic programs
• Syntax and semantics of multi-adjoint normal logic programming
• Distance-based paraconsistent logics
• Any-world assumptions in logic programming
• scientific article; zbMATH DE number 4142014 (Why is no real title available?)
• A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
• Paraconsistent intelligent systems of computer logics
• scientific article; zbMATH DE number 4128792 (Why is no real title available?)
• scientific article; zbMATH DE number 554480 (Why is no real title available?)
• scientific article; zbMATH DE number 1884402 (Why is no real title available?)
• scientific article; zbMATH DE number 1453067 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Relational Methods in Computer Science

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 Q4708930)