{"id":"https://openalex.org/W2500723871","doi":null,"title":"Dividing and conquering logic","display_name":"Dividing and conquering logic","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2500723871","mag":"2500723871"},"language":"en","primary_location":{"id":"mag:2500723871","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=935464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"book","is_traditional":true,"indexed_in":[],"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/A5001232416","display_name":"John McCarthy","orcid":"https://orcid.org/0000-0003-2878-1921","observed_orcids":["https://orcid.org/0000-0003-2878-1921","https://orcid.org/0000-0002-8903-6573","https://orcid.org/0000-0001-6356-4266"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John McCarthy","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2878-1921","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5109409885","display_name":"Eyal Amir","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eyal Amir","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0907,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.51696607,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9688000082969666,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9688000082969666,"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.026599999517202377,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.0012000000569969416,"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/knowledge-representation","display_name":"knowledge representation","score":0.7089999914169312},{"id":"https://openalex.org/keywords/logical-theory","display_name":"logical theory","score":0.8240000009536743},{"id":"https://openalex.org/keywords/approximate-algorithms","display_name":"approximate algorithms","score":0.43700000643730164},{"id":"https://openalex.org/keywords/subsumption-architecture","display_name":"subsumption architecture","score":0.8019999861717224},{"id":"https://openalex.org/keywords/intelligent-agents","display_name":"intelligent agents","score":0.9490000009536743},{"id":"https://openalex.org/keywords/mobile-robot-control","display_name":"mobile robot control","score":0.8740000128746033},{"id":"https://openalex.org/keywords/object-oriented-design","display_name":"object-oriented design","score":0.8050000071525574},{"id":"https://openalex.org/keywords/robot-motion","display_name":"robot motion","score":0.6340000033378601},{"id":"https://openalex.org/keywords/robot-interaction","display_name":"robot interaction","score":0.6029999852180481}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6493111252784729},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5595982074737549},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.540309727191925},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5350948572158813},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.5323100090026855},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5046957731246948},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.49978137016296387},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4892308712005615},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4763638973236084},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.46538013219833374},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45075908303260803},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.43807607889175415},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4357495903968811},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3219400644302368},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26339954137802124},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2534385621547699},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.20815595984458923},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12065982818603516},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2500723871","doi":null,"is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=935464","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":225,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W12007603","https://openalex.org/W12601726","https://openalex.org/W14274997","https://openalex.org/W15206906","https://openalex.org/W17964703","https://openalex.org/W18004407","https://openalex.org/W26854244","https://openalex.org/W39176274","https://openalex.org/W49733910","https://openalex.org/W53280043","https://openalex.org/W60149184","https://openalex.org/W74108583","https://openalex.org/W78763269","https://openalex.org/W81942528","https://openalex.org/W83582759","https://openalex.org/W101508493","https://openalex.org/W101701348","https://openalex.org/W101954491","https://openalex.org/W108745833","https://openalex.org/W115284776","https://openalex.org/W128763912","https://openalex.org/W138491487","https://openalex.org/W159766092","https://openalex.org/W168299507","https://openalex.org/W180778080","https://openalex.org/W190525330","https://openalex.org/W191791718","https://openalex.org/W193086274","https://openalex.org/W199176224","https://openalex.org/W201914929","https://openalex.org/W219631402","https://openalex.org/W297311614","https://openalex.org/W640953450","https://openalex.org/W1136193735","https://openalex.org/W1279140112","https://openalex.org/W1481955269","https://openalex.org/W1484028102","https://openalex.org/W1492582005","https://openalex.org/W1493240046","https://openalex.org/W1497680540","https://openalex.org/W1503181484","https://openalex.org/W1503579586","https://openalex.org/W1504112842","https://openalex.org/W1504482310","https://openalex.org/W1505432843","https://openalex.org/W1505839237","https://openalex.org/W1509319532","https://openalex.org/W1510299930","https://openalex.org/W1512074225","https://openalex.org/W1517957937","https://openalex.org/W1520214770","https://openalex.org/W1523006294","https://openalex.org/W1523296148","https://openalex.org/W1524811847","https://openalex.org/W1526414462","https://openalex.org/W1530765221","https://openalex.org/W1532094842","https://openalex.org/W1532211537","https://openalex.org/W1536469384","https://openalex.org/W1537449969","https://openalex.org/W1541540802","https://openalex.org/W1546490768","https://openalex.org/W1548827561","https://openalex.org/W1549711853","https://openalex.org/W1551997417","https://openalex.org/W1552562496","https://openalex.org/W1554618854","https://openalex.org/W1554663460","https://openalex.org/W1555476679","https://openalex.org/W1556189547","https://openalex.org/W1559664284","https://openalex.org/W1566011038","https://openalex.org/W1568665038","https://openalex.org/W1572050278","https://openalex.org/W1573091213","https://openalex.org/W1573686114","https://openalex.org/W1581645897","https://openalex.org/W1583058930","https://openalex.org/W1586126719","https://openalex.org/W1587078595","https://openalex.org/W1589549454","https://openalex.org/W1592366243","https://openalex.org/W1592959421","https://openalex.org/W1593793857","https://openalex.org/W1596213861","https://openalex.org/W1598515570","https://openalex.org/W1599103728","https://openalex.org/W1599735882","https://openalex.org/W1601612555","https://openalex.org/W1604803164","https://openalex.org/W1607953571","https://openalex.org/W1640241748","https://openalex.org/W1641450835","https://openalex.org/W1649645444","https://openalex.org/W1677497782","https://openalex.org/W1689380074","https://openalex.org/W1713528743","https://openalex.org/W1750380915","https://openalex.org/W1764055246","https://openalex.org/W1766332311","https://openalex.org/W1826200008","https://openalex.org/W1856264906","https://openalex.org/W1860592703","https://openalex.org/W1934849835","https://openalex.org/W1964119857","https://openalex.org/W1965737603","https://openalex.org/W1966028617","https://openalex.org/W1966089223","https://openalex.org/W1972122408","https://openalex.org/W1972956465","https://openalex.org/W1974299393","https://openalex.org/W1975810242","https://openalex.org/W1976222700","https://openalex.org/W1980131378","https://openalex.org/W1980717258","https://openalex.org/W1982333717","https://openalex.org/W1985835256","https://openalex.org/W1993512664","https://openalex.org/W1994226409","https://openalex.org/W1998044200","https://openalex.org/W1999038767","https://openalex.org/W2001321150","https://openalex.org/W2003287551","https://openalex.org/W2004352874","https://openalex.org/W2005473008","https://openalex.org/W2005984922","https://openalex.org/W2008294142","https://openalex.org/W2010076812","https://openalex.org/W2010405422","https://openalex.org/W2010515895","https://openalex.org/W2010623819","https://openalex.org/W2016534055","https://openalex.org/W2020794409","https://openalex.org/W2023578426","https://openalex.org/W2027562075","https://openalex.org/W2030670832","https://openalex.org/W2034674470","https://openalex.org/W2035913237","https://openalex.org/W2037106315","https://openalex.org/W2038118137","https://openalex.org/W2039020269","https://openalex.org/W2042965494","https://openalex.org/W2044632231","https://openalex.org/W2045474169","https://openalex.org/W2047669821","https://openalex.org/W2049617814","https://openalex.org/W2051223322","https://openalex.org/W2051768896","https://openalex.org/W2054628190","https://openalex.org/W2057361103","https://openalex.org/W2057858426","https://openalex.org/W2058656940","https://openalex.org/W2059039791","https://openalex.org/W2059372025","https://openalex.org/W2066379939","https://openalex.org/W2069767473","https://openalex.org/W2075247344","https://openalex.org/W2075335084","https://openalex.org/W2078727257","https://openalex.org/W2080142817","https://openalex.org/W2084130127","https://openalex.org/W2084642537","https://openalex.org/W2085702524","https://openalex.org/W2086010529","https://openalex.org/W2088631785","https://openalex.org/W2097856935","https://openalex.org/W2098022011","https://openalex.org/W2100738443","https://openalex.org/W2104094083","https://openalex.org/W2104301310","https://openalex.org/W2105486835","https://openalex.org/W2105505307","https://openalex.org/W2107658650","https://openalex.org/W2107923300","https://openalex.org/W2108911687","https://openalex.org/W2114212951","https://openalex.org/W2114633883","https://openalex.org/W2114804254","https://openalex.org/W2114975944","https://openalex.org/W2116871363","https://openalex.org/W2116965039","https://openalex.org/W2119409989","https://openalex.org/W2121614226","https://openalex.org/W2121765622","https://openalex.org/W2121947440","https://openalex.org/W2127659271","https://openalex.org/W2129027842","https://openalex.org/W2133217918","https://openalex.org/W2137079713","https://openalex.org/W2137171066","https://openalex.org/W2139771194","https://openalex.org/W2141876475","https://openalex.org/W2146221397","https://openalex.org/W2151617868","https://openalex.org/W2151720296","https://openalex.org/W2154900313","https://openalex.org/W2159080219","https://openalex.org/W2161825580","https://openalex.org/W2162621793","https://openalex.org/W2163332605","https://openalex.org/W2165718398","https://openalex.org/W2168753596","https://openalex.org/W2175268987","https://openalex.org/W2177779121","https://openalex.org/W2275166338","https://openalex.org/W2294141595","https://openalex.org/W2297172695","https://openalex.org/W2319216046","https://openalex.org/W2340365916","https://openalex.org/W2397253692","https://openalex.org/W2405419040","https://openalex.org/W2478248862","https://openalex.org/W2557892554","https://openalex.org/W2604833817","https://openalex.org/W2911252687","https://openalex.org/W2913258176","https://openalex.org/W2913309218","https://openalex.org/W2915067375","https://openalex.org/W2945259913","https://openalex.org/W2954333904","https://openalex.org/W2977904728","https://openalex.org/W3030172211","https://openalex.org/W3139316869","https://openalex.org/W7095855945"],"related_works":["https://openalex.org/W7100313314","https://openalex.org/W7099217885","https://openalex.org/W1577738755","https://openalex.org/W1500989946","https://openalex.org/W2068634534","https://openalex.org/W2412885108","https://openalex.org/W7098017540","https://openalex.org/W2166047453","https://openalex.org/W2146285134","https://openalex.org/W27894639"],"abstract_inverted_index":{"This":[0],"thesis":[1],"provides":[2,18],"principles":[3],"for":[4,20,37,64,85,102,116],"knowledge":[5],"representation":[6],"and":[7,72,100,112,128],"reasoning":[8,21],"with":[9,22],"logical":[10,23,120],"theories":[11,24,42,107,121],"that":[12,25,31,68],"are":[13,26,45,51,91,108,114],"composed":[14],"from":[15],"fragments.":[16],"It":[17],"algorithms":[19,50,71],"made":[27],"of":[28,40,48,88,105,119,125],"multiple":[29],"partitions":[30,44],"may":[32],"overlap":[33],"in":[34],"contents.":[35],"Algorithms":[36],"automatic":[38],"decomposition":[39],"given":[41],"to":[43,53],"proposed.":[46],"Some":[47],"these":[49],"shown":[52],"approximate":[54],"the":[55,86,95,103,117,123],"optimum":[56],"by":[57],"a":[58],"small":[59],"constant":[60],"factor.":[61],"An":[62],"architecture":[63,76,84],"an":[65],"intelligent":[66],"agent":[67],"uses":[69],"similar":[70],"follows":[73],"Brooks'":[74],"subsumption":[75],"using":[77],"logic":[78],"is":[79],"examined.":[80],"Experiments":[81],"applying":[82],"this":[83],"task":[87],"mobile-robot":[89],"control":[90],"reported.":[92],"Finally,":[93],"following":[94],"object-oriented":[96],"design":[97,104,118],"methodology,":[98],"tools":[99,111],"methodology":[101,113],"decomposed":[106],"provided.":[109],"The":[110],"applied":[115],"describing":[122],"domain":[124],"robot":[126],"motion":[127],"interaction.":[129]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2016-08-23T00:00:00"}