{"id":"https://openalex.org/W1786160467","doi":"https://doi.org/10.1093/logcom/exi076","title":"A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications","display_name":"A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications","publication_year":2006,"publication_date":"2006-04-01","ids":{"openalex":"https://openalex.org/W1786160467","doi":"https://doi.org/10.1093/logcom/exi076","mag":"1786160467"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exi076","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exi076","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038467549","display_name":"Jorge Garc\u00eda\u2010Duque","orcid":"https://orcid.org/0000-0001-7239-5863"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Jorge Garc\u00eda-Duque","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002790244","display_name":"Mart\u00edn L\u00f3pez\u2010Nores","orcid":"https://orcid.org/0000-0002-4802-607X"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Mart\u00edn L\u00f3pez-Nores","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024510171","display_name":"Jos\u00e9 J. Pazos\u2010Arias","orcid":"https://orcid.org/0000-0002-0424-5481"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 J. Pazos-Arias","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091308112","display_name":"Ana Fern\u00e1ndez Vilas","orcid":"https://orcid.org/0000-0003-1047-2143"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ana Fern\u00e1ndez-Vilas","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076160231","display_name":"Rebeca P. D\u0131\u0301az Redondo","orcid":"https://orcid.org/0000-0002-2367-2219"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Rebeca P. D\u00edaz-Redondo","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073680999","display_name":"Alberto Gil\u2010Solla","orcid":"https://orcid.org/0000-0002-9641-4149"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alberto Gil-Solla","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012831769","display_name":"Yolanda Blanco\u2010Fern\u00e1ndez","orcid":"https://orcid.org/0000-0002-1816-1377"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Yolanda Blanco-Fern\u00e1ndez","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051252233","display_name":"Manuel Ramos\u2010Cabrer","orcid":"https://orcid.org/0000-0002-1684-2160"},"institutions":[{"id":"https://openalex.org/I6289922","display_name":"Universidade de Vigo","ror":"https://ror.org/05rdf8595","country_code":"ES","type":"education","lineage":["https://openalex.org/I6289922"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Ramos-Cabrer","raw_affiliation_strings":["Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: , , , , , , ,","institution_ids":["https://openalex.org/I6289922"]},{"raw_affiliation_string":"Department of Telematics Engineering, University of Vigo, Spain. Email: jgd@det.uvigo.es, mlnores@det.uvigo.es, jose@det.uvigo.es, avilas@det.uvigo.es, rebeca@det.uvigo.es, agil@det.uvigo.es, yola ...#TAB#","institution_ids":["https://openalex.org/I6289922"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5038467549"],"corresponding_institution_ids":["https://openalex.org/I6289922"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":5.128,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.94898749,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"16","issue":"2","first_page":"227","last_page":"255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9758999943733215,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9758999943733215,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9674999713897705,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9538999795913696,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/telematics","display_name":"Telematics","score":0.6458775997161865},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.5999791622161865},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.36918604373931885},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2701011896133423},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.14879462122917175}],"concepts":[{"id":"https://openalex.org/C89074322","wikidata":"https://www.wikidata.org/wiki/Q485669","display_name":"Telematics","level":2,"score":0.6458775997161865},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.5999791622161865},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.36918604373931885},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2701011896133423},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.14879462122917175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exi076","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exi076","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W2948807893","https://openalex.org/W2935909890","https://openalex.org/W2778153218","https://openalex.org/W2758277628","https://openalex.org/W2748952813","https://openalex.org/W1531601525"],"abstract_inverted_index":{"Journal":[0,284],"Article":[1],"A":[2],"Six-valued":[3],"Logic":[4,286],"to":[5],"Reason":[6],"about":[7],"Uncertainty":[8],"and":[9,287],"Inconsistency":[10],"in":[11],"Requirements":[12],"Specifications":[13],"Get":[14],"access":[15],"Jorge":[16,18],"Garc\u00eda-Duque,":[17],"Garc\u00eda-Duque":[19],"Department":[20,53,88,121,156,189,222,255],"of":[21,25,54,58,89,93,122,126,157,161,190,194,223,227,256,260,285],"Telematics":[22,55,90,123,158,191,224,257],"Engineering,":[23,56,91,124,159,192,225,258],"University":[24,57,92,125,160,193,226,259],"Vigo,":[26,59,94,127,162,195,228,261],"Spain.":[27,60,95,128,163,196,229,262],"Email:":[28,61,96,129,164,197,230,263],"jgd@det.uvigo.es,":[29,62,97,130,165,198,231,264],"mlnores@det.uvigo.es,":[30,63,98,131,166,199,232,265],"jose@det.uvigo.es,":[31,64,99,132,167,200,233,266],"avilas@det.uvigo.es,":[32,65,100,133,168,201,234,267],"rebeca@det.uvigo.es,":[33,66,101,134,169,202,235,268],"agil@det.uvigo.es,":[34,67,102,135,170,203,236,269],"yolanda@det.uvigo.es,":[35,68,103,136,171,204,237,270],"mramos@det.uvigo.es":[36,69,104,137,172,205,238,271],"Search":[37,70,105,138,173,206,239,272],"for":[38,71,106,139,174,207,240,273],"other":[39,72,107,140,175,208,241,274],"works":[40,73,108,141,176,209,242,275],"by":[41,74,109,142,177,210,243,276],"this":[42,75,110,143,178,211,244,277],"author":[43,76,111,144,179,212,245,278],"on:":[44,77,112,145,180,213,246,279],"Oxford":[45,78,113,146,181,214,247,280],"Academic":[46,79,114,147,182,215,248,281],"Google":[47,80,115,148,183,216,249,282],"Scholar":[48,81,116,149,184,217,250,283],"Mart\u00edn":[49,51],"L\u00f3pez-Nores,":[50],"L\u00f3pez-Nores":[52],"Jos\u00e9":[82,85],"J.":[83,86],"Pazos-Arias,":[84],"Pazos-Arias":[87],"Ana":[117,119],"Fern\u00e1ndez-Vilas,":[118],"Fern\u00e1ndez-Vilas":[120],"Rebeca":[150,153],"P.":[151,154],"D\u00edaz-Redondo,":[152],"D\u00edaz-Redondo":[155],"Alberto":[185,187],"Gil-Solla,":[186],"Gil-Solla":[188],"Yolanda":[218,220],"Blanco-Fern\u00e1ndez,":[219],"Blanco-Fern\u00e1ndez":[221],"Manuel":[251,253],"Ramos-Cabrer":[252,254],"Computation,":[288],"Volume":[289],"16,":[290],"Issue":[291],"2,":[292],"April":[293,300],"2006,":[294],"Pages":[295],"227\u2013255,":[296],"https://doi.org/10.1093/logcom/exi076":[297],"Published:":[298],"01":[299],"2006":[301]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-04T09:04:59.091469","created_date":"2025-10-10T00:00:00"}