{"id":"https://openalex.org/W132860830","doi":null,"title":"Logic programming with generalized quantifiers","display_name":"Logic programming with generalized quantifiers","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W132860830","mag":"132860830"},"language":"en","primary_location":{"id":"mag:132860830","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=1734836","pdf_url":null,"source":{"id":"https://openalex.org/S56112914","display_name":"Journal of computing sciences in colleges","issn_l":"1937-4763","issn":["1937-4763","1937-4771"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4361727485","host_organization_name":"Consortium for Computing Sciences in Colleges","host_organization_lineage":["https://openalex.org/P4361727485"],"host_organization_lineage_names":["Consortium for Computing Sciences in Colleges"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Journal of computing sciences in colleges","raw_type":null},"volume":null,"type":"article","is_traditional":true,"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/A5048923660","display_name":"Peter Gabrovsky","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I157638225","display_name":"California State University, Northridge","ror":"https://ror.org/005f5hv41","country_code":"US","type":"education","lineage":["https://openalex.org/I157638225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Peter Gabrovsky","raw_affiliation_strings":["CALIFORNIA STATE UNIVERSITY, NORTHRIDGE, CALIFORNIA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CALIFORNIA STATE UNIVERSITY, NORTHRIDGE, CALIFORNIA","institution_ids":["https://openalex.org/I157638225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048923660"],"corresponding_institution_ids":["https://openalex.org/I157638225"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"4","first_page":"203","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8988999724388123,"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.8988999724388123,"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.08259999752044678,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.009200000204145908,"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/logic-programming","display_name":"logic programming","score":0.9769999980926514},{"id":"https://openalex.org/keywords/generalized-quantifiers","display_name":"generalized quantifiers","score":0.9860000014305115},{"id":"https://openalex.org/keywords/declarative-semantics","display_name":"declarative semantics","score":0.824999988079071},{"id":"https://openalex.org/keywords/procedural-semantics","display_name":"procedural semantics","score":0.8149999976158142},{"id":"https://openalex.org/keywords/interpreters","display_name":"interpreters","score":0.6259999871253967},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.9860000014305115},{"id":"https://openalex.org/keywords/self-reflection","display_name":"self-reflection","score":0.9829999804496765},{"id":"https://openalex.org/keywords/program-composition","display_name":"program composition","score":0.7390000224113464},{"id":"https://openalex.org/keywords/transfinite-induction","display_name":"transfinite induction","score":0.7879999876022339}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7046948671340942},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6265308260917664},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5588583946228027},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.47921448945999146},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4765127897262573},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.4713190197944641},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.46115660667419434},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.4485345482826233},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4247857332229614},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.4230729937553406},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2855921983718872},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2782045304775238},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.26124095916748047}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:132860830","doi":null,"is_oa":false,"landing_page_url":"https://dl.acm.org/citation.cfm?id=1734836","pdf_url":null,"source":{"id":"https://openalex.org/S56112914","display_name":"Journal of computing sciences in colleges","issn_l":"1937-4763","issn":["1937-4763","1937-4771"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4361727485","host_organization_name":"Consortium for Computing Sciences in Colleges","host_organization_lineage":["https://openalex.org/P4361727485"],"host_organization_lineage_names":["Consortium for Computing Sciences in Colleges"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Journal of computing sciences in colleges","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W142297547","https://openalex.org/W148328695","https://openalex.org/W2046213250","https://openalex.org/W2114804254","https://openalex.org/W2497963692","https://openalex.org/W2954301182"],"related_works":["https://openalex.org/W1602839533","https://openalex.org/W1776373986","https://openalex.org/W4388216503","https://openalex.org/W7096382571","https://openalex.org/W1648163228","https://openalex.org/W1527701550","https://openalex.org/W111887196","https://openalex.org/W7100436768","https://openalex.org/W7095942860","https://openalex.org/W1506389832"],"abstract_inverted_index":{"We":[0,25,88],"introduce":[1],"an":[2],"extension":[3],"of":[4,7,79,104,108],"the":[5,8,22,36,66,80,91,102],"language":[6,74],"traditional":[9,81],"logic":[10,109],"programming,":[11],"which":[12],"is":[13,59],"obtained":[14],"by":[15],"allowing":[16],"for":[17,101],"monotonic":[18],"generalized":[19,106],"quantifiers":[20],"in":[21],"program":[23],"clauses.":[24],"provide":[26],"a":[27,41,49,98,105],"declarative":[28,67],"semantics,":[29],"and":[30,54,61,86],"we":[31,46,55,70],"show":[32,56,71],"that":[33,57,72,90],"it":[34,58],"satisfies":[35,75],"minimal":[37],"fixed-point":[38],"property.":[39],"Using":[40],"transfinite":[42],"induction":[43],"on":[44],"ordinals,":[45],"also":[47],"present":[48],"procedural":[50],"semantics":[51],"(an":[52],"interpreter),":[53],"sound":[60],"complete":[62],"with":[63],"respect":[64],"to":[65],"semantics.":[68],"Furthermore,":[69],"this":[73],"two":[76],"fundamental":[77],"properties":[78],"programming":[82],"languages,":[83],"namely,":[84],"self-reflection":[85],"composition.":[87],"argue":[89],"results":[92],"here":[93],"can":[94],"be":[95],"used":[96],"as":[97],"starting":[99],"point":[100],"development":[103],"theory":[107],"programming.":[110]},"counts_by_year":[],"updated_date":"2025-10-10T17:16:08.811792","created_date":"2016-06-24T00:00:00"}