{"id":"https://openalex.org/W2110159474","doi":"https://doi.org/10.1142/s0218001408006673","title":"LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS","display_name":"LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2110159474","doi":"https://doi.org/10.1142/s0218001408006673","mag":"2110159474"},"language":"en","primary_location":{"id":"doi:10.1142/s0218001408006673","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001408006673","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Pattern Recognition 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/A5058318838","display_name":"Priscila M. V. Lima","orcid":"https://orcid.org/0000-0002-8515-9904"},"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":"PRISCILA M. V. LIMA","raw_affiliation_strings":["Department of Electronics and Computer Engineering, Universidade Federal do Rio de Janeiro, P.O. Box 68564, 21941-972, Rio de Janeiro, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronics and Computer Engineering, Universidade Federal do Rio de Janeiro, P.O. Box 68564, 21941-972, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077996361","display_name":"Mariela Morveli-Espinoza","orcid":"https://orcid.org/0000-0002-7376-2271"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"M. MARIELA M. MORVELI-ESPINOZA","raw_affiliation_strings":["Departament d'Inform\u00e0tica, Universitat Aut\u00f2noma de Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departament d'Inform\u00e0tica, Universitat Aut\u00f2noma de Barcelona, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102262614","display_name":"Glaucia C. Pereira","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165411","display_name":"Centro de Investigaciones Energ\u00e9ticas, Medioambientales y Tecnol\u00f3gicas","ror":"https://ror.org/05xx77y52","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210165411"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"GLAUCIA C. PEREIRA","raw_affiliation_strings":["CIEMAT, Departamento de Tecnolog\u00eda, Divisi\u00f3n de Electr\u00f3nica y Sensores, Unidade de F\u00edsica M\u00e9dica, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CIEMAT, Departamento de Tecnolog\u00eda, Divisi\u00f3n de Electr\u00f3nica y Sensores, Unidade de F\u00edsica M\u00e9dica, Madrid, Spain","institution_ids":["https://openalex.org/I4210165411"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010037533","display_name":"T.O. Ferreira","orcid":null},"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":"TALITA O. FERREIRA","raw_affiliation_strings":["LAM \u2013 Computer Architecture and Microelectronics Laboratory, COPPE \u2013 Systems Engineering and Computer Science Program, Universidade Federal do Rio de Janeiro, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAM \u2013 Computer Architecture and Microelectronics Laboratory, COPPE \u2013 Systems Engineering and Computer Science Program, Universidade Federal do Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033447808","display_name":"Felipe M. G. Fran\u00e7a","orcid":"https://orcid.org/0000-0002-8980-6208"},"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":"FELIPE M. G. FRAN\u00c7A","raw_affiliation_strings":["Department of Electronics and Computer Engineering, Universidade Federal do Rio de Janeiro, P.O. Box 68564, 21941-972, Rio de Janeiro, Brazil","LAM \u2013 Computer Architecture and Microelectronics Laboratory, COPPE \u2013 Systems Engineering and Computer Science Program, Universidade Federal do Rio de Janeiro, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electronics and Computer Engineering, Universidade Federal do Rio de Janeiro, P.O. Box 68564, 21941-972, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]},{"raw_affiliation_string":"LAM \u2013 Computer Architecture and Microelectronics Laboratory, COPPE \u2013 Systems Engineering and Computer Science Program, Universidade Federal do Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.09726802,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"22","issue":"05","first_page":"1031","last_page":"1043"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.998199999332428,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.998199999332428,"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/T10906","display_name":"AI-based Problem Solving and Planning","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.9922000169754028,"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/maxima-and-minima","display_name":"Maxima and minima","score":0.8222529888153076},{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.65665203332901},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.633833110332489},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5928542017936707},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.5895610451698303},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5815548896789551},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.559623122215271},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5461406111717224},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.5228227376937866},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4722190201282501},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4184722602367401},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39959242939949036},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2747044563293457},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19214972853660583}],"concepts":[{"id":"https://openalex.org/C186633575","wikidata":"https://www.wikidata.org/wiki/Q845060","display_name":"Maxima and minima","level":2,"score":0.8222529888153076},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.65665203332901},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.633833110332489},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5928542017936707},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5895610451698303},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5815548896789551},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.559623122215271},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5461406111717224},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.5228227376937866},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4722190201282501},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4184722602367401},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39959242939949036},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2747044563293457},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19214972853660583},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218001408006673","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001408006673","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Pattern Recognition and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.8899999856948853}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1597286183","https://openalex.org/W1977970897","https://openalex.org/W2001905865","https://openalex.org/W2020999234","https://openalex.org/W2023883031","https://openalex.org/W2024060531","https://openalex.org/W2117005051","https://openalex.org/W2128084896","https://openalex.org/W2137722006","https://openalex.org/W2149987967"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W1913543287","https://openalex.org/W2268872489","https://openalex.org/W2963044240","https://openalex.org/W2076399409","https://openalex.org/W2014111643"],"abstract_inverted_index":{"This":[0,71],"paper":[1],"presents":[2],"the":[3,15,24,46,61],"implementation":[4],"of":[5,26,32,45,56,63,102,122,126],"ARQ-PROP":[6,36,64,109],"II,":[7,65],"a":[8,30,57,85,95,99,120],"limited-depth":[9],"propositional":[10,113],"neural":[11],"reasoner":[12],"based":[13],"on":[14,106],"Resolution":[16],"Principle.":[17],"The":[18],"SATyrus":[19,51],"platform":[20],"was":[21],"used":[22],"in":[23,60,84],"synthesis":[25],"Energy":[27,47,129],"functions":[28,48],"from":[29],"set":[31,101],"pseudo-Boolean":[33],"constraints":[34],"specifying":[35],"II":[37,110],"architectures":[38],"for":[39,73,93],"different":[40,112],"inferencing":[41],"depths.":[42],"Global":[43],"minima":[44],"produced":[49],"by":[50],"are":[52,66,116],"associated":[53,67],"to":[54,68,79],"SATisfiability":[55,127],"formula":[58],"and,":[59],"case":[62],"Resolution-based":[69],"refutations.":[70],"allows":[72],"simplified":[74],"abduction,":[75],"prediction":[76],"and":[77],"planning":[78],"be":[80],"unified":[81],"with":[82,108,119],"deduction":[83,107],"goal-driven":[86],"style,":[87],"i.e.":[88],"there":[89],"is":[90],"no":[91],"need":[92],"presetting":[94],"reasoning":[96],"style":[97],"upon":[98],"target":[100],"clauses.":[103],"Experimental":[104],"results":[105],"using":[111],"depth":[114],"settings":[115],"presented":[117],"together":[118],"correction":[121],"Gadi":[123],"Pinkas'":[124],"mapping":[125],"into":[128],"minima.":[130]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}