{"id":"https://openalex.org/W2089686758","doi":"https://doi.org/10.1007/s10472-009-9147-4","title":"A Groebner bases-based approach to backward reasoning in rule based expert systems","display_name":"A Groebner bases-based approach to backward reasoning in rule based expert systems","publication_year":2009,"publication_date":"2009-06-30","ids":{"openalex":"https://openalex.org/W2089686758","doi":"https://doi.org/10.1007/s10472-009-9147-4","mag":"2089686758"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-009-9147-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-009-9147-4","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","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/A5043190267","display_name":"Eugenio Roanes\u2013Lozano","orcid":"https://orcid.org/0000-0002-0880-6610"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Eugenio Roanes-Lozano","raw_affiliation_strings":["Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, c/ Rector Royo Villanova, 28040, Madrid, Spain","Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, c/ Rector Royo Villanova, 28040, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107971863","display_name":"Antonio Hernando","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":"Antonio Hernando","raw_affiliation_strings":["Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Carretera de Valencia km 7, 28031, Madrid, Spain","Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain 28031#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Carretera de Valencia km 7, 28031, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain 28031#TAB#","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","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":["Depto. de Inteligencia Artificial, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain","Depto. de Inteligencia Artificial, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain 28660#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Depto. de Inteligencia Artificial, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Depto. de Inteligencia Artificial, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain 28660#TAB#","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039155964","display_name":"Eugenio Roanes-Mac\u0131\u0301as","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Eugenio Roanes-Mac\u00edas","raw_affiliation_strings":["Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, c/ Rector Royo Villanova, 28040, Madrid, Spain","Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, c/ Rector Royo Villanova, 28040, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Depto. de \u00c1lgebra, Facultad de Educaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5039155964","https://openalex.org/A5043190267"],"corresponding_institution_ids":["https://openalex.org/I121748325"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.7728,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.8483476,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"56","issue":"3-4","first_page":"297","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9927999973297119,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.991599977016449,"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/complex-system","display_name":"Complex system","score":0.7826006412506104},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.643722414970398},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4881473481655121},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.42681753635406494},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38837653398513794},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3832659125328064},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3777769207954407},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33112502098083496},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.3062376379966736},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1240985095500946}],"concepts":[{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.7826006412506104},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.643722414970398},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4881473481655121},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.42681753635406494},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38837653398513794},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3832659125328064},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3777769207954407},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33112502098083496},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3062376379966736},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1240985095500946}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10472-009-9147-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-009-9147-4","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W1486147404","https://openalex.org/W1488784313","https://openalex.org/W1518341038","https://openalex.org/W1530746436","https://openalex.org/W1562474977","https://openalex.org/W1933967209","https://openalex.org/W2004316934","https://openalex.org/W2004746351","https://openalex.org/W2017890624","https://openalex.org/W2018959401","https://openalex.org/W2019751493","https://openalex.org/W2026253506","https://openalex.org/W2027109883","https://openalex.org/W2038345254","https://openalex.org/W2057361103","https://openalex.org/W2060036014","https://openalex.org/W2071233438","https://openalex.org/W2088708675","https://openalex.org/W2094174087","https://openalex.org/W2118607885","https://openalex.org/W2128687423","https://openalex.org/W2172398743","https://openalex.org/W2243750813","https://openalex.org/W2319466955","https://openalex.org/W2913982944","https://openalex.org/W2995200218"],"related_works":["https://openalex.org/W2355626165","https://openalex.org/W2576952456","https://openalex.org/W2348764057","https://openalex.org/W1991498243","https://openalex.org/W2378834395","https://openalex.org/W2357622997","https://openalex.org/W2650743995","https://openalex.org/W2017859253","https://openalex.org/W2555253273","https://openalex.org/W51983556"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}