基本信息
views: 39
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
My early work in formal logic has been the basis of all my research, which is at the interface of theory and practice in computer science. Broadly, my goal is to automate the complex task of managing distributed systems (eg, networks of computers) in ways that have a solid theoretical foundation (rather than by ad-hoc means). Central to this effort is the concept of policies: collections of rules controlling the system’s behavior (eg, who can access private data). A major challenge is that amassing rules leads to conflicts (in access control, scheduling tasks, etc). My work has shown that the semantics of policies, as well as potential conflicts, can be defined axiomatically using disjunctive logic programs. Beyond conflict detection, the logic programming formulation provides a computational framework for conflict resolution, policy analysis and verification. Recent work focuses on how rules can be learned from examples (ie, inferred) using inductive logic programming techniques.
Research Interests
Papers共 140 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
SEMANTIC WEBno. 3 (2024): 745-773
CoRR (2024)
Cited0Views0EIBibtex
0
0
IJCAIpp.3586-3596, (2023)
AAAI Fall Symposium Series (2022)
Cited0Views0EIBibtex
0
0
CoRR (2020): 263-272
CoRR (2020)
Cited0Views0EIBibtex
0
0
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn