{"id":"https://openalex.org/W2057894256","doi":"https://doi.org/10.1016/s1571-0661(04)80595-4","title":"Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments","display_name":"Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments","publication_year":2002,"publication_date":"2002-10-01","ids":{"openalex":"https://openalex.org/W2057894256","doi":"https://doi.org/10.1016/s1571-0661(04)80595-4","mag":"2057894256"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80595-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80595-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80595-4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110602347","display_name":"Koji Iwanuma","orcid":null},"institutions":[{"id":"https://openalex.org/I66906201","display_name":"University of Yamanashi","ror":"https://ror.org/059x21724","country_code":"JP","type":"education","lineage":["https://openalex.org/I66906201"]},{"id":"https://openalex.org/I44892455","display_name":"Takeda (Japan)","ror":"https://ror.org/04hjbmv12","country_code":"JP","type":"company","lineage":["https://openalex.org/I44892455"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Koji Iwanuma","raw_affiliation_strings":["Yamanashi University, 4-3-11 Takeda, Kofu-shi 400-8511, Japan"],"affiliations":[{"raw_affiliation_string":"Yamanashi University, 4-3-11 Takeda, Kofu-shi 400-8511, Japan","institution_ids":["https://openalex.org/I66906201","https://openalex.org/I44892455"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080458729","display_name":"Katsumi Inoue","orcid":"https://orcid.org/0000-0002-2717-9122"},"institutions":[{"id":"https://openalex.org/I65837984","display_name":"Kobe University","ror":"https://ror.org/03tgsfw79","country_code":"JP","type":"education","lineage":["https://openalex.org/I65837984"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Katsumi Inoue","raw_affiliation_strings":["Kobe University, Rokkodai-cho, Nada-ku, Kobe 657-8501, Japan"],"affiliations":[{"raw_affiliation_string":"Kobe University, Rokkodai-cho, Nada-ku, Kobe 657-8501, Japan","institution_ids":["https://openalex.org/I65837984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5080458729","https://openalex.org/A5110602347"],"corresponding_institution_ids":["https://openalex.org/I44892455","https://openalex.org/I65837984","https://openalex.org/I66906201"],"apc_list":null,"apc_paid":null,"fwci":1.6675,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.85645125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"5","first_page":"167","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9987999796867371,"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.9950000047683716,"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/computation","display_name":"Computation","score":0.7691227197647095},{"id":"https://openalex.org/keywords/default","display_name":"Default","score":0.6759089231491089},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6086763143539429},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.5814478993415833},{"id":"https://openalex.org/keywords/christian-ministry","display_name":"Christian ministry","score":0.4978604316711426},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.46532198786735535},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.43302828073501587},{"id":"https://openalex.org/keywords/synchronicity","display_name":"Synchronicity","score":0.4261518120765686},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42384713888168335},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3519483506679535},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24813953042030334},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22098484635353088},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.21415099501609802},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.10359454154968262},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.09781104326248169},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.09472766518592834},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.08667153120040894},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.08647683262825012}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7691227197647095},{"id":"https://openalex.org/C69637215","wikidata":"https://www.wikidata.org/wiki/Q702362","display_name":"Default","level":2,"score":0.6759089231491089},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6086763143539429},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.5814478993415833},{"id":"https://openalex.org/C521751864","wikidata":"https://www.wikidata.org/wiki/Q1729207","display_name":"Christian ministry","level":2,"score":0.4978604316711426},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.46532198786735535},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.43302828073501587},{"id":"https://openalex.org/C161394823","wikidata":"https://www.wikidata.org/wiki/Q1121101","display_name":"Synchronicity","level":2,"score":0.4261518120765686},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42384713888168335},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3519483506679535},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24813953042030334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22098484635353088},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.21415099501609802},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.10359454154968262},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.09781104326248169},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.09472766518592834},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.08667153120040894},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08647683262825012},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80595-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80595-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80595-4","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80595-4","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320912","display_name":"Ministry of Education, Culture, Sports, Science and Technology","ror":"https://ror.org/048rj2z13"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W49579354","https://openalex.org/W108745833","https://openalex.org/W190525330","https://openalex.org/W198607445","https://openalex.org/W213354184","https://openalex.org/W1544269791","https://openalex.org/W1559498617","https://openalex.org/W1582467700","https://openalex.org/W1716234396","https://openalex.org/W1902626857","https://openalex.org/W1965184317","https://openalex.org/W2025252200","https://openalex.org/W2049990609","https://openalex.org/W2089581572","https://openalex.org/W2131552518","https://openalex.org/W2147183692","https://openalex.org/W2155322595","https://openalex.org/W2179367542"],"related_works":["https://openalex.org/W560220919","https://openalex.org/W4253386791","https://openalex.org/W2493643238","https://openalex.org/W2772409069","https://openalex.org/W2495789417","https://openalex.org/W3167834828","https://openalex.org/W2347146170","https://openalex.org/W1527612580","https://openalex.org/W151416273","https://openalex.org/W3121371410"],"abstract_inverted_index":{"In":[0,32],"this":[1,33],"paper,":[2],"we":[3],"study":[4],"speculative":[5,39,52],"computation":[6,40,53,86],"in":[7,38,45,54,89],"a":[8,20,65,103],"master-slave":[9],"multi-agent":[10],"system":[11],"where":[12],"reply":[13],"messages":[14],"sent":[15],"from":[16,28],"slave":[17],"agents":[18],"to":[19,30,116,126],"master":[21],"are":[22,41,114],"always":[23],"tentative":[24,59,107,131],"and":[25,87,109],"may":[26],"change":[27],"time":[29],"time.":[31],"system,":[34],"default":[35],"values":[36],"used":[37,115],"only":[42],"partially":[43],"determined":[44],"advance.":[46],"Inoue":[47],"et":[48],"al.":[49],"[8]":[50],"formalized":[51],"such":[55],"an":[56,96],"environment":[57],"with":[58,70],"replies,":[60],"using":[61,83],"the":[62,71,80,118,136],"framework":[63],"of":[64,99,112,130,139],"first-order":[66],"consequence-finding":[67],"procedure":[68],"SOL":[69,81],"well-known":[72],"answer":[73,85,93],"literal":[74],"method.":[75],"We":[76],"shall":[77],"further":[78],"refine":[79],"calculus,":[82],"conditional":[84,92],"skip-preference":[88,134],"SOL.":[90],"The":[91,120,133],"format":[94],"has":[95,135],"great":[97,137],"advantage":[98],"explicitly":[100],"representing":[101],"how":[102],"conclusion":[104],"depends":[105],"on":[106],"replies":[108],"defaults,":[110],"both":[111],"which":[113],"derive":[117],"conclusion.":[119],"dependency":[121],"representation":[122],"is":[123],"significantly":[124],"important":[125],"avoid":[127],"unnecessary":[128],"recomputation":[129],"conclusions.":[132],"ability":[138],"preventing":[140],"irrational/redundant":[141],"derivations.":[142]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}