Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extending dynamic logic with refinements of abstract actions;Journal of Logic and Computation;2022-02-21
2. Linear-Time Temporal Answer Set Programming;Theory and Practice of Logic Programming;2021-12-27
3. Reasoning About Action and Change;A Guided Tour of Artificial Intelligence Research;2020
4. From KLM-style conditionals to defeasible modalities, and back;Journal of Applied Non-Classical Logics;2017-12-21
5. Stable Models for Temporal Theories;Logic Programming and Nonmonotonic Reasoning;2015