{"id":"https://openalex.org/W2015166041","doi":"https://doi.org/10.1145/122296.122312","title":"JOSIE","display_name":"JOSIE","publication_year":1991,"publication_date":"1991-06-01","ids":{"openalex":"https://openalex.org/W2015166041","doi":"https://doi.org/10.1145/122296.122312","mag":"2015166041"},"language":"en","primary_location":{"id":"doi:10.1145/122296.122312","doi":"https://doi.org/10.1145/122296.122312","is_oa":true,"landing_page_url":"https://doi.org/10.1145/122296.122312","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/122296.122312","source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/122296.122312","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033846121","display_name":"Robert Nado","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Nado","raw_affiliation_strings":["","Price Waterhouse Technology Centre 68 Willow Road Menlo Park, CA 94025"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Price Waterhouse Technology Centre 68 Willow Road Menlo Park, CA 94025","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113482974","display_name":"Jeffrey Van Baalen","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeffrey Van Baalen","raw_affiliation_strings":["","Price Waterhouse Technology Centre 68 Willow Road Menlo Park, CA 94025"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Price Waterhouse Technology Centre 68 Willow Road Menlo Park, CA 94025","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109834751","display_name":"Richard E. Fikes","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Fikes","raw_affiliation_strings":["","Price Waterhouse Technology Centre 68 Willow Road Menlo Park, CA 94025"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Price Waterhouse Technology Centre 68 Willow Road Menlo Park, CA 94025","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1237,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77927749,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"3","first_page":"101","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7792999744415283,"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.7792999744415283,"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.188400000333786,"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/T13734","display_name":"Advanced Computational Techniques and Applications","score":0.016100000590085983,"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-systems","display_name":"knowledge systems","score":0.8799999952316284},{"id":"https://openalex.org/keywords/knowledge-representation","display_name":"knowledge representation","score":0.6169999837875366},{"id":"https://openalex.org/keywords/reasoning-systems","display_name":"reasoning systems","score":0.4560000002384186},{"id":"https://openalex.org/keywords/inference-rules","display_name":"inference rules","score":0.5740000009536743},{"id":"https://openalex.org/keywords/forward-chaining","display_name":"forward chaining","score":0.9789999723434448},{"id":"https://openalex.org/keywords/truth-maintenance","display_name":"truth maintenance","score":0.7260000109672546},{"id":"https://openalex.org/keywords/non-monotonic-reasoning","display_name":"nonmonotonic reasoning","score":0.9449999928474426},{"id":"https://openalex.org/keywords/frame-based-representation","display_name":"frame representation","score":0.7609999775886536},{"id":"https://openalex.org/keywords/constraint-propagation","display_name":"constraint propagation","score":0.7310000061988831},{"id":"https://openalex.org/keywords/linear-system-solution","display_name":"linear system solution","score":0.6679999828338623},{"id":"https://openalex.org/keywords/gaussian-elimination","display_name":"Gaussian elimination","score":0.8240000009536743}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7586438655853271},{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.5910788774490356},{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.551720917224884},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.5366693139076233},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.5200135707855225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5088081955909729},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.49048659205436707},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.47562745213508606},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4561949372291565},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4398091435432434},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4239892065525055},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3308108448982239},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3178812563419342},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.3162909150123596},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/122296.122312","doi":"https://doi.org/10.1145/122296.122312","is_oa":true,"landing_page_url":"https://doi.org/10.1145/122296.122312","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/122296.122312","source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/122296.122312","doi":"https://doi.org/10.1145/122296.122312","is_oa":true,"landing_page_url":"https://doi.org/10.1145/122296.122312","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/122296.122312","source":{"id":"https://openalex.org/S4210224649","display_name":"ACM SIGART Bulletin","issn_l":"0163-5719","issn":["0163-5719","2331-1673"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGART Bulletin","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2015166041.pdf","grobid_xml":"https://content.openalex.org/works/W2015166041.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W32598149","https://openalex.org/W100882334","https://openalex.org/W152035938","https://openalex.org/W261987182","https://openalex.org/W1966176555","https://openalex.org/W2029246084","https://openalex.org/W2076439421","https://openalex.org/W2109621157","https://openalex.org/W2119430531","https://openalex.org/W2125692076","https://openalex.org/W2155322595","https://openalex.org/W2157368609","https://openalex.org/W2159525276","https://openalex.org/W2162564004"],"related_works":["https://openalex.org/W2109621157","https://openalex.org/W2099873657","https://openalex.org/W1525207437","https://openalex.org/W2115164315","https://openalex.org/W2141789708","https://openalex.org/W2585983686","https://openalex.org/W646095","https://openalex.org/W7095157465","https://openalex.org/W1593937747","https://openalex.org/W3020122067"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2,5,73],"overview":[3],"of":[4,43,129],"implemented":[6],"knowledge":[7],"system":[8,52,90,100,120],"development":[9],"tool,":[10],"called":[11],"JOSIE,":[12],"that":[13,33,91,101,121],"provides":[14,102,122],"a":[15,60,65,86,96,112],"general":[16],"framework":[17],"for":[18,69],"integrating":[19,36],"specialized":[20,37,98],"representation":[21,68,99],"and":[22,39,56,77,107,111,115,126],"reasoning":[23],"facilities.":[24],"In":[25],"our":[26],"presentation":[27],"we":[28],"emphasize":[29],"the":[30,40,44,48,70,83,118],"problematic":[31],"issues":[32],"arise":[34],"when":[35],"representations":[38],"distinctive":[41],"features":[42],"facilities":[45,58],"included":[46],"in":[47],"system.":[49],"The":[50],"current":[51],"includes":[53],"assertion,":[54],"retraction,":[55],"query":[57],"using":[59],"predicate-calculus":[61],"style":[62],"interface":[63,71,84],"language,":[64,72,85],"default":[66,108],"sentential":[67],"inference":[74],"rule":[75],"language":[76,114],"forward":[78],"chaining":[79],"interpreter":[80],"based":[81],"on":[82],"justification-based":[87],"truth":[88],"maintenance":[89],"supports":[92],"restricted":[93],"nonmonotonic":[94],"proofs,":[95],"frame-based":[97],"arbitrarily":[103],"nested":[104],"slot":[105,109],"descriptions":[106],"values,":[110],"constraint":[113,124],"reasoner":[116],"within":[117],"frame":[119],"both":[123],"propagation":[125],"symbolic":[127],"solution":[128],"linear":[130],"equations":[131],"via":[132],"Gaussian":[133],"elimination.":[134]},"counts_by_year":[],"updated_date":"2026-09-22T06:50:58.402377","created_date":"2016-06-24T00:00:00"}