{"id":"https://openalex.org/W2912113983","doi":"https://doi.org/10.1007/s10878-019-00389-y","title":"A temporal logic programming approach to planning","display_name":"A temporal logic programming approach to planning","publication_year":2019,"publication_date":"2019-02-09","ids":{"openalex":"https://openalex.org/W2912113983","doi":"https://doi.org/10.1007/s10878-019-00389-y","mag":"2912113983"},"language":"en","primary_location":{"id":"doi:10.1007/s10878-019-00389-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10878-019-00389-y","pdf_url":null,"source":{"id":"https://openalex.org/S107925523","display_name":"Journal of Combinatorial Optimization","issn_l":"1382-6905","issn":["1382-6905","1573-2886"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Combinatorial Optimization","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/A5100420873","display_name":"Kai Yang","orcid":"https://orcid.org/0000-0002-5983-198X"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Kai Yang","raw_affiliation_strings":["Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003990194","display_name":"Cong Tian","orcid":"https://orcid.org/0000-0002-5429-4580"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Cong Tian","raw_affiliation_strings":["Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100331270","display_name":"Nan Zhang","orcid":"https://orcid.org/0000-0002-3870-2505"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Nan Zhang","raw_affiliation_strings":["Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111520766","display_name":"Zhenhua Duan","orcid":null},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhenhua Duan","raw_affiliation_strings":["Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China"],"raw_orcid":"https://orcid.org/0000-0003-2772-1433","affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology, and ISN Laboratory, Xidian University, Xi'an, 710071, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077298638","display_name":"Hongwei Du","orcid":"https://orcid.org/0000-0002-5312-4037"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongwei Du","raw_affiliation_strings":["Harbin Institute of Technology Shenzhen Graduate School, Shenzhen, 51855, China","Harbin Institute of Technology Shenzhen Graduate School, Shenzhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Harbin Institute of Technology Shenzhen Graduate School, Shenzhen, 51855, China","institution_ids":["https://openalex.org/I204983213"]},{"raw_affiliation_string":"Harbin Institute of Technology Shenzhen Graduate School, Shenzhen, China","institution_ids":["https://openalex.org/I204983213"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003990194","https://openalex.org/A5077298638","https://openalex.org/A5100331270","https://openalex.org/A5100420873","https://openalex.org/A5111520766"],"corresponding_institution_ids":["https://openalex.org/I149594827","https://openalex.org/I204983213"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.01096137,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"38","issue":"2","first_page":"402","last_page":"420"},"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.9998000264167786,"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.9998000264167786,"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.9994999766349792,"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.9951000213623047,"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/executable","display_name":"Executable","score":0.9205501675605774},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7844514846801758},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.755162239074707},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7211695909500122},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6539818048477173},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.520322322845459},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5127702355384827},{"id":"https://openalex.org/keywords/assembly-language","display_name":"Assembly language","score":0.4789888858795166},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.4428967237472534},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38406556844711304},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22278600931167603},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07868143916130066}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.9205501675605774},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7844514846801758},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.755162239074707},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7211695909500122},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6539818048477173},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.520322322845459},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5127702355384827},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.4789888858795166},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.4428967237472534},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38406556844711304},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22278600931167603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07868143916130066},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10878-019-00389-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10878-019-00389-y","pdf_url":null,"source":{"id":"https://openalex.org/S107925523","display_name":"Journal of Combinatorial Optimization","issn_l":"1382-6905","issn":["1382-6905","1573-2886"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Combinatorial Optimization","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:spr:jcomop:v:38:y:2019:i:2:d:10.1007_s10878-019-00389-y","is_oa":false,"landing_page_url":"http://link.springer.com/10.1007/s10878-019-00389-y","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W125541279","https://openalex.org/W136570180","https://openalex.org/W160902222","https://openalex.org/W252814741","https://openalex.org/W1483150777","https://openalex.org/W1496114564","https://openalex.org/W1527743161","https://openalex.org/W1529693658","https://openalex.org/W1540044141","https://openalex.org/W1591672107","https://openalex.org/W1605189129","https://openalex.org/W1964235512","https://openalex.org/W1975845493","https://openalex.org/W1993457892","https://openalex.org/W2020639449","https://openalex.org/W2030659368","https://openalex.org/W2043818474","https://openalex.org/W2076669467","https://openalex.org/W2083735344","https://openalex.org/W2090101412","https://openalex.org/W2107218456","https://openalex.org/W2119709400","https://openalex.org/W2128361632","https://openalex.org/W2141088850","https://openalex.org/W2145582560","https://openalex.org/W2147357263","https://openalex.org/W2157117634","https://openalex.org/W2312417503","https://openalex.org/W2336581793","https://openalex.org/W2568184995","https://openalex.org/W2620922766","https://openalex.org/W2742794271"],"related_works":["https://openalex.org/W2357088637","https://openalex.org/W4242997962","https://openalex.org/W2372502659","https://openalex.org/W3210473250","https://openalex.org/W2097770333","https://openalex.org/W2167159769","https://openalex.org/W2464088295","https://openalex.org/W2108185070","https://openalex.org/W2106378884","https://openalex.org/W2150650416"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}