Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tractable depth-bounded approximations to FDE and its satellites;Journal of Logic and Computation;2023-06-19
2. Galois connections for bilattices;Algebra universalis;2021-05-12
3. Beyond Uniform Equivalence between Answer-set Programs;ACM Transactions on Computational Logic;2021-01-31
4. Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics;Electronic Proceedings in Theoretical Computer Science;2020-09-19
5. Restricted semantics for default reasoning;Annals of Mathematics and Artificial Intelligence;2018-06-18