{"id":"https://openalex.org/W1605168651","doi":"https://doi.org/10.1007/978-3-642-13840-9_12","title":"Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples","display_name":"Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1605168651","doi":"https://doi.org/10.1007/978-3-642-13840-9_12","mag":"1605168651"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-13840-9_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13840-9_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5076917665","display_name":"Stephen Muggleton","orcid":"https://orcid.org/0000-0001-6061-6104"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Stephen Muggleton","raw_affiliation_strings":["Department of Computing, Imperial College London, UK","Department of Computing, Imperial College, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College, London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045549996","display_name":"Aline Paes","orcid":"https://orcid.org/0000-0002-9089-7303"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Aline Paes","raw_affiliation_strings":["Department of Computing, Imperial College London, UK","Department of Systems Eng. and Computer Science, UFRJ, Brazil","Department of Computing, Imperial College London, UK and Department of Systems Eng. and Computer Science, UFRJ, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Systems Eng. and Computer Science, UFRJ, Brazil","institution_ids":[]},{"raw_affiliation_string":"Department of Computing, Imperial College London, UK and Department of Systems Eng. and Computer Science, UFRJ, Brazil","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059093687","display_name":"V\u0131\u0301tor Santos Costa","orcid":"https://orcid.org/0000-0002-3344-8237"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"V\u00edtor Santos Costa","raw_affiliation_strings":["CRACS and DCC/FCUP, Universidade do Porto, Portugal","CRACS and DCC, FCUP, Universidade do Porto, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CRACS and DCC/FCUP, Universidade do Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]},{"raw_affiliation_string":"CRACS and DCC, FCUP, Universidade do Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012291023","display_name":"Gerson Zaverucha","orcid":"https://orcid.org/0000-0002-3641-6839"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gerson Zaverucha","raw_affiliation_strings":["Department of Systems Eng. and Computer Science, UFRJ, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Systems Eng. and Computer Science, UFRJ, Brazil","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5701,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.68139041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"123","last_page":"130"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9973000288009644,"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/T10028","display_name":"Topic Modeling","score":0.9973000288009644,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9890000224113464,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9886999726295471,"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/artificial-intelligence","display_name":"Artificial intelligence","score":0.6995106935501099},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6988041400909424},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.5564668774604797},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.4725078046321869},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.44373270869255066},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.43966466188430786},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.42436283826828003},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4239393472671509},{"id":"https://openalex.org/keywords/computer-chess","display_name":"Computer chess","score":0.41954272985458374},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11173272132873535},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08706590533256531},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.07336166501045227}],"concepts":[{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6995106935501099},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6988041400909424},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.5564668774604797},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.4725078046321869},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.44373270869255066},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.43966466188430786},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.42436283826828003},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4239393472671509},{"id":"https://openalex.org/C550222582","wikidata":"https://www.wikidata.org/wiki/Q1122588","display_name":"Computer chess","level":3,"score":0.41954272985458374},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11173272132873535},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08706590533256531},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.07336166501045227},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C2779501167","wikidata":"https://www.wikidata.org/wiki/Q1079023","display_name":"Championship","level":2,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-13840-9_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13840-9_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.297.7649","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.7649","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.doc.ic.ac.uk/~shm/Papers/paeschess.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W340492912","https://openalex.org/W1543461272","https://openalex.org/W1584655495","https://openalex.org/W1966334556","https://openalex.org/W1987902506","https://openalex.org/W2034075659","https://openalex.org/W2111221376","https://openalex.org/W2119831128","https://openalex.org/W2133532264","https://openalex.org/W2162152259","https://openalex.org/W2478547901","https://openalex.org/W2612793397","https://openalex.org/W2913340405","https://openalex.org/W2914746235","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2171408034","https://openalex.org/W3003320923","https://openalex.org/W2106140982","https://openalex.org/W2883256816","https://openalex.org/W2152313554","https://openalex.org/W3048672182","https://openalex.org/W1509300825","https://openalex.org/W3092582874","https://openalex.org/W2065450024","https://openalex.org/W3041624779"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}