{"id":"https://openalex.org/W2786628422","doi":"https://doi.org/10.1093/logcom/exx015","title":"On the formal characterization of the FORTE_MBC theory revision operators","display_name":"On the formal characterization of the FORTE_MBC theory revision operators","publication_year":2017,"publication_date":"2017-04-13","ids":{"openalex":"https://openalex.org/W2786628422","doi":"https://doi.org/10.1093/logcom/exx015","mag":"2786628422"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exx015","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exx015","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/A5049573173","display_name":"Ana Lu\u00edsa Duboc","orcid":null},"institutions":[{"id":"https://openalex.org/I91874244","display_name":"Col\u00e9gio Pedro II","ror":"https://ror.org/01ktxpf34","country_code":"BR","type":"education","lineage":["https://openalex.org/I91874244"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ana Lu\u00edsa Duboc","raw_affiliation_strings":["Pedro II School, Rio de Janeiro, RJ, Brazil. E-mail: alduboc@cp2.g12.br"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pedro II School, Rio de Janeiro, RJ, Brazil. E-mail: alduboc@cp2.g12.br","institution_ids":["https://openalex.org/I91874244"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045549996","display_name":"Aline Paes","orcid":"https://orcid.org/0000-0002-9089-7303"},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Aline Paes","raw_affiliation_strings":["Department of Computer Science, Institute of Computing, Universidade Federal Fluminense (UFF), Niter\u00f3i, RJ, Brazil. E-mail: alinepaes@ic.uff.br"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Institute of Computing, Universidade Federal Fluminense (UFF), Niter\u00f3i, RJ, Brazil. E-mail: alinepaes@ic.uff.br","institution_ids":["https://openalex.org/I161127581"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012291023","display_name":"Gerson Zaverucha","orcid":"https://orcid.org/0000-0002-3641-6839"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gerson Zaverucha","raw_affiliation_strings":["Department of Systems Engineering and Computer Science - COPPE, Universidade Federal do Rio de Janeiro (UFRJ), Rio de Janeiro, RJ, Brazil. E-mail: gerson@cos.ufrj.br"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Systems Engineering and Computer Science - COPPE, Universidade Federal do Rio de Janeiro (UFRJ), Rio de Janeiro, RJ, Brazil. E-mail: gerson@cos.ufrj.br","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.1994,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66065442,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"27","issue":"8","first_page":"2551","last_page":"2580"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9976999759674072,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9976999759674072,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9954000115394592,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9927999973297119,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.6824933290481567},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6194301247596741},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5946075916290283},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5849230885505676},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5558578968048096},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5485324859619141},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5046736001968384},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4820902645587921},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4337296485900879},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.41700485348701477},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3822783827781677},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3308568000793457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2676905691623688},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.13106796145439148}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.6824933290481567},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6194301247596741},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5946075916290283},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5849230885505676},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5558578968048096},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5485324859619141},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5046736001968384},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4820902645587921},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4337296485900879},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.41700485348701477},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3822783827781677},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3308568000793457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2676905691623688},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.13106796145439148},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exx015","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exx015","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W34322314","https://openalex.org/W56674437","https://openalex.org/W1488790962","https://openalex.org/W1491793019","https://openalex.org/W1565002167","https://openalex.org/W1578925359","https://openalex.org/W1591680970","https://openalex.org/W1605168651","https://openalex.org/W1666090206","https://openalex.org/W1729790469","https://openalex.org/W1966334556","https://openalex.org/W1966961673","https://openalex.org/W1999138184","https://openalex.org/W2045793840","https://openalex.org/W2051589410","https://openalex.org/W2111221376","https://openalex.org/W2119161271","https://openalex.org/W2119831128","https://openalex.org/W2140141795","https://openalex.org/W2162152259","https://openalex.org/W2164456230","https://openalex.org/W2169042011","https://openalex.org/W2187164964","https://openalex.org/W2520858206","https://openalex.org/W2561609439","https://openalex.org/W2899766884","https://openalex.org/W3193293136","https://openalex.org/W4240190185","https://openalex.org/W4243550141","https://openalex.org/W4293249558","https://openalex.org/W6602329446","https://openalex.org/W6637833806","https://openalex.org/W6704579824","https://openalex.org/W7019233629"],"related_works":["https://openalex.org/W2045049461","https://openalex.org/W1978893398","https://openalex.org/W4381094582","https://openalex.org/W1977906818","https://openalex.org/W2201908702","https://openalex.org/W2369625323","https://openalex.org/W2364579609","https://openalex.org/W1522139108","https://openalex.org/W2353528968","https://openalex.org/W2032776242"],"abstract_inverted_index":{"FORTE_MBC":[0,186,208],"is":[1,77],"a":[2,23,35,95,110,119,165,220],"First-Order":[3],"Logic":[4],"theory":[5,182],"revision":[6,57,75,157,223],"system,":[7],"built":[8],"upon":[9],"the":[10,28,42,46,53,56,70,74,86,105,114,121,143,153,175,181,192,197,207,227],"FORTE":[11],"system":[12],"but":[13],"with":[14,138],"an":[15,62,140,178],"important":[16],"supplement:":[17],"it":[18],"makes":[19],"use":[20,164],"of":[21,31,37,55,65,69,73,90,142,159,167,180,185,199],"(i)":[22,139],"Bottom":[24,47,168],"Clause":[25,48],"to":[26,40,51,78,81,83,151,173,187,218],"define":[27,152],"search":[29,115,154],"space":[30,155],"literals":[32,80],"and":[33,88,92,156,170],"(ii)":[34,177],"set":[36,166],"mode":[38,171],"declarations":[39,172],"validate":[41],"yielded":[43],"clauses.":[44,84],"Introducing":[45],"was":[49],"essential":[50],"reduce":[52],"runtime":[54],"process":[58,76,97,224],"(experimental":[59],"results":[60,211],"showed":[61],"average":[63],"speed-up":[64],"55|$\\times$|\u2060),":[66],"since":[67],"one":[68],"key":[71],"steps":[72],"create":[79],"add":[82],"However,":[85],"effectiveness":[87],"efficiency":[89],"learning":[91],"revising":[93],"as":[94,104,118],"refinement":[96,122,149,183],"heavily":[98],"rely":[99],"on":[100],"other":[101],"factors,":[102],"such":[103],"generality":[106],"relation":[107],"that":[108,147,213],"induces":[109],"generalization":[111],"model":[112],"for":[113,191],"space,":[116],"and,":[117],"consequence,":[120],"operators.":[123,230],"These":[124],"components":[125],"have":[126],"never":[127],"been":[128],"formally":[129],"analysed":[130],"in":[131,206],"FORTE(_MBC).":[132],"In":[133],"this":[134],"work,":[135],"we":[136,214],"contribute":[137],"adaptation":[141],"existing":[144],"theoretical":[145],"frameworks":[146],"characterize":[148],"operators":[150,158,184,202],"systems":[160],"like":[161],"FORTE_MBC,":[162],"which":[163],"Clauses":[169],"constrain":[174],"search;":[176],"improvement":[179],"make":[188],"them":[189,205],"ideal":[190,229],"defined":[193],"space.":[194],"We":[195],"present":[196],"feasibility":[198],"these":[200],"modified":[201],"by":[203,225],"implementing":[204],"system.":[209],"Experimental":[210],"show":[212],"are":[215],"indeed":[216],"able":[217],"obtain":[219],"more":[221],"efficient":[222],"using":[226],"proposed":[228]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}