A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

DOI10.1093/LOGCOM/EXI076zbMATH Open1102.03023OpenAlexW1786160467WikidataQ57665247 ScholiaQ57665247MaRDI QIDQ5477457FDOQ5477457

Authors: Jorge García Duque, Martín López Nores, José J. Pazos Arias, Ana Fernándezvilas, Rebeca P. Díaz-Redondo, Alberto Gil-Solla, Yolanda Blanco-Fernández, Manuel Ramos Cabrer 

Publication date: 3 July 2006

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi076

Recommendations

• scientific article; zbMATH DE number 1693429
• Advances in Artificial Intelligence – SBIA 2004
• An exercise on the generation of many-valued dynamic logics
• Measure Logic
• scientific article; zbMATH DE number 1343459

zbMATH Keywords

many-valued logicrequirements specificationsreasoning about uncertainty and inconsistency

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Advances in Artificial Intelligence – SBIA 2004

Uses Software

• SCTL-MUS
• PVS

This page was built for publication: A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

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