{"id":"https://openalex.org/W1781201735","doi":"https://doi.org/10.3233/fi-2012-659","title":"Computing Implications with Negation from a Formal Context","display_name":"Computing Implications with Negation from a Formal Context","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W1781201735","doi":"https://doi.org/10.3233/fi-2012-659","mag":"1781201735"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2012-659","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2012-659","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5028335166","display_name":"Rokia Missaoui","orcid":"https://orcid.org/0000-0001-7410-4177"},"institutions":[{"id":"https://openalex.org/I33217400","display_name":"Universit\u00e9 du Qu\u00e9bec en Outaouais","ror":"https://ror.org/011pqxa69","country_code":"CA","type":"education","lineage":["https://openalex.org/I33217400","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Rokia Missaoui","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec en Outaouais, D\u00e9partement d'informatique et d'ing\u00e9nierie, 101, rue St-Jean Bosco, Gatineau (Qu\u00e9bec), J8X 3X7 Canada, Rokia.missaoui@uqo.ca"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec en Outaouais, D\u00e9partement d'informatique et d'ing\u00e9nierie, 101, rue St-Jean Bosco, Gatineau (Qu\u00e9bec), J8X 3X7 Canada, Rokia.missaoui@uqo.ca","institution_ids":["https://openalex.org/I33217400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104519753","display_name":"Lhouari Nourine","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]},{"id":"https://openalex.org/I2800706911","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17","country_code":"FR","type":"government","lineage":["https://openalex.org/I2800706911"]},{"id":"https://openalex.org/I4210099416","display_name":"Laboratoire d'Informatique, de Mod\u00e9lisation et d'Optimisation des Syst\u00e8mes","ror":"https://ror.org/00t3fpp34","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I198244214","https://openalex.org/I203339264","https://openalex.org/I205703379","https://openalex.org/I3019848993","https://openalex.org/I4210099416","https://openalex.org/I4210123221","https://openalex.org/I4210159245","https://openalex.org/I4387154249"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Lhouari Nourine","raw_affiliation_strings":["LIMOS - CNRS UMR 6158, Universit\u00e9 Blaise Pascal, Complexe scientifique des C\u00e9zeaux, 63 177 Aubi\u010dre Cedex \u2013 France, nourine@isima.fr","(We are grateful to the French National Research Agency (ANR) for the funding of the DAG project. All the authors express their gratitude to the Guest Editors and the anonymous reviewers for their ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMOS - CNRS UMR 6158, Universit\u00e9 Blaise Pascal, Complexe scientifique des C\u00e9zeaux, 63 177 Aubi\u010dre Cedex \u2013 France, nourine@isima.fr","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I198244214","https://openalex.org/I4210099416"]},{"raw_affiliation_string":"(We are grateful to the French National Research Agency (ANR) for the funding of the DAG project. All the authors express their gratitude to the Guest Editors and the anonymous reviewers for their ...#TAB#","institution_ids":["https://openalex.org/I2800706911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016083062","display_name":"Yoan Renaud","orcid":"https://orcid.org/0000-0002-4036-8315"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104796","display_name":"Institut Camille Jordan","ror":"https://ror.org/01ekw7f87","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210104796","https://openalex.org/I4405259976","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I4210155607","display_name":"Laboratoire d'Informatique en Images et Syst\u00e8mes d'Information","ror":"https://ror.org/04dv4he91","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210155607","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I48430043","display_name":"Institut National des Sciences Appliqu\u00e9es de Lyon","ror":"https://ror.org/050jn9y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I203339264","https://openalex.org/I48430043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yoan Renaud","raw_affiliation_strings":["LIRIS - CNRS UMR 5208, INSA Lyon, 7 av, Jean Capelle, 69 621 Villeurbanne Cedex France, yoan.renaud@gmail.com","(Correspd.) LIRIS - CNRS UMR 5208, INSA Lyon, 7 av, Jean Capelle, 69 621 Villeurbanne Cedex France, yoan.renaud@gmail.com"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIRIS - CNRS UMR 5208, INSA Lyon, 7 av, Jean Capelle, 69 621 Villeurbanne Cedex France, yoan.renaud@gmail.com","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210104796","https://openalex.org/I4210155607","https://openalex.org/I48430043"]},{"raw_affiliation_string":"(Correspd.) LIRIS - CNRS UMR 5208, INSA Lyon, 7 av, Jean Capelle, 69 621 Villeurbanne Cedex France, yoan.renaud@gmail.com","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210104796","https://openalex.org/I48430043"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8439,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.87232633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"115","issue":"4","first_page":"357","last_page":"375"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9987000226974487,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9987000226974487,"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9962000250816345,"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/T10260","display_name":"Software Engineering Research","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.9303938150405884},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6543172597885132},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.616877019405365},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.5705968141555786},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47421789169311523},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.44826751947402954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4139007031917572},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38969647884368896},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.17006653547286987},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.15668505430221558},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.0769917368888855}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.9303938150405884},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6543172597885132},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.616877019405365},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.5705968141555786},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47421789169311523},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.44826751947402954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4139007031917572},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38969647884368896},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.17006653547286987},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.15668505430221558},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0769917368888855},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-2012-659","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2012-659","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01352937v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01352937","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta Informaticae, 2012, 4, 115, pp.357-375. ⟨10.3233/FI-2012-659⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W77161","https://openalex.org/W4196833","https://openalex.org/W53681585","https://openalex.org/W106642128","https://openalex.org/W180789408","https://openalex.org/W434645858","https://openalex.org/W635524309","https://openalex.org/W1484413656","https://openalex.org/W1489911981","https://openalex.org/W1495333347","https://openalex.org/W1498568244","https://openalex.org/W1503729935","https://openalex.org/W1506285740","https://openalex.org/W1508490905","https://openalex.org/W1536736992","https://openalex.org/W1537336823","https://openalex.org/W1542628109","https://openalex.org/W1564907238","https://openalex.org/W1581468894","https://openalex.org/W1582262226","https://openalex.org/W1591588860","https://openalex.org/W1603022250","https://openalex.org/W1630375812","https://openalex.org/W1820945835","https://openalex.org/W1874429601","https://openalex.org/W1892399053","https://openalex.org/W1937135581","https://openalex.org/W1972732338","https://openalex.org/W2006770970","https://openalex.org/W2007327392","https://openalex.org/W2008756825","https://openalex.org/W2026562765","https://openalex.org/W2066771339","https://openalex.org/W2071804674","https://openalex.org/W2072414537","https://openalex.org/W2077053297","https://openalex.org/W2080947358","https://openalex.org/W2087134747","https://openalex.org/W2093428478","https://openalex.org/W2115822498","https://openalex.org/W2155778398","https://openalex.org/W2158315335","https://openalex.org/W2162843425","https://openalex.org/W2166559705","https://openalex.org/W2210278139","https://openalex.org/W2405935784"],"related_works":["https://openalex.org/W4214701509","https://openalex.org/W4212824748","https://openalex.org/W1596105581","https://openalex.org/W2077585551","https://openalex.org/W2015627330","https://openalex.org/W3104092934","https://openalex.org/W4388593575","https://openalex.org/W286008560","https://openalex.org/W2765486039","https://openalex.org/W1021663120"],"abstract_inverted_index":{"The":[0],"objective":[1],"of":[2],"this":[3],"article":[4],"is":[5,27],"to":[6],"define":[7,33],"an":[8],"approach":[9],"towards":[10],"generating":[11],"implications":[12,41],"with":[13],"(or":[14],"without)":[15],"negation":[16],"when":[17],"only":[18],"a":[19,34],"formal":[20],"context":[21],"K":[22],"=":[23],"(G,":[24],"M,":[25],"I)":[26],"provided.":[28],"To":[29],"that":[30],"end,":[31],"we":[32],"two-step":[35],"procedure":[36],"which":[37],"first":[38],"(i)":[39],"computes":[40]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":6},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}