{"id":"https://openalex.org/W804960517","doi":null,"title":"An adaption of proof-planning to declarer play in bridge","display_name":"An adaption of proof-planning to declarer play in bridge","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W804960517","mag":"804960517"},"language":"en","primary_location":{"id":"pmh:oai:escidoc.org:escidoc:2052692","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0023-C414-0","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210088280","host_organization_name":"Max Planck Digital Library","host_organization_lineage":["https://openalex.org/I4210088280"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"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/A5112039435","display_name":"Ian Frank","orcid":"https://orcid.org/0009-0001-3619-4121","observed_orcids":["https://orcid.org/0009-0001-3619-4121"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ian Frank","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025344654","display_name":"David Basin","orcid":"https://orcid.org/0000-0003-2952-939X","observed_orcids":["https://orcid.org/0000-0003-2952-939X"]},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"David Basin","raw_affiliation_strings":["Programming Logics, MPI for Informatics, Max Planck Society"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Programming Logics, MPI for Informatics, Max Planck Society","institution_ids":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040311876","display_name":"Alan Bundy","orcid":"https://orcid.org/0000-0002-0578-6474","observed_orcids":["https://orcid.org/0000-0002-0578-6474"]},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alan Bundy","raw_affiliation_strings":["Programming Logics, MPI for Informatics, Max Planck Society"],"raw_orcid":"https://orcid.org/0000-0002-0578-6474","affiliations":[{"raw_affiliation_string":"Programming Logics, MPI for Informatics, Max Planck Society","institution_ids":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"72","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.8432999849319458,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.8432999849319458,"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.15489999949932098,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0005000000237487257,"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/proof-planning","display_name":"proof planning","score":0.6520000100135803},{"id":"https://openalex.org/keywords/bridges","display_name":"bridges","score":0.949999988079071},{"id":"https://openalex.org/keywords/finesse","display_name":"finesse","score":0.9700000286102295},{"id":"https://openalex.org/keywords/planning-under-uncertainty","display_name":"planning under uncertainty","score":0.843999981880188},{"id":"https://openalex.org/keywords/opponent-modeling","display_name":"opponent modeling","score":0.32499998807907104},{"id":"https://openalex.org/keywords/probabilistic-reasoning","display_name":"probabilistic reasoning","score":0.5979999899864197},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"qualitative reasoning","score":0.5860000252723694}],"concepts":[{"id":"https://openalex.org/C2778204307","wikidata":"https://www.wikidata.org/wiki/Q2483021","display_name":"Finesse","level":4,"score":0.8586835265159607},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6629269123077393},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.6390090584754944},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.5166869163513184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5115293264389038},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0986032783985138},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.09308406710624695},{"id":"https://openalex.org/C169268690","wikidata":"https://www.wikidata.org/wiki/Q1359945","display_name":"Fabry\u2013P\u00e9rot interferometer","level":3,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C6260449","wikidata":"https://www.wikidata.org/wiki/Q41364","display_name":"Wavelength","level":2,"score":0.0},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:escidoc.org:escidoc:2052692","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0023-C414-0","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210088280","host_organization_name":"Max Planck Digital Library","host_organization_lineage":["https://openalex.org/I4210088280"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.mpg.de:item_2052692","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0023-C414-0","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ECAI 1992","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"mag:1518822845","doi":null,"is_oa":false,"landing_page_url":"https://www.research.ed.ac.uk/portal/files/16657451/An_Adaption_of_Proof_Planning_to_Declarer_Play_in_Bridge.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null},{"id":"mag:804960517","doi":null,"is_oa":false,"landing_page_url":"http://pubman.mpdl.mpg.de/pubman/item/escidoc:2052692","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7099033341","https://openalex.org/W7100444112","https://openalex.org/W2234905642","https://openalex.org/W1518822845","https://openalex.org/W1594439076","https://openalex.org/W2007295058","https://openalex.org/W206296863","https://openalex.org/W7099418913","https://openalex.org/W4239771259","https://openalex.org/W2236292599"],"abstract_inverted_index":{"We":[0],"present":[1],"FINESSE,":[2],"a":[3,73],"system":[4],"that":[5],"forms":[6],"optimal":[7],"plans":[8],"for":[9,83],"declarer":[10],"play":[11],"in":[12,27,95,114,119],"the":[13,19,28,36,51,61,89,99,120],"\\\\u000Agame":[14],"of":[15,21,30,47,53,63,92],"Bridge.":[16],"FINESSE":[17,116],"adapts":[18],"technique":[20],"proof\u2010planning,":[22],"developed":[23],"at":[24],"\\\\u000AEdinburgh":[25],"University":[26],"context":[29],"mathematical":[31],"theorem\u2010proving,":[32],"to":[33,71],"deal":[34],"\\\\u000Awith":[35],"disjunctive":[37],"choice":[38],"encountered":[39],"when":[40],"planning":[41,82],"under":[42],"uncertainty,":[43],"and":[44,107],"\\\\u000Athe":[45],"context\u2010dependency":[46],"actions":[48],"produced":[49],"by":[50,123],"presence":[52],"an":[54],"opposition.":[55],"\\\\u000AFINESSE":[56],"not":[57],"only":[58],"demonstrated":[59],"how":[60],"idea":[62],"proof\u2010planning":[64],"could":[65],"be":[66,72],"\\\\u000Ageneralised,":[67],"but":[68],"also":[69],"proved":[70],"very":[74],"capable":[75],"bridge":[76],"system.":[77],"In":[78],"its":[79,103],"domain":[80],"\\\\u000Aof":[81],"individual":[84],"suits,":[85],"it":[86],"correctly":[87],"identified":[88],"proper":[90],"lines":[91],"\\\\u000Aplay":[93],"found":[94],"many":[96],"examples":[97],"from":[98],"Bridge":[100],"literature,":[101],"supporting":[102],"\\\\u000Adecisions":[104],"with":[105],"probabilistic":[106],"qualitative":[108],"information.":[109],"Caes":[110],"were":[111],"even":[112],"\\\\u000Adiscovered":[113],"which":[115],"revealed":[117],"errors":[118],"analyses":[121],"presented":[122],"\\\\u000Arecognized":[124],"authorities.":[125]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}