Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios in a very effective way. In my Ph.D. research, I intend to exploit the relationship between automata theory and dynamic logic to add automata-based techniques to the ASP solver CLINGO helping us to deal with theses type of problems.
翻译：答案设定程序(ASP)的时空和动态扩展在解决动态问题方面发挥了重要作用,因为这些程序允许使用时间操作员以非常有效的方式与动态情景进行理性解释。 在我博士的研究中,我打算利用自动数据理论和动态逻辑之间的关系,在ASP Solunder CLINGO(CLINGO)中加入基于自动数据的技术,帮助我们解决这类问题。
相关内容
iOS 8 提供的应用间和应用跟系统的功能交互特性。
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
专知会员服务
45+阅读 · 2019年11月24日
相关主题
相关VIP内容
专知会员服务
45+阅读 · 2019年11月24日
相关资讯
相关论文
微信扫码咨询专知VIP会员