{"id":"https://openalex.org/W1965106918","doi":"https://doi.org/10.1145/1273920.1273946","title":"Nonmonotonic inductive logic programming by instance patterns","display_name":"Nonmonotonic inductive logic programming by instance patterns","publication_year":2007,"publication_date":"2007-07-14","ids":{"openalex":"https://openalex.org/W1965106918","doi":"https://doi.org/10.1145/1273920.1273946","mag":"1965106918"},"language":"en","primary_location":{"id":"doi:10.1145/1273920.1273946","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273920.1273946","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"conference-paper","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/A5042915736","display_name":"Chongbing Liu","orcid":null},"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":"Chongbing Liu","raw_affiliation_strings":["New Mexico State University","New Mexico State University, "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New Mexico State University","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"New Mexico State University, ","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737"},"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":"Enrico Pontelli","raw_affiliation_strings":["New Mexico State University","New Mexico State University, "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New Mexico State University","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"New Mexico State University, ","institution_ids":["https://openalex.org/I10052268"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I10052268"],"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":null,"issue":null,"first_page":"187","last_page":"196"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9973999857902527,"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.9926999807357788,"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/inductive-logic-programming","display_name":"Inductive logic programming","score":0.8663656711578369},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.7440064549446106},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6492874622344971},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5821057558059692},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.5596204996109009},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5072807669639587},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4895530641078949},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.45938044786453247},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4529288709163666},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.43035799264907837},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4277946949005127},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4234706163406372},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3502364754676819},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21744883060455322},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.09759202599525452}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.8663656711578369},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.7440064549446106},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6492874622344971},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5821057558059692},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.5596204996109009},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5072807669639587},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4895530641078949},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.45938044786453247},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4529288709163666},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.43035799264907837},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4277946949005127},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4234706163406372},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3502364754676819},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21744883060455322},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.09759202599525452},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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":1,"locations":[{"id":"doi:10.1145/1273920.1273946","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273920.1273946","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W65955847","https://openalex.org/W1505325672","https://openalex.org/W1509735259","https://openalex.org/W1514468887","https://openalex.org/W1524545943","https://openalex.org/W1537171008","https://openalex.org/W1565236324","https://openalex.org/W1575741940","https://openalex.org/W1602681829","https://openalex.org/W1605113368","https://openalex.org/W1672891595","https://openalex.org/W1987902506","https://openalex.org/W1999138184","https://openalex.org/W2011124182","https://openalex.org/W2076698873","https://openalex.org/W2090798572","https://openalex.org/W2106519464","https://openalex.org/W2111221376","https://openalex.org/W2119831128","https://openalex.org/W2149404336","https://openalex.org/W2158292827","https://openalex.org/W2169042011","https://openalex.org/W2170105744","https://openalex.org/W2218431206","https://openalex.org/W2484153108","https://openalex.org/W2520858206","https://openalex.org/W4285719527","https://openalex.org/W6602674271","https://openalex.org/W6633906613"],"related_works":["https://openalex.org/W148982944","https://openalex.org/W1840908421","https://openalex.org/W4232219978","https://openalex.org/W1558569658","https://openalex.org/W2009605580","https://openalex.org/W2149404336","https://openalex.org/W1480366690","https://openalex.org/W1537171008","https://openalex.org/W2595762659","https://openalex.org/W2596482909"],"abstract_inverted_index":{"In":[0],"this":[1,45,62],"paper,":[2],"we":[3],"present":[4],"a":[5,37,48,54],"new":[6,112],"approach,":[7],"called":[8],"NM-ILP-IP,":[9],"for":[10],"inductive":[11],"learning":[12,98],"in":[13,34],"the":[14,25,81,97,119],"context":[15],"of":[16,27,61,80,86,107],"nonmonotonic":[17],"logic":[18,50],"frameworks.":[19],"This":[20],"approach":[21,46,63],"is":[22,94],"based":[23],"on":[24,72],"notations":[26],"concept":[28],"instances":[29],"and":[30,76,83,110],"instance":[31],"patterns":[32],"introduced":[33],"[13].":[35],"When":[36],"strictly":[38],"correct":[39],"Horn":[40],"theory":[41,121],"cannot":[42],"be":[43],"induced,":[44],"induces":[47],"normal":[49],"program,":[51],"by":[52],"specializing":[53],"previously":[55],"learned":[56],"overly-general":[57],"theory.":[58],"The":[59],"advantages":[60],"over":[64],"others":[65],"include:":[66],"(a)":[67],"it":[68,77,101],"does":[69],"not":[70],"rely":[71],"existing":[73,108],"ILP":[74,88],"systems,":[75],"avoids":[78],"many":[79],"effectiveness":[82],"efficiency":[84],"drawbacks":[85],"ordinary":[87],"systems;":[89],"(b)":[90],"no":[91],"theorem":[92],"prover":[93],"needed":[95],"during":[96],"process;":[99],"(c)":[100],"introduces":[102,111],"negation":[103],"as":[104],"failure":[105],"(NAF)":[106],"predicates":[109,114],"abnormality":[113],"only":[115],"when":[116],"necessary,":[117],"making":[118],"final":[120],"more":[122],"compact.":[123]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}