搜索结果: 1-9 共查到“计算机科学技术 Reasoning”相关记录9条 . 查询时间(0.043 秒)
2017年智能家居论证国际研讨会（The International Workshop on Reasoning in Smart-Homes ）(RIS-2017)
2017年 智能家居论证国际 研讨会
2017/3/28
In the past years, many interesting applications for Smarthome technology have been discovered. These range von home automation, over supervision and security up to interesting topics on the horizon l...
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern programming languages...
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...
Crowd-scale Interactive Formal Reasoning and Analytics
MOOC theorem prover formal logic online education
2016/5/24
Large online courses often assign problems that are gradable by simple checks such as multiple choice, but these checks are inappropriate for domains in which students may produce an infinity of corre...
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...
As the core of knowledge representation, reasoning plays an important role in the Semantic Web. In this paper, introduce Description Logic as the theoretical foundation of reasoning in the Semantic We...