搜索结果: 1-5 共查到“计算机科学技术基础学科 Reasoning”相关记录5条 . 查询时间(0.257 秒)
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making precise the interacti...
Static program analysis techniques cannot know certain values,such as the value of user input or network state, at analysis time. While such unknown values need to be treated as non-deterministic choi...
Decision-Theoretic Meta-reasoning in Partially Observable and Decentralized Settings
Agents Dec-POMDP MDP Meta-reasoning, Multiagent Partial Observability
2014/12/18
This thesis examines decentralized meta-reasoning. For a single agent or multiple agents, it may not be enough for agents to compute correct decisions if they do not do so in a timely or resource effi...
Exploiting Domain Structure in Multiagent Decision-Theoretic Planning and Reasoning
Artificial Intelligence Machine Learning Multiagent Systems
2014/12/18
This thesis focuses on decision-theoretic reasoning and planning problems that arise when a group of collaborative agents are tasked to achieve a goal that requires collective effort. The main contrib...
Causal Discovery for Relational Domains: Representation, Reasoning, and Learning
causal discovery relational data machine learning graphical models
2014/12/18
Many domains are currently experiencing the growing trend to record and analyze massive, observational data sets with increasing complexity. A commonly made claim is that these data sets hold potentia...