{"id":"https://openalex.org/W2128443517","doi":"https://doi.org/10.1017/s0890060400002936","title":"A predicate logic approach to CAD/CAM modeling","display_name":"A predicate logic approach to CAD/CAM modeling","publication_year":1992,"publication_date":"1992-02-01","ids":{"openalex":"https://openalex.org/W2128443517","doi":"https://doi.org/10.1017/s0890060400002936","mag":"2128443517"},"language":"en","primary_location":{"id":"doi:10.1017/s0890060400002936","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0890060400002936","pdf_url":null,"source":{"id":"https://openalex.org/S4210193102","display_name":"Artificial intelligence for engineering design analysis and manufacturing","issn_l":"0890-0604","issn":["0890-0604","1469-1760"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing","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/A5111637491","display_name":"Alan H. Bond","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alan H. Bond","raw_affiliation_strings":["Manufacturing Engineering Program, 4173C Engineering 1, University of California, Los Angeles, California 90024\u20131596, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Manufacturing Engineering Program, 4173C Engineering 1, University of California, Los Angeles, California 90024\u20131596, U.S.A","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5111637491"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.28485181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"1","first_page":"39","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9769999980926514,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/cad","display_name":"CAD","score":0.7611808776855469},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6756166219711304},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5317596197128296},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.5055906772613525},{"id":"https://openalex.org/keywords/computer-aided-design","display_name":"Computer Aided Design","score":0.46258968114852905},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.439222514629364},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.4180436432361603},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41446182131767273},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.38851290941238403},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3681092858314514},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36313220858573914},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1703413724899292}],"concepts":[{"id":"https://openalex.org/C194789388","wikidata":"https://www.wikidata.org/wiki/Q17855283","display_name":"CAD","level":2,"score":0.7611808776855469},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6756166219711304},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5317596197128296},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.5055906772613525},{"id":"https://openalex.org/C119823426","wikidata":"https://www.wikidata.org/wiki/Q184793","display_name":"Computer Aided Design","level":2,"score":0.46258968114852905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.439222514629364},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.4180436432361603},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41446182131767273},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.38851290941238403},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3681092858314514},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36313220858573914},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1703413724899292},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0890060400002936","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0890060400002936","pdf_url":null,"source":{"id":"https://openalex.org/S4210193102","display_name":"Artificial intelligence for engineering design analysis and manufacturing","issn_l":"0890-0604","issn":["0890-0604","1469-1760"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6000000238418579,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W59214605","https://openalex.org/W258482733","https://openalex.org/W363508587","https://openalex.org/W1507282125","https://openalex.org/W1529621920","https://openalex.org/W1559141016","https://openalex.org/W1983232636","https://openalex.org/W2004765616","https://openalex.org/W2004968874","https://openalex.org/W2010412453","https://openalex.org/W2022326367","https://openalex.org/W2056563703","https://openalex.org/W2057219663","https://openalex.org/W2064123965","https://openalex.org/W2069097612","https://openalex.org/W2073771347","https://openalex.org/W2077591942","https://openalex.org/W2082543976","https://openalex.org/W2124241059","https://openalex.org/W2137030538","https://openalex.org/W2212036697","https://openalex.org/W2234999676","https://openalex.org/W3021234806","https://openalex.org/W4254319269","https://openalex.org/W4285719527","https://openalex.org/W6633632270"],"related_works":["https://openalex.org/W625186032","https://openalex.org/W3138375902","https://openalex.org/W2315696258","https://openalex.org/W3165919579","https://openalex.org/W3180209133","https://openalex.org/W2766742654","https://openalex.org/W1591835233","https://openalex.org/W2008715782","https://openalex.org/W2199025291","https://openalex.org/W2340811394"],"abstract_inverted_index":{"An":[0],"approach":[1,101,143],"to":[2,8,47,56,73],"CAD":[3],"and":[4,7,20,66,71,90,97,115,130,135,147],"CAM":[5],"modeling":[6],"the":[9,18,22,39,48,61,86,104,118],"design":[10,70,96],"of":[11,17,21,41,50,64,88,95,106,111],"CAD/CAM":[12,34,145,150],"systems":[13],"is":[14,132],"presented.":[15],"Models":[16],"product":[19],"process":[23],"are":[24,36],"represented":[25,37,75],"by":[26,38],"logical":[27,32,42],"assertions":[28],"in":[29,69,76,79,126],"a":[30,77,80],"common":[31,81],"language.":[33],"functions":[35],"application":[40],"inference":[43],"rules,":[44],"which":[45,131],"correspond":[46],"derivation":[49],"new":[51],"information":[52],"as":[53,55],"well":[54],"actions.":[57],"This":[58,100],"allows":[59,85],"all":[60,103],"different":[62],"kinds":[63],"model":[65],"specification":[67],"used":[68],"manufacturing":[72,98],"be":[74],"computer":[78],"form.":[82],"It":[83],"therefore":[84],"representation":[87],"constraints":[89],"rules":[91],"connecting":[92],"any":[93],"aspects":[94],"together.":[99],"has":[102],"advantages":[105],"formal":[107],"specifiction,":[108],"namely,":[109],"ease":[110],"expression,":[112],"communication,":[113],"standardization":[114],"abstraction.":[116],"At":[117],"same":[119],"time,":[120],"we":[121,136],"demonstrate":[122],"its":[123],"practical":[124,138],"implementation":[125],"an":[127],"efficient":[128],"form,":[129],"industry":[133],"compatible,":[134],"report":[137],"experience":[139],"with":[140],"using":[141],"this":[142],"for":[144,148],"models":[146],"intelligent":[149],"functions.":[151]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}