{"id":"https://openalex.org/W1967617265","doi":"https://doi.org/10.1002/int.4550090902","title":"A formal model for knowledge-based systems verification","display_name":"A formal model for knowledge-based systems verification","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W1967617265","doi":"https://doi.org/10.1002/int.4550090902","mag":"1967617265"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550090902","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550090902","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","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/A5011361866","display_name":"Luis M. Laita","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Luis M. Laita","raw_affiliation_strings":["Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006933192","display_name":"J\u00falia Couto","orcid":"https://orcid.org/0000-0002-4022-0142"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Julia Couto","raw_affiliation_strings":["Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060699112","display_name":"Luis de Ledesma","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Luis De Ledesma","raw_affiliation_strings":["Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072694117","display_name":"Alejandro Fern\u00e1ndez Margarit","orcid":null},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alejandro Fern\u00e1ndez Margarit","raw_affiliation_strings":["Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Polite\u0301cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid, Boadilla del Monte, 28660 Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":1.1306,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.81094268,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"9","first_page":"769","last_page":"786"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.862500011920929,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.862500011920929,"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/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.861299991607666,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.850600004196167,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.7070280909538269},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5004501342773438},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4818347692489624},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.429095983505249},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.351937472820282},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33405208587646484}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7070280909538269},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5004501342773438},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4818347692489624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.429095983505249},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.351937472820282},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33405208587646484}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/int.4550090902","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550090902","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W4696618","https://openalex.org/W584443925","https://openalex.org/W1041945789","https://openalex.org/W1480023663","https://openalex.org/W1480405493","https://openalex.org/W1519478560","https://openalex.org/W2036715881","https://openalex.org/W2039832885","https://openalex.org/W4244931242","https://openalex.org/W4301434501","https://openalex.org/W6620405536","https://openalex.org/W6626893962","https://openalex.org/W6660197830"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747","https://openalex.org/W61995002"],"abstract_inverted_index":{"A":[0],"logico-algebraic":[1],"model":[2,40],"for":[3],"verification":[4,119],"of":[5,21,23,33,35,47,52,55,61,70,92,98,120,140],"Knowledge":[6,24,121],"Based":[7,25,122],"Systems,":[8],"based":[9],"on":[10,108],"Abraham":[11],"Robinson's":[12],"meta-algebra,":[13],"is":[14,27],"presented":[15],"in":[16,117],"this":[17,87],"article.":[18],"the":[19,31,39,44,53,68,80,90,118],"set":[20,32],"rules":[22],"System":[26],"considered":[28],"to":[29,100],"be":[30,84,101],"axioms":[34,69],"a":[36,58,71],"theory":[37],"\u201cT\u201d.":[38],"consists":[41],"of:":[42],"(i)":[43],"collection":[45],"\u201cP\u201d":[46],"all":[48,79],"well":[49],"formed":[50],"formulas":[51],"language":[54,91],"T,":[56,93],"(ii)":[57],"subset":[59],"P0":[60],"P":[62],"that":[63,82,106,114],"has":[64],"as":[65,127],"its":[66],"elements":[67],"given":[72],"logic":[73,88],"(bivalued,":[74],"intuitionistic,":[75],"or":[76],"other),":[77],"plus":[78],"theorems":[81],"can":[83],"deduced":[85],"from":[86],"inside":[89],"(iii)":[94],"some":[95],"distinguished":[96],"subsets":[97],"P,":[99],"called":[102],"m-ideals":[103,141],"and":[104,110,129,142],"m-filters,":[105],"depend":[107],"T":[109],"P0.":[111],"Important":[112],"concepts":[113],"are":[115,124,135],"involved":[116],"Systems":[123],"considered,":[125],"such":[126],"forward":[128],"backward":[130],"reasoning":[131],"consistencies.":[132],"Appropriate":[133],"characterizations":[134],"obtained":[136],"by":[137],"using":[138],"properties":[139],"m-filters.":[143],"\u00a9":[144],"1994":[145],"John":[146],"Wiley":[147],"&":[148],"Sons,":[149],"Inc.":[150]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}