{"id":"https://openalex.org/W7168824390","doi":"https://doi.org/10.24963/kr.2026/62","title":"Learning Numeric Planning Domain Models From Positive Observations","display_name":"Learning Numeric Planning Domain Models From Positive Observations","publication_year":2026,"publication_date":"2026-07-01","ids":{"openalex":"https://openalex.org/W7168824390","doi":"https://doi.org/10.24963/kr.2026/62"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2026/62","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/62","pdf_url":"https://proceedings.kr.org/2026/62/kr2026-0062-watted-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2026/62/kr2026-0062-watted-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044496080","display_name":"Omar Watted","orcid":"https://orcid.org/0000-0001-8081-4618"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Omar Watted","raw_affiliation_strings":["Ben Gurion University of the Negev"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben Gurion University of the Negev","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087931133","display_name":"Argaman Mordoch","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Argaman Mordoch","raw_affiliation_strings":["Ben Gurion University of the Negev"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben Gurion University of the Negev","institution_ids":["https://openalex.org/I124227911"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085970582","display_name":"Roni Stern","orcid":"https://orcid.org/0000-0003-0043-8179"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Roni Stern","raw_affiliation_strings":["Ben Gurion University of the Negev"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ben Gurion University of the Negev","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I124227911"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"654","last_page":"664"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.6963000297546387},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5817000269889832},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.4830999970436096},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3783999979496002},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.33180001378059387},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.31049999594688416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7373999953269958},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.6963000297546387},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.603600025177002},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5817000269889832},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5162000060081482},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.4830999970436096},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3783999979496002},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.33180001378059387},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31679999828338623},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3102000057697296},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2632000148296356},{"id":"https://openalex.org/C77967617","wikidata":"https://www.wikidata.org/wiki/Q4677561","display_name":"Active learning (machine learning)","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2026/62","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/62","pdf_url":"https://proceedings.kr.org/2026/62/kr2026-0062-watted-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2026/62","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2026/62","pdf_url":"https://proceedings.kr.org/2026/62/kr2026-0062-watted-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2931886712","display_name":null,"funder_award_id":"1238/23","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168824390.pdf","grobid_xml":"https://content.openalex.org/works/W7168824390.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Domain-independent":[0],"planning":[1,161,170],"algorithms":[2],"require":[3],"as":[4],"input":[5],"an":[6,74,140],"action":[7,47,53,75,108,143,156],"model":[8,109,144],"that":[9,59,112,135,150],"specifies":[10],"the":[11,41,175],"preconditions":[12,115],"and":[13,35,138,158,172],"effects":[14],"of":[15,43,51],"each":[16],"action.":[17],"Constructing":[18],"such":[19,45],"models":[20,48,157],"is":[21,58,81],"often":[22],"challenging":[23],"for":[24,73,84,88],"domain":[25],"experts,":[26],"particularly":[27],"in":[28],"domains":[29],"where":[30,124],"actions":[31,125],"involve":[32],"both":[33],"Boolean":[34],"numeric":[36,86,107,114,169],"state":[37],"variables.":[38],"We":[39,128],"address":[40],"problem":[42],"learning":[44,85,110,145],"hybrid":[46,133],"from":[49],"observations":[50],"successful":[52,62],"executions.":[54],"A":[55],"central":[56],"challenge":[57],"observing":[60],"only":[61],"executions":[63],"provides":[64,174],"no":[65],"explicit":[66],"evidence":[67],"about":[68],"which":[69,89],"conditions":[70],"are":[71,126],"necessary":[72],"to":[76,164],"be":[77],"applicable.":[78],"This":[79],"difficulty":[80],"especially":[82],"pronounced":[83],"preconditions,":[87],"there":[90],"exist":[91],"negative":[92,119],"theoretical":[93],"results":[94],"concerning":[95],"efficient":[96],"learnability.":[97],"To":[98],"mitigate":[99],"this":[100],"limitation,":[101],"we":[102],"propose":[103],"SAM-SVM,":[104],"a":[105,132],"novel":[106],"algorithm":[111,134],"learns":[113],"by":[116],"heuristically":[117],"simulating":[118],"observations,":[120],"i.e.,":[121],"possible":[122],"states":[123],"inapplicable.":[127],"also":[129],"implemented":[130],"NSAM+SVM,":[131],"integrates":[136],"SAM-SVM":[137,151],"NSAM,":[139],"existing":[141,165],"conservative":[142],"algorithm.":[146],"Empirical":[147],"evaluation":[148],"demonstrates":[149],"can":[152],"learn":[153],"more":[154],"accurate":[155],"achieves":[159],"improved":[160],"performance":[162],"compared":[163],"methods":[166],"on":[167],"standard":[168],"benchmarks,":[171],"NSAM+SVM":[173],"most":[176,180],"robust":[177],"behavior":[178],"across":[179],"domains.":[181]},"counts_by_year":[],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2026-07-17T00:00:00"}