{"id":"https://openalex.org/W1968072977","doi":"https://doi.org/10.1145/1329125.1329303","title":"Agents, beliefs, and plausible behavior in a temporal setting","display_name":"Agents, beliefs, and plausible behavior in a temporal setting","publication_year":2007,"publication_date":"2007-05-14","ids":{"openalex":"https://openalex.org/W1968072977","doi":"https://doi.org/10.1145/1329125.1329303","mag":"1968072977"},"language":"en","primary_location":{"id":"doi:10.1145/1329125.1329303","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1329125.1329303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems","raw_type":"proceedings-article"},"type":"article","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/A5013988121","display_name":"Nils Bulling","orcid":null},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Nils Bulling","raw_affiliation_strings":["Clausthal University of Technology, Germany","Clausthal University of Technology, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Clausthal University of Technology, Germany","institution_ids":["https://openalex.org/I43980791"]},{"raw_affiliation_string":"Clausthal University of Technology, Germany#TAB#","institution_ids":["https://openalex.org/I43980791"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019701853","display_name":"Wojciech Jamroga","orcid":"https://orcid.org/0000-0001-6340-8845"},"institutions":[{"id":"https://openalex.org/I43980791","display_name":"Clausthal University of Technology","ror":"https://ror.org/04qb8nc58","country_code":"DE","type":"education","lineage":["https://openalex.org/I43980791"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wojciech Jamroga","raw_affiliation_strings":["Clausthal University of Technology, Germany","Clausthal University of Technology, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Clausthal University of Technology, Germany","institution_ids":["https://openalex.org/I43980791"]},{"raw_affiliation_string":"Clausthal University of Technology, Germany#TAB#","institution_ids":["https://openalex.org/I43980791"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013988121"],"corresponding_institution_ids":["https://openalex.org/I43980791"],"apc_list":null,"apc_paid":null,"fwci":4.6925,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.94562128,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9970999956130981,"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.9940999746322632,"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/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.8627435564994812},{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.6780748963356018},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6540126204490662},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.5750182867050171},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5735303163528442},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.555977463722229},{"id":"https://openalex.org/keywords/counterfactual-conditional","display_name":"Counterfactual conditional","score":0.5242098569869995},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5104047656059265},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.48340049386024475},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.46923667192459106},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4657953977584839},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.46159884333610535},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4598802328109741},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44799110293388367},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.2173652946949005},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1965530514717102},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.18832501769065857},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.17183810472488403}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.8627435564994812},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.6780748963356018},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6540126204490662},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.5750182867050171},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5735303163528442},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.555977463722229},{"id":"https://openalex.org/C71889745","wikidata":"https://www.wikidata.org/wiki/Q1783264","display_name":"Counterfactual conditional","level":3,"score":0.5242098569869995},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5104047656059265},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.48340049386024475},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.46923667192459106},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4657953977584839},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.46159884333610535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4598802328109741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44799110293388367},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2173652946949005},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1965530514717102},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.18832501769065857},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.17183810472488403},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1329125.1329303","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1329125.1329303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1503946984","https://openalex.org/W1507278324","https://openalex.org/W1568275823","https://openalex.org/W1602662714","https://openalex.org/W1612453857","https://openalex.org/W1725190037","https://openalex.org/W1870572278","https://openalex.org/W2004306067","https://openalex.org/W2012577440","https://openalex.org/W2021774774","https://openalex.org/W2048905609","https://openalex.org/W2055848982","https://openalex.org/W2062285040","https://openalex.org/W2096965679","https://openalex.org/W2100932907","https://openalex.org/W2119558232","https://openalex.org/W2132750992","https://openalex.org/W2140306434","https://openalex.org/W2144501579","https://openalex.org/W2146819619","https://openalex.org/W2150853278","https://openalex.org/W2157438678","https://openalex.org/W3140030144","https://openalex.org/W4210411973","https://openalex.org/W4388298941","https://openalex.org/W6636501790","https://openalex.org/W6637731140","https://openalex.org/W6683159045"],"related_works":["https://openalex.org/W1482342346","https://openalex.org/W1587450571","https://openalex.org/W2484821312","https://openalex.org/W2134878247","https://openalex.org/W2954333904","https://openalex.org/W1516630502","https://openalex.org/W2534700878","https://openalex.org/W2119093471","https://openalex.org/W1536814009","https://openalex.org/W1606897659"],"abstract_inverted_index":{"Logics":[0],"of":[1,29,53,74,98,110,138],"knowledge":[2],"and":[3,9,42,59,126,140],"belief":[4,112],"are":[5],"often":[6],"too":[7],"static":[8],"inflexible":[10],"to":[11,34,82,87,135],"be":[12,128],"used":[13],"on":[14],"real-world":[15],"problems.":[16],"In":[17,101],"particular,":[18,102],"they":[19],"usually":[20],"offer":[21],"no":[22],"concept":[23],"for":[24,57,106],"expressing":[25],"that":[26,120],"some":[27,95],"course":[28],"events":[30],"is":[31,80,113,124],"more":[32],"likely":[33],"happen":[35],"than":[36],"another.":[37],"We":[38,117],"address":[39],"this":[40,83],"problem":[41],"extend":[43],"CTLK":[44],"(computation":[45],"tree":[46],"logic":[47,64,84],"with":[48,50,67,133],"knowledge)":[49],"a":[51,71,107,114],"notion":[52,73],"plausibility,":[54],"which":[55],"allows":[56],"practical":[58],"counterfactual":[60],"reasoning.":[61],"The":[62],"new":[63],"CTLKP":[65,123],"(CTLK":[66],"plausibility)":[68],"includes":[69],"also":[70,118],"particular":[72],"belief.":[75],"A":[76],"plausibility":[77,89],"update":[78],"operator":[79],"added":[81],"in":[85,130],"order":[86],"change":[88],"assumptions":[90],"dynamically.":[91],"Furthermore,":[92],"we":[93,103],"examine":[94],"important":[96],"properties":[97],"these":[99],"concepts.":[100],"show":[104,119],"that,":[105],"natural":[108],"class":[109],"models,":[111],"KD45":[115],"modality.":[116],"model":[121],"checking":[122],"PTIME-complete":[125],"can":[127],"done":[129],"time":[131],"linear":[132],"respect":[134],"the":[136],"size":[137],"models":[139],"formulae.":[141]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}