{"id":"https://openalex.org/W2522335649","doi":"https://doi.org/10.1016/0743-1066(94)90022-1","title":"Guest editors' introduction","display_name":"Guest editors' introduction","publication_year":1994,"publication_date":"1994-05-01","ids":{"openalex":"https://openalex.org/W2522335649","doi":"https://doi.org/10.1016/0743-1066(94)90022-1","mag":"2522335649"},"language":"en","primary_location":{"id":"doi:10.1016/0743-1066(94)90022-1","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0743-1066(94)90022-1","pdf_url":null,"source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/123456789/125415","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004343076","display_name":"Maurice Bruynooghe","orcid":"https://orcid.org/0000-0002-6881-1462"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE","ES","US"],"is_corresponding":true,"raw_author_name":"M. Bruynooghe","raw_affiliation_strings":["Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,","Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","Department of Computer Science, University of Arizona, Tucson,","OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,"],"affiliations":[{"raw_affiliation_string":"Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Department of Computer Science, University of Arizona, Tucson,","institution_ids":["https://openalex.org/I138006243"]},{"raw_affiliation_string":"OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","institution_ids":[]},{"raw_affiliation_string":"IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108542327","display_name":"Saumya Debray","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE","ES","US"],"is_corresponding":false,"raw_author_name":"S. Debray","raw_affiliation_strings":["Department of Computer Science, University of Arizona, Tucson,","IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Arizona, Tucson,","institution_ids":["https://openalex.org/I138006243"]},{"raw_affiliation_string":"IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097237681","display_name":"M. Hermenegildo","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE","ES","US"],"is_corresponding":false,"raw_author_name":"M. Hermenegildo","raw_affiliation_strings":["IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","Department of Computer Science, University of Arizona, Tucson,","Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,"],"affiliations":[{"raw_affiliation_string":"IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"Department of Computer Science, University of Arizona, Tucson,","institution_ids":["https://openalex.org/I138006243"]},{"raw_affiliation_string":"Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","institution_ids":[]},{"raw_affiliation_string":"Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055569573","display_name":"Michael J. Maher","orcid":"https://orcid.org/0000-0002-1868-2113"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE","ES","US"],"is_corresponding":false,"raw_author_name":"M. Maher","raw_affiliation_strings":["Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,","IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","Department of Computer Science, University of Arizona, Tucson,"],"affiliations":[{"raw_affiliation_string":"Facultad de Informltica, Universidad Polittcnica de Madrid (UPM), 28660..Boadilla de1 Monte, Madrid, Spain,","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"IBM-T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598,","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 2OOA, B3001 Heverlee, Belgium,","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"OElsevier Science Inc., 1994 655 Avenue of the Americas, New York,","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, University of Arizona, Tucson,","institution_ids":["https://openalex.org/I138006243"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004343076"],"corresponding_institution_ids":["https://openalex.org/I1341412227","https://openalex.org/I138006243","https://openalex.org/I88060688","https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.5647,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78212821,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19-20","issue":null,"first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8906999826431274,"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.8906999826431274,"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.021800000220537186,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.01759999990463257,"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/computer-science","display_name":"Computer science","score":0.37961485981941223},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3245886564254761},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.320706844329834}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37961485981941223},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3245886564254761},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.320706844329834}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/0743-1066(94)90022-1","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0743-1066(94)90022-1","pdf_url":null,"source":{"id":"https://openalex.org/S86488779","display_name":"The Journal of Logic Programming","issn_l":"0743-1066","issn":["0743-1066","1873-5789"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/125415","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/125415","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"The Journal of Logic Programming, vol. 20 (SUPPL. 1), (1-3)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/125415","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/125415","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"The Journal of Logic Programming, vol. 20 (SUPPL. 1), (1-3)","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W3031052312","https://openalex.org/W4389568370","https://openalex.org/W3032375762","https://openalex.org/W1995515455","https://openalex.org/W2080531066","https://openalex.org/W2586801360","https://openalex.org/W3108674512","https://openalex.org/W1506200166","https://openalex.org/W1489783725"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2016-09-30T00:00:00"}