{"id":"https://openalex.org/W1992325837","doi":"https://doi.org/10.1016/s0004-3702(98)00064-2","title":"Let's plan it deductively!","display_name":"Let's plan it deductively!","publication_year":1998,"publication_date":"1998-08-01","ids":{"openalex":"https://openalex.org/W1992325837","doi":"https://doi.org/10.1016/s0004-3702(98)00064-2","mag":"1992325837"},"language":"en","primary_location":{"id":"doi:10.1016/s0004-3702(98)00064-2","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(98)00064-2","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/A5025467738","display_name":"Wolfgang Bibel","orcid":"https://orcid.org/0000-0003-3892-0171"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"W. Bibel","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Alexanderstr. 10, Darmstadt, Germany","Technische Univ. Darmstadt, Darmstadt, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Alexanderstr. 10, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]},{"raw_affiliation_string":"Technische Univ. Darmstadt, Darmstadt, Germany#TAB#","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025467738"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":null,"fwci":6.635,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.96656076,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"103","issue":"1-2","first_page":"183","last_page":"208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","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/T10906","display_name":"AI-based Problem Solving and Planning","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/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/T10215","display_name":"Semantic Web and Ontologies","score":0.9976999759674072,"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/formalism","display_name":"Formalism (music)","score":0.6748597621917725},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.61961829662323},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5216046571731567},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.44033506512641907},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.42717546224594116},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.4163307845592499},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40922725200653076},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38129404187202454},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3465248942375183},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3396947979927063},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3260037899017334},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.154504656791687},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.13922029733657837},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.12837928533554077}],"concepts":[{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6748597621917725},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.61961829662323},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5216046571731567},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.44033506512641907},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.42717546224594116},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.4163307845592499},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40922725200653076},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38129404187202454},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3465248942375183},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3396947979927063},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3260037899017334},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.154504656791687},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.13922029733657837},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.12837928533554077},{"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0004-3702(98)00064-2","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0004-3702(98)00064-2","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":94,"referenced_works":["https://openalex.org/W4789806","https://openalex.org/W26772505","https://openalex.org/W48887184","https://openalex.org/W63175732","https://openalex.org/W81942528","https://openalex.org/W115583350","https://openalex.org/W124626878","https://openalex.org/W145520746","https://openalex.org/W162353158","https://openalex.org/W198481169","https://openalex.org/W1173625161","https://openalex.org/W1224593062","https://openalex.org/W1482588680","https://openalex.org/W1495396426","https://openalex.org/W1501129975","https://openalex.org/W1503127657","https://openalex.org/W1504874107","https://openalex.org/W1506246234","https://openalex.org/W1512430070","https://openalex.org/W1514583064","https://openalex.org/W1530993544","https://openalex.org/W1552564382","https://openalex.org/W1558059851","https://openalex.org/W1561608403","https://openalex.org/W1563196767","https://openalex.org/W1569543037","https://openalex.org/W1572277334","https://openalex.org/W1574092257","https://openalex.org/W1582978759","https://openalex.org/W1593617641","https://openalex.org/W1594285439","https://openalex.org/W1600919542","https://openalex.org/W1684304711","https://openalex.org/W1731763842","https://openalex.org/W1979593694","https://openalex.org/W1983362322","https://openalex.org/W1989481283","https://openalex.org/W1990764990","https://openalex.org/W1993657894","https://openalex.org/W2007116259","https://openalex.org/W2020324561","https://openalex.org/W2029111147","https://openalex.org/W2041994626","https://openalex.org/W2050373079","https://openalex.org/W2070767616","https://openalex.org/W2074767926","https://openalex.org/W2084894656","https://openalex.org/W2090761873","https://openalex.org/W2095436832","https://openalex.org/W2095567847","https://openalex.org/W2099430436","https://openalex.org/W2103245360","https://openalex.org/W2106314226","https://openalex.org/W2107905351","https://openalex.org/W2109735044","https://openalex.org/W2117055870","https://openalex.org/W2118315695","https://openalex.org/W2138162238","https://openalex.org/W2180809782","https://openalex.org/W2212036697","https://openalex.org/W2258046470","https://openalex.org/W2328580899","https://openalex.org/W2337392266","https://openalex.org/W2911865844","https://openalex.org/W3021909058","https://openalex.org/W3163847339","https://openalex.org/W4242125186","https://openalex.org/W4285719527","https://openalex.org/W6600187994","https://openalex.org/W6602003051","https://openalex.org/W6603286778","https://openalex.org/W6605875308","https://openalex.org/W6606684901","https://openalex.org/W6606782004","https://openalex.org/W6608084321","https://openalex.org/W6611561403","https://openalex.org/W6627692022","https://openalex.org/W6628014074","https://openalex.org/W6630137955","https://openalex.org/W6630188329","https://openalex.org/W6630395765","https://openalex.org/W6631785373","https://openalex.org/W6633400202","https://openalex.org/W6634300341","https://openalex.org/W6635738176","https://openalex.org/W6637613960","https://openalex.org/W6645163789","https://openalex.org/W6647556752","https://openalex.org/W6674758880","https://openalex.org/W6676194851","https://openalex.org/W6676344617","https://openalex.org/W6676582978","https://openalex.org/W6678129944","https://openalex.org/W6680341452"],"related_works":["https://openalex.org/W4231882507","https://openalex.org/W75810394","https://openalex.org/W2375753925","https://openalex.org/W2057691744","https://openalex.org/W2751220277","https://openalex.org/W2400555417","https://openalex.org/W2074478535","https://openalex.org/W2004290655","https://openalex.org/W2056814187","https://openalex.org/W199368717"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}