{"id":"https://openalex.org/W1970430141","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-131","title":"On progression and query evaluation in first-order knowledge bases with function symbols","display_name":"On progression and query evaluation in first-order knowledge bases with function symbols","publication_year":2011,"publication_date":"2011-07-16","ids":{"openalex":"https://openalex.org/W1970430141","doi":"https://doi.org/10.5591/978-1-57735-516-8/ijcai11-131","mag":"1970430141"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.675.1216","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.1216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf","raw_type":"text"},"type":"article","indexed_in":[],"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/A5002932153","display_name":"Vaishak Belle","orcid":"https://orcid.org/0000-0001-5573-8465"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vaishak Belle","raw_affiliation_strings":["[Department of Computer Science, RWTH Aachen, Aachen, Germany]"],"raw_orcid":"https://orcid.org/0000-0001-5573-8465","affiliations":[{"raw_affiliation_string":"[Department of Computer Science, RWTH Aachen, Aachen, Germany]","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005730180","display_name":"Gerhard Lakemeyer","orcid":"https://orcid.org/0000-0002-7363-7593"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerhard Lakemeyer","raw_affiliation_strings":["[Department of Computer Science, RWTH Aachen, Aachen, Germany]"],"raw_orcid":"https://orcid.org/0000-0002-7363-7593","affiliations":[{"raw_affiliation_string":"[Department of Computer Science, RWTH Aachen, Aachen, Germany]","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":1.4142,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85796759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"744","last_page":"749"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"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.9983000159263611,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9925000071525574,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9764000177383423,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/undecidable-problem","display_name":"Undecidable problem","score":0.8644784688949585},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6666197180747986},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5369247198104858},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5188521146774292},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5184433460235596},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5032960772514343},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4779351055622101},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.4428148567676544},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42940086126327515},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34821817278862},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.3394605815410614},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2805647850036621}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8644784688949585},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6666197180747986},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5369247198104858},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5188521146774292},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5184433460235596},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5032960772514343},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4779351055622101},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.4428148567676544},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42940086126327515},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34821817278862},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.3394605815410614},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2805647850036621},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.675.1216","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.675.1216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf","raw_type":"text"},{"id":"pmh:oai:publications.rwth-aachen.de:125605","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/125605","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 : Barcelona, Catalonia, Spain, 16 - 22 July 2011 / ed. by Toby Walsh. - Vol. 1-3<br/>Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11, Barcelona, Spain, 2011-07-16 - 2011-07-22","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"mag:1970430141","is_oa":false,"landing_page_url":"https://ijcai.org/papers11/Papers/IJCAI11-131.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W48296306","https://openalex.org/W78682067","https://openalex.org/W1244411803","https://openalex.org/W1527210396","https://openalex.org/W1549449731","https://openalex.org/W1667362966","https://openalex.org/W1683212044","https://openalex.org/W1973391999","https://openalex.org/W2038809129","https://openalex.org/W2062897452","https://openalex.org/W2104384626","https://openalex.org/W2147520802","https://openalex.org/W2157688865","https://openalex.org/W2163751633","https://openalex.org/W3129277215"],"related_works":["https://openalex.org/W2147520802","https://openalex.org/W1275153498","https://openalex.org/W2161931079","https://openalex.org/W87936375","https://openalex.org/W2401714029","https://openalex.org/W2405484365","https://openalex.org/W3022125085","https://openalex.org/W2970818529","https://openalex.org/W17242155","https://openalex.org/W23204217","https://openalex.org/W1996387392","https://openalex.org/W3733054","https://openalex.org/W2951590516","https://openalex.org/W2577072195","https://openalex.org/W2228999052","https://openalex.org/W2494889844","https://openalex.org/W213394602","https://openalex.org/W2953198831","https://openalex.org/W19609727","https://openalex.org/W29484930"],"abstract_inverted_index":{"In":[0,80],"a":[1,117],"seminal":[2],"paper,":[3,82],"Lin":[4],"and":[5,24,30,36,89,105,111,121],"Reiter":[6],"introduced":[7],"the":[8,34,74],"notion":[9],"of":[10,12,57,87,128],"progression":[11,17,40,100],"basic":[13],"action":[14],"theories.":[15],"Unfortunately,":[16],"is":[18,41,68,77,108],"second-order":[19],"in":[20],"general.":[21],"Recently,":[22],"Liu":[23],"Lakemeyer":[25],"improve":[26],"on":[27],"earlier":[28],"results":[29],"show":[31,52],"that":[32,53,98],"for":[33,54,125],"local-effect":[35],"normal":[37,103],"actions":[38],"case,":[39],"computable":[42],"but":[43],"may":[44],"lead":[45],"to":[46,93],"an":[47],"exponential":[48],"blow-up.":[49],"Nevertheless,":[50],"they":[51],"certain":[55,126],"kinds":[56,127],"expres-sive":[58],"first-order":[59,109],"knowledge":[60],"bases":[61],"with":[62],"disjunctive":[63],"infor-mation,":[64],"called":[65],"proper+,":[66],"it":[67],"efficient.":[69],"However,":[70],"answer-ing":[71],"queries":[72],"about":[73],"resulting":[75],"state":[76],"still":[78],"undecidable.":[79],"this":[81,85],"we":[83],"continue":[84],"line":[86],"research":[88],"extend":[90],"proper+":[91],"KBs":[92],"include":[94],"functions.":[95],"We":[96,114],"prove":[97],"their":[99],"wrt":[101],"local-effect,":[102],"actions,":[104],"range-restricted":[106],"theories,":[107],"definable":[110],"efficiently":[112],"computable.":[113],"then":[115],"provide":[116],"new":[118],"logically":[119],"sound":[120],"complete":[122],"decision":[123],"procedure":[124],"queries.":[129]},"counts_by_year":[{"year":2017,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-09-03T10:48:47.769340","created_date":"2025-10-10T00:00:00"}