{"id":"https://openalex.org/W1530746436","doi":"https://doi.org/10.1007/978-3-540-85110-3_14","title":"A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple","display_name":"A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple","publication_year":2008,"publication_date":"2008-07-26","ids":{"openalex":"https://openalex.org/W1530746436","doi":"https://doi.org/10.1007/978-3-540-85110-3_14","mag":"1530746436"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-85110-3_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-85110-3_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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":false,"raw_author_name":"Eugenio Roanes-Lozano","raw_affiliation_strings":["Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain","Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#","institution_ids":["https://openalex.org/I121748325"]}]},{"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":["Facultad de Inform\u00e1tica, Depto. de Inteligencia Artificial, Universidad Polit\u00e9cnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain","Facultad de Inform\u00e1tica, Depto. de Inteligencia Artificial, Universidad Polit\u00e9cnica de Madrid, Madrid, Spain 28660#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facultad de Inform\u00e1tica, Depto. de Inteligencia Artificial, Universidad Polit\u00e9cnica de Madrid, Campus de Montegancedo, Boadilla del Monte, 28660, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Facultad de Inform\u00e1tica, Depto. de Inteligencia Artificial, 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":false,"raw_author_name":"Eugenio Roanes-Mac\u00edas","raw_affiliation_strings":["Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain","Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, c/ Rector Royo Villanova s/n, 28040, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]},{"raw_affiliation_string":"Facultad de Educaci\u00f3n, Depto. de Algebra, Universidad Complutense de Madrid, Madrid, Spain 28040#TAB#","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1134,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.77493018,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"170","last_page":"183"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965000152587891,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9939000010490417,"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/maple","display_name":"Maple","score":0.7833990454673767},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.683524489402771},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6600461006164551},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6263505220413208},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6140208840370178},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5215689539909363},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.4580729007720947},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4391353726387024},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40641212463378906},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37599241733551025},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33217522501945496},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26991885900497437},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2275065779685974},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.21155646443367004},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.18560633063316345},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15033993124961853}],"concepts":[{"id":"https://openalex.org/C2780414537","wikidata":"https://www.wikidata.org/wiki/Q42292","display_name":"Maple","level":2,"score":0.7833990454673767},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.683524489402771},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6600461006164551},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6263505220413208},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6140208840370178},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5215689539909363},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.4580729007720947},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4391353726387024},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40641212463378906},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37599241733551025},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33217522501945496},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26991885900497437},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2275065779685974},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.21155646443367004},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.18560633063316345},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15033993124961853},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-85110-3_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-85110-3_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W55321649","https://openalex.org/W118953832","https://openalex.org/W1486147404","https://openalex.org/W1488784313","https://openalex.org/W1933967209","https://openalex.org/W2004746351","https://openalex.org/W2017890624","https://openalex.org/W2019751493","https://openalex.org/W2027109883","https://openalex.org/W2071233438","https://openalex.org/W2084878816","https://openalex.org/W2088708675","https://openalex.org/W2099522902","https://openalex.org/W2243750813","https://openalex.org/W2486824739","https://openalex.org/W3018072601"],"related_works":["https://openalex.org/W4233254255","https://openalex.org/W2534562289","https://openalex.org/W75246058","https://openalex.org/W2123071520","https://openalex.org/W4318188140","https://openalex.org/W3216606561","https://openalex.org/W2175984923","https://openalex.org/W2795425183","https://openalex.org/W3037186148","https://openalex.org/W1968774860"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}