{"id":"https://openalex.org/W2104646930","doi":"https://doi.org/10.1145/93597.98728","title":"Extending logic programming","display_name":"Extending logic programming","publication_year":1990,"publication_date":"1990-05-01","ids":{"openalex":"https://openalex.org/W2104646930","doi":"https://doi.org/10.1145/93597.98728","mag":"2104646930"},"language":"en","primary_location":{"id":"doi:10.1145/93597.98728","doi":"https://doi.org/10.1145/93597.98728","is_oa":true,"landing_page_url":"https://doi.org/10.1145/93597.98728","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/93605.98728","source":{"id":"https://openalex.org/S4393915683","display_name":"ACM SIGMOD International Conference on Management of Data (SIGMOD)","issn_l":"0730-8078","issn":["0730-8078"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1990 ACM SIGMOD international conference on Management of data","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/93605.98728","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068601994","display_name":"Els Laenens","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Els Laenens","raw_affiliation_strings":["Philips Intl B V, PASS/AIT, Eindhoven, The Netherlands","Philips Intl B V, PASS/AIT, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philips Intl B V, PASS/AIT, Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Philips Intl B V, PASS/AIT, Eindhoven, The Netherlands#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052111624","display_name":"Domenico Sacc\u00e0","orcid":"https://orcid.org/0000-0003-3584-5372","observed_orcids":["https://orcid.org/0000-0003-3584-5372"]},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Domenico Sacca","raw_affiliation_strings":["Dipartmento di Sistemi, Universit\u00e0 della Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartmento di Sistemi, Universit\u00e0 della Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111467762","display_name":"Dirk Vermeir","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Dirk Vermeir","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Antwerp UIA, Wilrijk, Belgium","Department of Mathematics and Computer Science, University of Antwerp UIA, Wilrijk, Belgium#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Antwerp UIA, Wilrijk, Belgium","institution_ids":["https://openalex.org/I149213910"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Antwerp UIA, Wilrijk, Belgium#TAB#","institution_ids":["https://openalex.org/I149213910"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.5322,"has_fulltext":true,"cited_by_count":31,"citation_normalized_percentile":{"value":0.94826087,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"184","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9868000149726868,"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.9868000149726868,"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.00839999970048666,"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.0008999999845400453,"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/object-oriented-logic-programming","display_name":"object-oriented logic programming","score":0.8399999737739563},{"id":"https://openalex.org/keywords/exception-handling","display_name":"exception handling","score":0.7950000166893005},{"id":"https://openalex.org/keywords/expert-systems","display_name":"expert systems","score":0.8690000176429749}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6959035992622375},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6425711512565613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5815588235855103},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5258603096008301},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4786989986896515},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4710390865802765},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.4424506425857544},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.42500990629196167},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23444122076034546},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/93597.98728","doi":"https://doi.org/10.1145/93597.98728","is_oa":true,"landing_page_url":"https://doi.org/10.1145/93597.98728","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/93605.98728","source":{"id":"https://openalex.org/S4393915683","display_name":"ACM SIGMOD International Conference on Management of Data (SIGMOD)","issn_l":"0730-8078","issn":["0730-8078"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1990 ACM SIGMOD international conference on Management of data","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.unical.it:20.500.11770/179129","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11770/179129","pdf_url":null,"source":{"id":"https://openalex.org/S4377196898","display_name":"Archive of Doctoral Theses and Digital Collections (University of Calabria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I45204951","host_organization_name":"University of Calabria","host_organization_lineage":["https://openalex.org/I45204951"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/93597.98728","doi":"https://doi.org/10.1145/93597.98728","is_oa":true,"landing_page_url":"https://doi.org/10.1145/93597.98728","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/93605.98728","source":{"id":"https://openalex.org/S4393915683","display_name":"ACM SIGMOD International Conference on Management of Data (SIGMOD)","issn_l":"0730-8078","issn":["0730-8078"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1990 ACM SIGMOD international conference on Management of data","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2104646930.pdf","grobid_xml":"https://content.openalex.org/works/W2104646930.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1756530980","https://openalex.org/W1766332311","https://openalex.org/W1977583107","https://openalex.org/W1984715534","https://openalex.org/W1989910224","https://openalex.org/W1992810975","https://openalex.org/W1998162300","https://openalex.org/W2046213250","https://openalex.org/W2128770734","https://openalex.org/W2162621793","https://openalex.org/W4206370914","https://openalex.org/W4254819021"],"related_works":["https://openalex.org/W1722572067","https://openalex.org/W2066114654","https://openalex.org/W2072467620","https://openalex.org/W1500842934","https://openalex.org/W7096955001","https://openalex.org/W1864612132","https://openalex.org/W2026953979","https://openalex.org/W1479815973","https://openalex.org/W7099101515","https://openalex.org/W55050080"],"abstract_inverted_index":{"An":[0,19],"extension":[1],"of":[2,13,23,26,37,46,75,143],"logic":[3,7,121,147,161],"programming,":[4],"called":[5],"\u201cordered":[6],"programming\u201d,":[8],"which":[9,80],"includes":[10],"some":[11,140],"abstractions":[12],"the":[14,53,73,76,85,120,124,152],"object-oriented":[15,125],"paradigm,":[16],"is":[17,32,82,102],"presented.":[18],"ordered":[20],"program":[21],"consists":[22],"a":[24,35,115,135],"number":[25,36],"modules":[27,54,78],"(objects),":[28],"where":[29],"each":[30],"module":[31,64],"composed":[33],"by":[34,84],"rules":[38,68,71,74,96],"possibly":[39],"with":[40,106,123,149,163],"negated":[41,164],"head":[42],"predicates.":[43],"A":[44],"sort":[45],"\u201cisa\u201d":[47,86],"hierarchy":[48,87],"can":[49],"be":[50],"defined":[51],"among":[52],"in":[55,127,151],"order":[56],"to":[57,79,104,118,160],"allow":[58],"for":[59,138,145],"rule":[60,153,165],"inheritance.":[61],"Therefore,":[62],"every":[63],"sees":[65],"its":[66],"own":[67],"as":[69,88,94],"local":[70,95],"and":[72,109,155],"other":[77],"it":[81,101],"connected":[83],"global":[89,99],"rules.":[90],"In":[91],"this":[92,132],"way,":[93],"may":[97],"hide":[98],"rules,":[100],"possible":[103],"deal":[105],"default":[107],"properties":[108],"exceptions.":[110],"This":[111],"new":[112,136],"approach":[113,133],"represents":[114],"novel":[116],"attempt":[117],"combine":[119],"paradigm":[122],"one":[126],"knowledge":[128],"base":[129],"systems.":[130],"Moreover,":[131],"provides":[134],"ground":[137],"explaining":[139],"recent":[141],"proposals":[142],"semantics":[144,159],"classical":[146],"programs":[148,162],"negation":[150],"bodies":[154],"gives":[156],"an":[157],"interesting":[158],"heads.":[166]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}