{"id":"https://openalex.org/W26915432","doi":"https://doi.org/10.1007/978-3-642-29449-5_8","title":"Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs","display_name":"Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W26915432","doi":"https://doi.org/10.1007/978-3-642-29449-5_8","mag":"26915432"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-29449-5_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-29449-5_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5064316289","display_name":"Daniel Schlegel","orcid":"https://orcid.org/0000-0002-3922-3231"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel R. Schlegel","raw_affiliation_strings":["Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, NY, 14260, USA","Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, N ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, NY, 14260, USA","institution_ids":["https://openalex.org/I63190737"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, N ...#TAB#","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111487033","display_name":"Stuart C. Shapiro","orcid":null},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stuart C. Shapiro","raw_affiliation_strings":["Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, NY, 14260, USA","Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, N ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, NY, 14260, USA","institution_ids":["https://openalex.org/I63190737"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, and Center for Cognitive Science, and Center for Multisource Information Fusion, University at Buffalo, The State University of New York, Buffalo, N ...#TAB#","institution_ids":["https://openalex.org/I63190737"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63190737"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.0401,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.72913653,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"188","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9973000288009644,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9973000288009644,"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.98580002784729,"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.9690999984741211,"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/computer-science","display_name":"Computer science","score":0.7813807725906372},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5814151763916016},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5627596974372864},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.481850266456604},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4635554850101471},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.4491347372531891},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.418689489364624},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4129132032394409},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37782174348831177},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.29201948642730713},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2766580879688263},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1828571856021881},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15290018916130066},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.08648410439491272}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7813807725906372},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5814151763916016},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5627596974372864},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.481850266456604},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4635554850101471},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.4491347372531891},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.418689489364624},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4129132032394409},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37782174348831177},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.29201948642730713},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2766580879688263},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1828571856021881},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15290018916130066},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.08648410439491272},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-29449-5_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-29449-5_8","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.299.1166","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1166","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.buffalo.edu/~shapiro/Papers/schsha2012lnai.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W25175897","https://openalex.org/W55524773","https://openalex.org/W1533070959","https://openalex.org/W1579838312","https://openalex.org/W1582001079","https://openalex.org/W1868257905","https://openalex.org/W1977024555","https://openalex.org/W2038765730","https://openalex.org/W2066018628","https://openalex.org/W2073980540","https://openalex.org/W2077207253","https://openalex.org/W2094061585","https://openalex.org/W2119325477","https://openalex.org/W2130166317","https://openalex.org/W2134199742","https://openalex.org/W2142808530","https://openalex.org/W2166786000","https://openalex.org/W2189472871","https://openalex.org/W2487573296","https://openalex.org/W2561277497","https://openalex.org/W4251704720"],"related_works":["https://openalex.org/W4251854500","https://openalex.org/W100309281","https://openalex.org/W2472593905","https://openalex.org/W4232875954","https://openalex.org/W2243447688","https://openalex.org/W2402893585","https://openalex.org/W2903446172","https://openalex.org/W1540121401","https://openalex.org/W2280656062","https://openalex.org/W2504237466"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}