{"id":"https://openalex.org/W2008228896","doi":"https://doi.org/10.1080/00207160902777906","title":"An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning","display_name":"An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning","publication_year":2009,"publication_date":"2009-09-25","ids":{"openalex":"https://openalex.org/W2008228896","doi":"https://doi.org/10.1080/00207160902777906","mag":"2008228896"},"language":"en","primary_location":{"id":"doi:10.1080/00207160902777906","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207160902777906","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","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/A5019787734","display_name":"Alfredo Burrieza","orcid":"https://orcid.org/0000-0002-2033-6033"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"A. Burrieza","raw_affiliation_strings":["\n Departamento de Filosof\u00eda, Universidad de M\u00e1laga, M\u00e1laga, Spain","Departamento de Filosof\u00eda , Universidad de M\u00e1laga , M\u00e1laga, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\n Departamento de Filosof\u00eda, Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"Departamento de Filosof\u00eda , Universidad de M\u00e1laga , M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044022589","display_name":"\u00c1ngel Mora","orcid":"https://orcid.org/0000-0003-4548-8030"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"A. Mora","raw_affiliation_strings":["\n Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain","Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\n Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain#TAB#","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088261260","display_name":"Manuel Ojeda\u2010Aciego","orcid":"https://orcid.org/0000-0002-6064-6984"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"M. Ojeda-Aciego","raw_affiliation_strings":["\n Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain","Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\n Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]},{"raw_affiliation_string":"Departamento de Matem\u00e1tica Aplicada, Universidad de M\u00e1laga, M\u00e1laga, Spain#TAB#","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029374365","display_name":"Ewa Or\u0142owska","orcid":"https://orcid.org/0000-0002-7931-2351"},"institutions":[{"id":"https://openalex.org/I4210125529","display_name":"National Institute of Telecommunications","ror":"https://ror.org/03053v606","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210125529"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"E. Or\u0142owska","raw_affiliation_strings":["\n National Institute of Telecommunications, Warsaw, Poland","National Institute of Telecommunications , Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\n National Institute of Telecommunications, Warsaw, Poland","institution_ids":["https://openalex.org/I4210125529"]},{"raw_affiliation_string":"National Institute of Telecommunications , Warsaw, Poland","institution_ids":["https://openalex.org/I4210125529"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088261260"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":null,"apc_paid":null,"fwci":2.6648,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.9052317,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"86","issue":"10-11","first_page":"1852","last_page":"1866"},"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.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/T10906","display_name":"AI-based Problem Solving and Planning","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/T10215","display_name":"Semantic Web and Ontologies","score":0.9976000189781189,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/dual","display_name":"Dual (grammatical number)","score":0.6172344088554382},{"id":"https://openalex.org/keywords/magnitude","display_name":"Magnitude (astronomy)","score":0.580674409866333},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5731794238090515},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5597041845321655},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.5487131476402283},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3878275454044342},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3495863080024719},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34505680203437805},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34080007672309875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3378816843032837},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3377869725227356},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2240600883960724},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19029176235198975},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.10676130652427673}],"concepts":[{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.6172344088554382},{"id":"https://openalex.org/C126691448","wikidata":"https://www.wikidata.org/wiki/Q2028919","display_name":"Magnitude (astronomy)","level":2,"score":0.580674409866333},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5731794238090515},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5597041845321655},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.5487131476402283},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3878275454044342},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3495863080024719},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34505680203437805},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34080007672309875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3378816843032837},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3377869725227356},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2240600883960724},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19029176235198975},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.10676130652427673},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/00207160902777906","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207160902777906","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","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":25,"referenced_works":["https://openalex.org/W88765238","https://openalex.org/W117529806","https://openalex.org/W181192058","https://openalex.org/W1480405493","https://openalex.org/W1505743816","https://openalex.org/W1522788156","https://openalex.org/W1552276935","https://openalex.org/W1582128480","https://openalex.org/W1587289456","https://openalex.org/W1592679255","https://openalex.org/W1969184283","https://openalex.org/W1978000758","https://openalex.org/W1996365374","https://openalex.org/W2035165256","https://openalex.org/W2052771703","https://openalex.org/W2107475097","https://openalex.org/W2138599909","https://openalex.org/W2142777234","https://openalex.org/W2167232121","https://openalex.org/W2615503087","https://openalex.org/W2744250753","https://openalex.org/W2994359910","https://openalex.org/W3022710057","https://openalex.org/W3121707274","https://openalex.org/W3144973885"],"related_works":["https://openalex.org/W2376418092","https://openalex.org/W2072983018","https://openalex.org/W1016952678","https://openalex.org/W2257644995","https://openalex.org/W4311345787","https://openalex.org/W2188141918","https://openalex.org/W3185336960","https://openalex.org/W2042652790","https://openalex.org/W2225665239","https://openalex.org/W2257646557"],"abstract_inverted_index":{"Abstract":[0],"Logic":[1],"programming":[2],"has":[3],"been":[4],"used":[5],"as":[6],"a":[7,22],"natural":[8],"framework":[9],"to":[10,92],"automate":[11],"deduction":[12],"in":[13,105],"the":[14,26,32,37,71,83,94,115,124,129,137],"logic":[15,39],"of":[16,25,36,40,97,121,123,131],"order-of-magnitude":[17,41],"reasoning.":[18],"Specifically,":[19],"we":[20],"introduce":[21],"Prolog":[23],"implementation":[24,103],"Rasiowa\u2013Sikorski":[27],"proof":[28],"system":[29],"associated":[30],"with":[31],"relational":[33,46],"translation":[34],"Re(OM)":[35],"multi-modal":[38],"qualitative":[42],"reasoning":[43],"OM.":[44],"Keywords:":[45],"theorem":[47,52],"provingRasiowa\u2013Sikorski":[48],"proceduremodal":[49],"logictableaux":[50],"procedureautomated":[51],"proving":[53],"2000":[54],"AMS":[55],"Subject":[56],"Classifications":[57],":":[58],"03B4505E1068T15":[59],"Acknowledgements":[60],"The":[61,80,101,118],"author":[62,72],"A.":[63],"Mora":[64],"was":[65,75],"partially":[66,76],"supported":[67,77],"by":[68,78],"P06-FQM-02049,":[69],"and":[70],"M.":[73],"Ojeda-Aciego":[74],"TIC06-15455-C03-01.":[79],"authors":[81],"acknowledge":[82],"anonymous":[84],"referees":[85],"for":[86,109],"providing":[87],"valuable":[88],"suggestions":[89],"on":[90,127],"how":[91],"improve":[93],"final":[95],"version":[96],"this":[98],"article.":[99],"Notes":[100],"full":[102,119],"(developed":[104],"SWI-Prolog":[106],"Version":[107],"5.6.33":[108],"Windows":[110],"platform)":[111],"is":[112],"available":[113],"from":[114,136],"address":[116,138],"http://homepage.mac.com/alicauchy/":[117,139],"trace":[120],"execution":[122],"procedure":[125],"applied":[126],"all":[128],"axioms":[130],"Citation5":[132],"can":[133],"be":[134],"obtained":[135]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}