{"id":"https://openalex.org/W2113913457","doi":"https://doi.org/10.1017/s1471068403001820","title":"Introduction to the special issue on Programming with answer sets","display_name":"Introduction to the special issue on Programming with answer sets","publication_year":2003,"publication_date":"2003-07-01","ids":{"openalex":"https://openalex.org/W2113913457","doi":"https://doi.org/10.1017/s1471068403001820","mag":"2113913457"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068403001820","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068403001820","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"editorial","indexed_in":["crossref"],"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/A5083735830","display_name":"Chitta Baral","orcid":"https://orcid.org/0000-0002-7549-723X"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"CHITTA BARAL","raw_affiliation_strings":["Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail:","Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail: [email\u00a0protected])#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail:","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Department of Computer Science & Engineering, Arizona State University, Tempe, AZ 85287, USA (e-mail: [email\u00a0protected])#TAB#","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081508670","display_name":"Alessandro Provetti","orcid":"https://orcid.org/0000-0001-9542-4110"},"institutions":[{"id":"https://openalex.org/I112862951","display_name":"University of Messina","ror":"https://ror.org/05ctdxz19","country_code":"IT","type":"education","lineage":["https://openalex.org/I112862951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ALESSANDRO PROVETTI","raw_affiliation_strings":["Department of Physics \u2013 Computer Science Section, University of Messina, Messina, I-98166 Italy (e-mail:","Department of Physics \u2013 Computer Science Section, University of Messina, Messina, I-98166 Italy (e-mail: [email\u00a0protected])#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Physics \u2013 Computer Science Section, University of Messina, Messina, I-98166 Italy (e-mail:","institution_ids":["https://openalex.org/I112862951"]},{"raw_affiliation_string":"Department of Physics \u2013 Computer Science Section, University of Messina, Messina, I-98166 Italy (e-mail: [email\u00a0protected])#TAB#","institution_ids":["https://openalex.org/I112862951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063459912","display_name":"Tran Cao Son","orcid":"https://orcid.org/0000-0003-3689-8433"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"TRAN CAO SON","raw_affiliation_strings":["Computer Science Department, New Mexico State University, Las Cruces, NM, USA (e-mail:","Computer Science Department, New Mexico State University, Las Cruces, NM, USA (e-mail: tson@cs.nmsu.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, New Mexico State University, Las Cruces, NM, USA (e-mail:","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Computer Science Department, New Mexico State University, Las Cruces, NM, USA (e-mail: tson@cs.nmsu.edu)#TAB#","institution_ids":["https://openalex.org/I10052268"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"4+5","first_page":"387","last_page":"391"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9962999820709229,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.8617266416549683},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.8530007004737854},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7573285102844238},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7121013402938843},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.6827237010002136},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6752505302429199},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.6316848397254944},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6123952269554138},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5530378818511963},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.5502323508262634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49353039264678955},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4830056428909302},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.46146586537361145},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4392474293708801},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40340113639831543},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2677324414253235},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.24297401309013367},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20770740509033203},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1441827118396759},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.13640457391738892}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.8617266416549683},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8530007004737854},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7573285102844238},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7121013402938843},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.6827237010002136},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6752505302429199},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.6316848397254944},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6123952269554138},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5530378818511963},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5502323508262634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49353039264678955},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4830056428909302},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.46146586537361145},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4392474293708801},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40340113639831543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2677324414253235},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.24297401309013367},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20770740509033203},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1441827118396759},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.13640457391738892},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068403001820","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068403001820","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:45301","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/45301/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400465","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"PeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1520957705","https://openalex.org/W1606891084","https://openalex.org/W1645675097","https://openalex.org/W1672891595","https://openalex.org/W1968513265"],"related_works":["https://openalex.org/W2113913457","https://openalex.org/W1627528933","https://openalex.org/W2611359631","https://openalex.org/W2754780800","https://openalex.org/W2161391467","https://openalex.org/W597942588","https://openalex.org/W118508415","https://openalex.org/W1597221440","https://openalex.org/W2108302619","https://openalex.org/W2067946622"],"abstract_inverted_index":{"The":[0],"search":[1],"for":[2],"an":[3],"appropriate":[4],"characterization":[5],"of":[6,54,112],"negation":[7],"as":[8,31],"failure":[9],"in":[10,13,59],"logic":[11,116],"programs":[12,117],"the":[14,23,36,40,49,60,64,81],"mid":[15],"1980s":[16],"led":[17],"to":[18,30,48,158],"several":[19],"proposals.":[20],"Amongst":[21],"them":[22],"stable":[24,66,100],"model":[25,67],"semantics":[26,38,68,83,102,121],"\u2013":[27,98,105],"later":[28],"referred":[29,45],"answer":[32,119,137,144],"set":[33,120,138,145],"semantics,":[34],"and":[35,43,71,80,142,152,156],"well-founded":[37,82],"are":[39],"most":[41,55],"popular":[42],"widely":[44],"ones.":[46],"According":[47],"latest":[50],"(September":[51],"2002)":[52],"list":[53],"cited":[56],"source":[57],"documents":[58],"CiteSeer":[61],"database":[62],"(http://citeseer.nj.nec.com)":[63],"original":[65],"paper":[69,84],"(Gelfond":[70],"Lifschitz,":[72],"1988)":[73],"is":[74,90],"ranked":[75,91],"10th":[76],"with":[77,93,118,149],"649":[78],"citations":[79],"(Van":[85],"Gelder":[86],"et":[87],"al.,":[88],"1991)":[89],"70th":[92],"306":[94],"citations.":[95],"Since":[96],"1988":[97],"when":[99],"models":[101],"was":[103],"proposed":[104],"there":[106],"has":[107],"been":[108],"a":[109],"large":[110],"body":[111],"work":[113],"centered":[114],"around":[115],"covering":[122],"topics":[123],"such":[124],"as:":[125],"systematic":[126,129],"program":[127,130],"development,":[128],"analysis,":[131],"knowledge":[132,153],"representation,":[133],"declarative":[134],"problem":[135],"solving,":[136],"computing":[139,146],"algorithms,":[140],"complexity":[141],"expressiveness,":[143],"systems,":[147],"relation":[148],"other":[150],"non-monotonic":[151],"representation":[154],"formalisms,":[155],"applications":[157],"various":[159],"tasks.":[160]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}