{"id":"https://openalex.org/W2042236049","doi":"https://doi.org/10.1016/s0004-3702(99)00076-4","title":"Knowledge-based proof planning","display_name":"Knowledge-based proof planning","publication_year":1999,"publication_date":"1999-11-01","ids":{"openalex":"https://openalex.org/W2042236049","doi":"https://doi.org/10.1016/s0004-3702(99)00076-4","mag":"2042236049"},"language":"en","primary_location":{"id":"doi:10.1016/s0004-3702(99)00076-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(99)00076-4","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"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/A5113466899","display_name":"Erica Melis\u22c6","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Erica Melis","raw_affiliation_strings":["Universit\u00e4t des Saarlandes, Fachbereich Informatik and DFKI, D-66041 Saarbr\u00fccken, Germany","Univ. des Saarlundes, Saarbr\u00fccken, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t des Saarlandes, Fachbereich Informatik and DFKI, D-66041 Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"Univ. des Saarlundes, Saarbr\u00fccken, Germany#TAB#","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044203427","display_name":"J\u00f6rg H. Siekmann","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00f6rg Siekmann","raw_affiliation_strings":["Universit\u00e4t des Saarlandes, Fachbereich Informatik and DFKI, D-66041 Saarbr\u00fccken, Germany","Univ. des Saarlundes, Saarbr\u00fccken, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t des Saarlandes, Fachbereich Informatik and DFKI, D-66041 Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"Univ. des Saarlundes, Saarbr\u00fccken, Germany#TAB#","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5113466899"],"corresponding_institution_ids":["https://openalex.org/I91712215"],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":null,"fwci":10.9515,"has_fulltext":false,"cited_by_count":75,"citation_normalized_percentile":{"value":0.98368204,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"115","issue":"1","first_page":"65","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994000196456909,"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.9994000196456909,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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.9980000257492065,"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/planner","display_name":"Planner","score":0.5763415098190308},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.5563981533050537},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5403000116348267},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"Computer-assisted proof","score":0.5042194128036499},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.48239079117774963},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4736936092376709},{"id":"https://openalex.org/keywords/structural-proof-theory","display_name":"Structural proof theory","score":0.4711377024650574},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.4360814094543457},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.4050101637840271},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.351346492767334},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.34491217136383057},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3440753221511841},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3338310420513153}],"concepts":[{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.5763415098190308},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.5563981533050537},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5403000116348267},{"id":"https://openalex.org/C173613240","wikidata":"https://www.wikidata.org/wiki/Q1150675","display_name":"Computer-assisted proof","level":3,"score":0.5042194128036499},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.48239079117774963},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4736936092376709},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.4711377024650574},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.4360814094543457},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.4050101637840271},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.351346492767334},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34491217136383057},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3440753221511841},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3338310420513153},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0004-3702(99)00076-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(99)00076-4","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":157,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W39879674","https://openalex.org/W87027538","https://openalex.org/W107937452","https://openalex.org/W125130877","https://openalex.org/W125563461","https://openalex.org/W127345038","https://openalex.org/W136805016","https://openalex.org/W152720185","https://openalex.org/W172049787","https://openalex.org/W172888194","https://openalex.org/W212713607","https://openalex.org/W583860061","https://openalex.org/W600819829","https://openalex.org/W642000422","https://openalex.org/W658758732","https://openalex.org/W1480066506","https://openalex.org/W1488538795","https://openalex.org/W1489232789","https://openalex.org/W1489854325","https://openalex.org/W1491353074","https://openalex.org/W1492160417","https://openalex.org/W1493069614","https://openalex.org/W1496318535","https://openalex.org/W1500854227","https://openalex.org/W1506722517","https://openalex.org/W1508864129","https://openalex.org/W1509767074","https://openalex.org/W1510333080","https://openalex.org/W1512750313","https://openalex.org/W1513513233","https://openalex.org/W1514729613","https://openalex.org/W1522489781","https://openalex.org/W1532420827","https://openalex.org/W1536217426","https://openalex.org/W1536733961","https://openalex.org/W1537860183","https://openalex.org/W1549859189","https://openalex.org/W1559515237","https://openalex.org/W1562800454","https://openalex.org/W1562833547","https://openalex.org/W1570712623","https://openalex.org/W1574173592","https://openalex.org/W1576193696","https://openalex.org/W1579762350","https://openalex.org/W1581769579","https://openalex.org/W1586531257","https://openalex.org/W1596324102","https://openalex.org/W1599026672","https://openalex.org/W1600796577","https://openalex.org/W1605409994","https://openalex.org/W1625260107","https://openalex.org/W1661076342","https://openalex.org/W1806544732","https://openalex.org/W1807703763","https://openalex.org/W1871213645","https://openalex.org/W1881765559","https://openalex.org/W1938103548","https://openalex.org/W1972550579","https://openalex.org/W1981627423","https://openalex.org/W1982250324","https://openalex.org/W1996404651","https://openalex.org/W2009660429","https://openalex.org/W2010405422","https://openalex.org/W2010939537","https://openalex.org/W2011638596","https://openalex.org/W2017626051","https://openalex.org/W2018221833","https://openalex.org/W2022796917","https://openalex.org/W2023139438","https://openalex.org/W2034500240","https://openalex.org/W2035078485","https://openalex.org/W2038634728","https://openalex.org/W2060498389","https://openalex.org/W2063727779","https://openalex.org/W2074251133","https://openalex.org/W2078944436","https://openalex.org/W2080104522","https://openalex.org/W2084894656","https://openalex.org/W2085089824","https://openalex.org/W2090445846","https://openalex.org/W2100738443","https://openalex.org/W2102816475","https://openalex.org/W2107766840","https://openalex.org/W2123396057","https://openalex.org/W2128057448","https://openalex.org/W2147583867","https://openalex.org/W2161640000","https://openalex.org/W2164457256","https://openalex.org/W2180809782","https://openalex.org/W2312502266","https://openalex.org/W2316166351","https://openalex.org/W2323725452","https://openalex.org/W2331953749","https://openalex.org/W2337392266","https://openalex.org/W2475549902","https://openalex.org/W2500668021","https://openalex.org/W2528273874","https://openalex.org/W2602752364","https://openalex.org/W2617237808","https://openalex.org/W2626744392","https://openalex.org/W2640541807","https://openalex.org/W2804386508","https://openalex.org/W2809460441","https://openalex.org/W2895500577","https://openalex.org/W2917669195","https://openalex.org/W2977904728","https://openalex.org/W2991938062","https://openalex.org/W4214667224","https://openalex.org/W4235170780","https://openalex.org/W4242471985","https://openalex.org/W4248106768","https://openalex.org/W4248899303","https://openalex.org/W6601635810","https://openalex.org/W6603648566","https://openalex.org/W6604437851","https://openalex.org/W6605075745","https://openalex.org/W6605115635","https://openalex.org/W6605186575","https://openalex.org/W6605537926","https://openalex.org/W6606251723","https://openalex.org/W6607038106","https://openalex.org/W6607054988","https://openalex.org/W6629353473","https://openalex.org/W6629588382","https://openalex.org/W6629698897","https://openalex.org/W6629991370","https://openalex.org/W6630245219","https://openalex.org/W6630378565","https://openalex.org/W6630599713","https://openalex.org/W6630794770","https://openalex.org/W6631219740","https://openalex.org/W6631948373","https://openalex.org/W6632306972","https://openalex.org/W6633715507","https://openalex.org/W6634437001","https://openalex.org/W6634647692","https://openalex.org/W6634676152","https://openalex.org/W6634692168","https://openalex.org/W6635107262","https://openalex.org/W6635673985","https://openalex.org/W6635992244","https://openalex.org/W6636092526","https://openalex.org/W6636682689","https://openalex.org/W6636778308","https://openalex.org/W6638553688","https://openalex.org/W6652909636","https://openalex.org/W6656486104","https://openalex.org/W6678706456","https://openalex.org/W6723645852","https://openalex.org/W6732093168","https://openalex.org/W6739691796","https://openalex.org/W6752607450","https://openalex.org/W6771478003","https://openalex.org/W6817016471","https://openalex.org/W6819175877","https://openalex.org/W6931861718"],"related_works":["https://openalex.org/W4234403895","https://openalex.org/W2105747912","https://openalex.org/W1558859407","https://openalex.org/W2522499048","https://openalex.org/W2463991046","https://openalex.org/W2119682046","https://openalex.org/W2162495973","https://openalex.org/W2398435956","https://openalex.org/W2055920195","https://openalex.org/W2074713291"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}