{"id":"https://openalex.org/W1543291831","doi":"https://doi.org/10.1007/3-540-60922-9_21","title":"General inductive inference types based on linearly-ordered sets","display_name":"General inductive inference types based on linearly-ordered sets","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1543291831","doi":"https://doi.org/10.1007/3-540-60922-9_21","mag":"1543291831"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-60922-9_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-60922-9_21","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":"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/A5045669197","display_name":"Andris Ambainis","orcid":"https://orcid.org/0000-0002-8716-001X"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I91123046","display_name":"University of Latvia","ror":"https://ror.org/05g3mes96","country_code":"LV","type":"education","lineage":["https://openalex.org/I91123046"]}],"countries":["LV","NL"],"is_corresponding":false,"raw_author_name":"Andris Ambainis","raw_affiliation_strings":["Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, the Netherlands","Institute of Mathematics and Computer Science, University of Latvia, Raina bulv. 29, Riga, Latvia","University of Amsterdam","University of Latvia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute of Mathematics and Computer Science, University of Latvia, Raina bulv. 29, Riga, Latvia","institution_ids":["https://openalex.org/I91123046"]},{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Latvia","institution_ids":["https://openalex.org/I91123046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017606989","display_name":"R\u016bsi\u0146\u0161 Freivalds","orcid":"https://orcid.org/0000-0001-6192-3843"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I91123046","display_name":"University of Latvia","ror":"https://ror.org/05g3mes96","country_code":"LV","type":"education","lineage":["https://openalex.org/I91123046"]}],"countries":["LV","NL"],"is_corresponding":false,"raw_author_name":"R\u016bsi\u0146\u0161 Freivalds","raw_affiliation_strings":["Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, the Netherlands","Institute of Mathematics and Computer Science, University of Latvia, Raina bulv. 29, Riga, Latvia","University of Amsterdam","University of Latvia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute of Mathematics and Computer Science, University of Latvia, Raina bulv. 29, Riga, Latvia","institution_ids":["https://openalex.org/I91123046"]},{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Latvia","institution_ids":["https://openalex.org/I91123046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043135669","display_name":"Carl H. Smith","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Carl H. Smith","raw_affiliation_strings":["Department of Computer Science, University of Maryland, 20442, College Park, MD, USA","Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, the Netherlands","University of Amsterdam","University of Maryland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Maryland, 20442, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Department of Mathematics, Computer Science, Physics and Astronomy, University of Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Maryland","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.02,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.73637285,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"243","last_page":"253"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9994999766349792,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9994999766349792,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9915000200271606,"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/inductive-reasoning","display_name":"Inductive reasoning","score":0.8828219771385193},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7876991033554077},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7170182466506958},{"id":"https://openalex.org/keywords/inductive-bias","display_name":"Inductive bias","score":0.7094875574111938},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6833369135856628},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5310300588607788},{"id":"https://openalex.org/keywords/inductive-method","display_name":"Inductive method","score":0.505577802658081},{"id":"https://openalex.org/keywords/inductive-logic-programming","display_name":"Inductive logic programming","score":0.4825715124607086},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.47692081332206726},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4326574206352234},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.4180021286010742},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4063136577606201},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4048077464103699},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2562832236289978},{"id":"https://openalex.org/keywords/multi-task-learning","display_name":"Multi-task learning","score":0.14041194319725037},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.09841027855873108},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0675133764743805},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.061610668897628784}],"concepts":[{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.8828219771385193},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7876991033554077},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7170182466506958},{"id":"https://openalex.org/C197352929","wikidata":"https://www.wikidata.org/wiki/Q1074074","display_name":"Inductive bias","level":4,"score":0.7094875574111938},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6833369135856628},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5310300588607788},{"id":"https://openalex.org/C2993131915","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive method","level":3,"score":0.505577802658081},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.4825715124607086},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.47692081332206726},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4326574206352234},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.4180021286010742},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4063136577606201},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4048077464103699},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2562832236289978},{"id":"https://openalex.org/C28006648","wikidata":"https://www.wikidata.org/wiki/Q6934509","display_name":"Multi-task learning","level":3,"score":0.14041194319725037},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.09841027855873108},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0675133764743805},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.061610668897628784},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.0},{"id":"https://openalex.org/C88610354","wikidata":"https://www.wikidata.org/wiki/Q1813494","display_name":"Teaching method","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-60922-9_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-60922-9_21","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W825880393","https://openalex.org/W850599559","https://openalex.org/W1486259070","https://openalex.org/W1545761782","https://openalex.org/W1694825699","https://openalex.org/W1969005071","https://openalex.org/W1999736502","https://openalex.org/W2004542545","https://openalex.org/W2018722248","https://openalex.org/W2036869460","https://openalex.org/W2038960886","https://openalex.org/W2061079066","https://openalex.org/W2075242512","https://openalex.org/W2106942450","https://openalex.org/W2130799406","https://openalex.org/W2176419554","https://openalex.org/W2324239846","https://openalex.org/W2530006810"],"related_works":["https://openalex.org/W2350866805","https://openalex.org/W4287773438","https://openalex.org/W1541951763","https://openalex.org/W4240270029","https://openalex.org/W2773625575","https://openalex.org/W1533146548","https://openalex.org/W1844544548","https://openalex.org/W2379857077","https://openalex.org/W2581749035","https://openalex.org/W3163830833"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}